The problem of an infinite eigenvalue assignment by an output feedback is considered. Necessary and sufficient conditions for the existence of a solution are established. A procedure for the computation of the output-feedback gain matrix is given and illustrated with a numerical example.
The main purpose of this work is to propose new notions of equivalence between polynomial matrices that preserve both the finite and infinite elementary divisor structures. The approach we use is twofold: (a) the 'homogeneous polynomial matrix approach', where in place of the polynomial matrices we study their homogeneous polynomial matrix forms and use 2-D equivalence transformations in order to preserve their elementary divisor structure, and (b) the 'polynomial matrix approach', where some conditions...
In this paper we provide a new sufficiency theorem for regular syntheses. The concept of regular synthesis is discussed in [12], where a sufficiency theorem for finite time syntheses is proved. There are interesting examples of optimal syntheses that are very regular, but whose trajectories have time domains not necessarily bounded. The regularity assumptions of the main theorem in [12] are verified by every piecewise smooth feedback control generating extremal trajectories that reach the target...
This paper considers an analysis and synthesis problem of controllers for linear time-delay systems in the form of delay-dependent memory state feedback, and develops an Linear Matrix Inequality (LMI) approach. First, we present an existence condition and an explicit formula of controllers, which guarantee a prescribed level of gain of closed loop systems, in terms of infinite-dimensional LMIs. This result is rather general in the sense that it covers, as special cases, some known results for...
This paper develops a mathematical framework for the infinite-dimensional Sylvester equation both in the differential and the algebraic form. It uses the implemented semigroup concept as the main mathematical tool. This concept may be found in the literature on evolution equations occurring in mathematics and physics and is rather unknown in systems and control theories. But it is just systems and control theory where Sylvester equations widely appear, and for this reason we intend to give a mathematically...
We consider discrete-time Markov control processes on Borel spaces and infinite-horizon undiscounted cost criteria which are sensitive to the growth rate of finite-horizon costs. These criteria include, at one extreme, the grossly underselective average cost
We define, in an infinite-dimensional differential geometric framework, the 'infinitesimal Brunovský form' which we previously introduced in another framework and link it with equivalence via diffeomorphism to a linear system, which is the same as linearizability by 'endogenous dynamic feedback'.
We study linear combinations of exponentials e^{iλ_nt} , λ_n ∈ Λ in the case where the distance between some points λ_n tends to zero. We suppose that the sequence Λ is a finite union of uniformly discrete sequences. In (Avdonin and Ivanov, 2001), necessary and sufficient conditions were given for the family of divided differences of exponentials to form a Riesz basis in space L^2 (0,T). Here we prove that if the upper uniform density of Λ is less than T/(2π), the family of divided differences can...
The admissibility of spaces for Itô functional difference equations is investigated by the method of modeling equations. The problem of space admissibility is closely connected with the initial data stability problem of solutions for Itô delay differential equations. For these equations the -stability of initial data solutions is studied as a special case of admissibility of spaces for the corresponding Itô functional difference equation. In most cases, this approach seems to be more constructive...
The combination of model predictive control based on linear models (MPC) with feedback linearization (FL) has attracted interest for a number of years, giving rise to MPC+FL control schemes. An important advantage of such schemes is that feedback linearizable plants can be controlled with a linear predictive controller with a fixed model. Handling input constraints within such schemes is difficult since simple bound contraints on the input become state dependent because of the nonlinear transformation...
In this paper the classical detection filter design problem is considered as an input reconstruction problem. Input reconstruction is viewed as a dynamic inversion problem. This approach is based on the existence of the left inverse and arrives at detector architectures whose outputs are the fault signals while the inputs are the measured system inputs and outputs and possibly their time derivatives. The paper gives a brief summary of the properties and existence of the inverse for linear and nonlinear...
The concepts of stability, attractivity and asymptotic stability for systems subject to restrictions of the input values are introduced and analyzed in terms of Lyapunov functions. A comparison with the well known input-to-state stability property introduced by Sontag is provided. We use these concepts in order to derive sufficient conditions for global stabilization for triangular and feedforward systems by means of saturated bounded feedback controllers and also recover some recent results...