A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
It is shown that for Giidels system T, evaluated call-by-value, if an algorithm computes a non-trivial binary function (where trivial means constant or projection plus constant), then the time-complexity ... This is in contrast to the call-by-name case. As a corollary, it follows that there is no algorithm in this setting which computes the minimumfunction in time-complexity O(min). ... System T in call-by-value The types of system T are given by the following inductive definition: l N is a type (the type of natural numbers). l If T and U are types, then T -+ U is a type. ...doi:10.1016/s0304-3975(98)00011-5 fatcat:igtoqvgfj5b73hmlng4i4bibfq
Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251)
It is well known that non-minimum phase zeros of dynamical systems restrict the achievable performance of closed-loop transfer functions. ... In this paper it is shown that the Hankel singular values of the inner factor of the system transfer function provide relevant information for achievable (finite time) performance of the controlled process ... A second and frequently applied approach is what is called standardization of the problem. ...doi:10.1109/acc.1999.786149 fatcat:jsygxivptjbupm53llwjy2r56y
X is called a solution to the problem. When C = ∅, this problem is the so-called all-ones problem. ... The first one is good for counting the number of solutions if solutions do exist, and the second one is good for solving the minimum all-ones problem. ... Acknowledgment The authors are very grateful to the referees for their helpful comments and suggestions, which helped to improve the presentation of the paper. ...doi:10.1016/j.dam.2007.08.042 fatcat:xnb36ymrwfcydmalygg43axipe
The minimum energy control problem for the positive time-varying linear systems is formulated and solved. Sufficient conditions for the existence of solution to the problem are established. ... A procedure for solving of the problem is proposed and illustrated by a numerical example. ... The controllability and minimum energy control problem of fractional discrete-time linear systems has been investigated by Klamka (2010) . ...doi:10.1515/ama-2015-0036 fatcat:hbi42fmp6zcbvdejjsdjuosvqi
Annals of Economic and Social Measurement
The statement of the problem and of the discrete version of the minimum principle are as follows: Problem Given a system described by the vector difference equation* (3.4) x(t + 1) — x(t) = fi(x(t), u( ... The appropriate theoretical tool is the so-called discrete minimum principle, which is the extension of Pontryagin’s maximum principle for continuous time systems (see reference 5), to discrete-time systems ...
Automation and Remote Control
If EVCF up = up(t, Zp) secures the minimum value of the J(u) integral (6), i.e., if it is a MVCF, then, for every t and z(t) (tj St = t,), its coordinates satisfy the functional inequal- ities , z, = — ... function u = u(t, z) identically satisfy, with respect to t and z(t), the following system of functional equations in A-parametric form: H = Af? ...
The problem formulation is based on multiple Lyapunov functions and is expressed through a special form of linear matrix inequalities (LMIs), which include a nonlinear term of the dwell time. ... This paper presents a numerical algorithm for determining the minimum dwell time constraint for switched linear ℋ∞ fault detection filters. ... Solve the LMIs in (11) as a feasibility problem by the MATLAB function feasp  , which returns both the scalar value of as a measure of the feasibility and the feasibility decision vector xfeas; 4. ...doi:10.2478/auseme-2018-0001 fatcat:cj347alffze7tj2vxjurnkc4y4
Methods: Mining association rules based on single minimum support approach suffers from the dilemma known as 'rare item problem' it requires multiple scans of database which increase the load and time ... Findings: To create a model of current user behavior from the dataset the probability will be compute with threshold value and the alarm will be raised accordingly. ... By using the Figure 3 MMSP algorithm the number of false alarms is reduced by generating real time rules for firewall and the minimum support values reduces the 'rule missing' and 'rule explosion' problems ...doi:10.17485/ijst/2016/v9i41/86987 fatcat:5mbxdsxdjfcanbs7ddnhtpv2a4
The problem formulation is based on multiple Lyapunov functions and is expressed through a special form of linear matrix inequities (LMIs), which include a nonlinear term with the dwell time. ... This paper presents an algorithm for determining the minimum dwell time constraint for switched linear fault detection filters. ... Conflicts of Interest The authors declare that there are no conflicts of interest regarding the publication of this paper. Authors ...doi:10.15199/48.2019.03.03 fatcat:csr6kou2qnas5elj5y7amatclq
The PSO algorithm proposed by Kennedy and Eberhart, in 1995 proved to be one of the best candidates, for solving stochastic problems. ... The launch vehicle trajectory is generally optimized, to meet the target by minimum fuel, minimum control or minimum time. ... ACKNOWLEDGMENT The authors would like to acknowledge the support obtained from Manipal Institute of Technology, Manipal University for the successful completion of this research work. ...doi:10.24247/ijmperdoct201736 fatcat:e6dnbwxggzcptbyqfeb64poz5e
Most of the systems of electric action are non-linear systems, including the continuous transportsystems with band, that could be brought by linearization and negligence at the linear system. ... For the linearisableaction systems described by state equations, there are two consecrated calculation methods of the optimaltrajectory of the system, the variational calculation and the Euler-Lagrange ... Any element u(t), oh set U providing the system evolution in the initial conditions in the final conditions by respecting the properties of controllability, tangibility and observability is called an admitted ...doaj:2d07f467f92741298443fd470e327974 fatcat:45vkkjqa3zb53dwaos7fxsejeu
Particle Swarm Optimization
The systems are usually characterized by a very large number of variables and the limited possibilities for observing the properties of the components of the system. ... This is known as the Thomson problem and it is included in Stephen Smale's famous list of 18 unsolved mathematical problems to be solved in the 21 st century. ... Any configuration with minimum potential energy is called a "ground state" of the system. ...doi:10.5772/6741 fatcat:ixllvujaxvdbpjpeawf6tz6rgi
From these properties, we prove the continuity of the value function of the sparse optimal control problem by verifying that of the L1-optimal control problem. ... We prove the continuity of the value function of the sparse optimal control problem. The sparse optimal control is a control whose support is minimum among all admissible controls. ... For the system (S), we call a control admissible if it steers a given initiate state ξ ∈ R n to the origin at fixed final time T > 0 and is constrained in magnitude by u ∞ ≤ 1. ...arXiv:1412.5707v1 fatcat:2p2wgg23gjbz7igcdayolmqjjm
It is proven and analytical evidences is also presented that by using SRL synthesis method and further application of LQR method guarantees stability, minimum phase and gain margins of the closed loop ... system. ... and Synthesis of Algorithms and Systems for Adaptive Observation, Filtration and Control", ДН997-НП/09.05.2017. ...doi:10.25125/engineering-journal-ijoer-nov-2017-7 fatcat:hxhsaqdb6favvk33i5eterpqgy
In cellular mobile systems, a new channel should be assigned by the new base when a call enters an adjacent cell. ... Scope and purpose Channel allocation is one of the most important problems in the design of cellular mobile systems. ... For each case of tra$c loads, we assume that R and R#5 channels are, respectively, available in the system, where R is the minimum number of channels required to satisfy GOS for new calls when only minimum ...doi:10.1016/s0305-0548(99)00121-5 fatcat:7slxyy5wvvdkbiryhfgljz5fji
« Previous Showing results 1 — 15 out of 1,188,889 results