Lyapunov functionals in complex μ analysis

Conditions for robust stability of linear time-invariant systems subject to structured linear time-invariant uncertainties can be derived in the complex /spl mu/ framework, or, equivalently, in the framework of integral quadratic constraints. These conditions can be checked numerically with linear matrix inequality (LMI)-based convex optimization using the Kalman-Yakubovich-Popov lemma. We show how LMI tests also yield a convex parametrization of (a subset of) Lyapunov functionals that prove robust stability of such uncertain systems. We show that for uncertainties that are pure delays, the Lyapunov functionals reduce to the standard Lyapunov-Krasovksii functionals that are encountered in the stability analysis of delay systems. We demonstrate the practical utility of the Lyapunov functional parametrization by deriving bounds for a number of measures of robust performance (beyond the usual H/sub /spl infin// performance); these bounds can be efficiently computed using convex optimization over linear matrix inequalities.

[1]  J. Willems.  Least squares stationary optimal control and the algebraic Riccati equation , 1971 .

[2]  Stephen P. Boyd,et al.  Linear Matrix Inequalities in System and Control Theory , 1994, Studies in Applied Mathematics.

[3]  Wolfgang Hahn,et al.  Stability of Motion , 1967 .

[4]  Stephen P. Boyd,et al.  Global Optimization in Control System Analysis and Design , 1992 .

[5]  L. Vandenberghe,et al.  Algorithms and software for LMI problems in control , 1997 .

[6]  John M. Watts,et al.  Analysis and synthesis , 1985 .

[7]  W. M. Grimm,et al.  Robot non‐linearity bounds evaluation techniques for robust control , 1990 .

[8]  M. Safonov.  Stability margins of diagonally perturbed multivariable feedback systems , 1982 .

[9]  David J. N. Limebeer,et al.  Linear Robust Control , 1994 .

[10]  Fernando Paganini,et al.  Linear matrix inequality methods for robust H 2 analysis: a survey with comparisons , 1999 .

[11]  F. Wang,et al.  Efficient computation of a guaranteed lower bound on the robust stability margin for a class of uncertain systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[12]  John C. Doyle.  Analysis of Feedback Systems with Structured Uncertainty , 1982 .

[13]  C. Desoer,et al.  Feedback Systems: Input-Output Properties , 1975 .

[14]  Ulf Jönsson,et al.  Robustness Analysis of Uncertain and Nonlinear Systems , 1996 .

[15]  S. Dasgupta,et al.  Parametric Lyapunov functions for uncertain systems: the multiplier approach , 1999 .

[16]  E. Feron.  Analysis of Robust H 2 Performance Using Multiplier Theory , 1997 .

[17]  S. Treil.  THE GAP BETWEEN COMPLEX STRUCTURED SINGULAR VALUE μ AND ITS UPPER BOUND IS INFINITE , 2000 .

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

[19]  J. P. Lasalle.  Some Extensions of Liapunov's Second Method , 1960 .

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

[21]  Jonathan P. How,et al.  Robust controllers for the Middeck Active Control Experiment using Popov controller synthesis , 1993 .

[22]  Jan C. Willems,et al.  On the existence of a nonpositive solution to the Riccati equation , 1974 .

[23]  D. S. Bernstein,et al.  Explicit construction of quadratic Lyapunov functions for the small gain, positivity, circle and Popov theorems and their application to robust stability , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[24]  A. Rantzer,et al.  System analysis via integral quadratic constraints , 1997, IEEE Trans. Autom. Control..

[25]  Alan J. Laub,et al.  The LMI control toolbox , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[26]  Jean-Michel Dion,et al.  Stability and robust stability of time-delay systems: A guided tour , 1998 .

[27]  Paul Van Dooren,et al.  A fast algorithm for the computation of an upper bound on the µ-norm , 2000, Autom..

[28]  A. Rantzer,et al.  System analysis via integral quadratic constraints , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[29]  C. Byrnes,et al.  On the Kalman-Yacubovich-Popov Lemma for Nonlinear Systems , 1993 .

[30]  J. Willems.  Dissipative dynamical systems part I: General theory , 1972 .

[31]  J. Doyle,et al.  Robust and optimal control , 1995, Proceedings of 35th IEEE Conference on Decision and Control.

[32]  V. Balakrishnan.  Linear matrix inequalities in robustness analysis with multipliers , 1995 .

[33]  Yung-Shan Chou,et al.  Stability multipliers and μ upper bounds: connections and implications for numerical verification of frequency domain conditions , 1999, IEEE Trans. Autom. Control..

[34]  Lieven Vandenberghe,et al.  Interior-point methods for magnitude filter design , 2001, 2001 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings (Cat. No.01CH37221).

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

[36]  J. How,et al.  Connections between the Popov Stability Criterion and Bounds for Real Parameter Uncertainty , 1993, 1993 American Control Conference.

[37]  M. Safonov,et al.  Real/Complex Km-Synthesis without Curve Fitting , 1993 .

[38]  J. Willems.  Dissipative dynamical systems Part II: Linear systems with quadratic supply rates , 1972 .

[39]  D. Bernstein,et al.  Explicit construction of quadratic lyapunov functions for the small gain, positivity, circle, and popov theorems and their application to robust stability. part II: Discrete-time theory , 1993 .