Constructing a sequence of relaxation problems for robustness analysis of uncertain LTI systems via dual LMIs

This paper gives a new procedure for robustness analysis of linear time-invariant (LTI) systems whose state space coefficient matrices depend polynomially on multivariate uncertain parameters. By means of dual linear matrix inequalities (LMIs) that characterize performance of certain LTI systems, we firstly reduce these analysis problems into polynomial matrix inequality (PMI) problems. However, these PMI problems are non-convex and hence computationally intractable in general. To get around this difficulty, we construct a sequence of LMI relaxation problems via a simple idea of linearization. In addition, we derive a rank condition on the LMI solution under which the exactness of the analysis result is guaranteed. From the LMI solution satisfying the rank condition, we can easily extract the worst case parameters.

[1]  Pablo A. Parrilo,et al.  Semidefinite programming relaxations for semialgebraic problems , 2003, Math. Program..

[2]  B. Ross Barmish,et al.  New Tools for Robustness of Linear Systems , 1993 .

[3]  Pierre-Alexandre Bliman,et al.  A Convex Approach to Robust Stability for Linear Systems with Uncertain Scalar Parameters , 2003, SIAM J. Control. Optim..

[4]  Jean B. Lasserre,et al.  Global Optimization with Polynomials and the Problem of Moments , 2000, SIAM J. Optim..

[5]  M. Kojima Sums of Squares Relaxations of Polynomial Semidefinite Programs , 2003 .

[6]  Jos F. Sturm,et al.  A Matlab toolbox for optimization over symmetric cones , 1999 .

[7]  Arkadi Nemirovski,et al.  Several NP-hard problems arising in robust stability analysis , 1993, Math. Control. Signals Syst..

[8]  Tomomichi Hagiwara,et al.  Robust Performance Analysis of Uncertain LTI Systems: Dual LMI Approach and Verifications for Exactness , 2009, IEEE Transactions on Automatic Control.

[9]  Carsten W. Scherer,et al.  Matrix Sum-of-Squares Relaxations for Robust Semi-Definite Programs , 2006, Math. Program..

[10]  Yasuaki Oishi,et al.  A Region-Dividing Technique for Constructing the Sum-of-Squares Approximations to Robust Semidefinite Programs , 2007, IEEE Transactions on Automatic Control.

[11]  Svatopluk Poljak,et al.  Checking robust nonsingularity is NP-hard , 1993, Math. Control. Signals Syst..

[12]  Didier Henrion,et al.  Convergent relaxations of polynomial matrix inequalities and static output feedback , 2006, IEEE Transactions on Automatic Control.

[13]  C. W. Scherer,et al.  Relaxations for Robust Linear Matrix Inequality Problems with Verifications for Exactness , 2005, SIAM J. Matrix Anal. Appl..

[14]  Charles R. Johnson,et al.  Topics in Matrix Analysis , 1991 .

[15]  Venkataramanan Balakrishnan,et al.  Semidefinite programming duality and linear time-invariant systems , 2003, IEEE Trans. Autom. Control..

[16]  J. Lofberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004, 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508).

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

[18]  Tomomichi Hagiwara,et al.  Extracting Worst Case Perturbations for Robustness Analysis of Parameter-Dependent LTI Systems , 2008 .

[19]  J. Lasserre,et al.  Detecting global optimality and extracting solutions in GloptiPoly , 2003 .