LMIs in Control/pages/KYP Lemma for Descriptor Systems
The Concept
[edit | edit source]Descriptor system descriptions frequently appear when solving computational problems in the analysis and design of standard linear systems. The numerically reliable solution of many standard control problems like the solution of Riccati equations, computation of system zeros, design of fault detection and isolation filters (FDI), etc. relies on using descriptor system techniques.
Many algorithm for standard systems as for example stabilization techniques, factorization methods, minimal realization, model reduction, etc. have been extended to the more general descriptor system descriptions. An important application of these algorithms is the numerically reliable computation with rational and polynomial matrices via equivalent descriptor representations. Recall that each rational matrix R(s) can be seen as the transfer-function matrix of a continuous- or discrete-time descriptor system. Thus, each R(s) can be equivalently realized by a descriptor system quadruple (A-sE, B, C, D) satisfying R(S)= C(SE-A)-1B+D
Many operations on standard matrices (e.g., finding the rank, determinant, inverse or generalized inverses), or the solution of linear matrix equations can be performed for rational matrices as well using descriptor system techniques. Other important applications of descriptor techniques are the computation of inner-outer and spectral factorisations, or minimum degree and normalized coprime factorisations of polynomial and rational matrices. More explanation can be found in the website of Institute of System Dynamics and control
The System
[edit | edit source]Consider a square, contiuous-time linear time-invariant (LTI) system, , with minimal state-space relization (E, A, B, C, D), where and .
The Data
[edit | edit source]The matrices The matrices and
LMI : KYP Lemma for Descriptor Systems
[edit | edit source]The system is extended strictly positive real (ESPR) if and only if there exists and such that
The system is also ESPR if there exists such that
Conclusion:
[edit | edit source]If there exist a X and W matrix satisfying above LMIs then the system is Extended Strictly Positive Real.
Implementation
[edit | edit source]Code for implementation of this LMI using MATLAB. https://github.com/VJanand25/LMI
Related LMIs
[edit | edit source]KYP Lemma
State Space Stability
Discrete Time KYP Lemma with Feedthrough
References
[edit | edit source]1. J. C. Willems, “Dissipative dynamical systems - part I: General theory,” Archive Rational
Mechanics and Analysis, vol. 45, no. 5, pp. 321–351, 1972.
2. D. J. Hill and P. J. Moylan, “The stability of nonlinear dissipative systems,” IEEE Transac-
tions on Automatic Control, vol. 21, no. 5, pp. 708–711, 1976.
3. LMI Properties and Applications in Systems, Stability, and Control Theory, by Ryan James Caverly1 and James Richard Forbes2
4. Brogliato B., Maschke B., Lozano R., Egeland O. (2007) Kalman-Yakubovich-Popov Lemma. In: Dissipative Systems Analysis and Control. Communications and Control Engineering. Springer, London
5. Numerical algorithms and software tools for analysis and modelling of descriptor systems. Prepr. of 2nd IFAC Workshop on System Structure and Control, Prague, Czechoslovakia, pp. 392-395, 1992.