论文信息 - Rank-one LMIs and Lyapunov's inequality

Rank-one LMIs and Lyapunov's inequality

We describe a new proof of the well-known Lyapunov's matrix inequality about the location of the eigenvalues of a matrix in some region of the complex plane. The proof makes use of standard facts from quadratic and semidefinite programming. Links are established between the Lyapunov matrix, rank-one linear matrix inequalities (LMI), and the Lagrange multiplier arising in duality theory.

Gjerrit Meinsma | Didier Henrion

[1] Andrew Packard,et al. The complex structured singular value , 1993, Autom..

[2] Thomas Kailath,et al. Linear Systems , 1980 .

[3] L. Vandenberghe,et al. Semidefinite programming duality and linear system theory: connections and implications for computation , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[4] M. Fu,et al. A dual formulation of mixed μ and on the losslessness of (D, G) scaling , 1997, IEEE Trans. Autom. Control..

[5] Laurent El Ghaoui,et al. Advances in linear matrix inequality methods in control: advances in design and control , 1999 .

[6] S. Barnett. Polynomials and linear control systems , 1983 .

[7] Stephen P. Boyd,et al. Semidefinite Programming , 1996, SIAM Rev..

[8] D. Yao,et al. LQ control via semidefinite programming , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[9] T. Iwasaki,et al. Generalized S-procedure and finite frequency KYP lemma , 2000 .

[10] E. Yaz. Linear Matrix Inequalities In System And Control Theory , 1998, Proceedings of the IEEE.

[11] Stephen P. Boyd,et al. Linear Matrix Inequalities in Systems and Control Theory , 1994 .

[12] M. Fu,et al. A dual formulation of mixed μ and on the losslessness of (D, G) scaling , 1997, IEEE Trans. Autom. Control..

[13] A. Rantzer. On the Kalman-Yakubovich-Popov lemma , 1996 .