Analysis of nonlinear time-delay systems using the sum of squares decomposition

The use of the sum of squares decomposition and semidefinite programming have provided an efficient methodology for analysis of nonlinear systems described by ODEs by algorithmically constructing Lyapunov functions. Based on the same methodology we present an algorithmic procedure for constructing Lyapunov-Krasovskii functional for nonlinear time delay systems described by functional differential equations (FDEs) both for delay-dependent and delay-independent stability analysis. Robust stability analysis of these systems under parametric uncertainty can be treated in a unified way. We illustrate the results with an example from population dynamics.

[1]  Peter J. Wangersky,et al.  Time Lag in Prey‐Predator Population Models , 1957 .

[2]  N. Rashevsky,et al.  Mathematical biology , 1961, Connecticut medicine.

[3]  Iu M Repin.  Quadratic liapunov functionals for systems with delay , 1965 .

[4]  D. D. Perlmutter,et al.  Stability of time‐delay systems , 1972 .

[5]  E. Infante,et al.  A Liapunov Functional for a Matrix Difference-Differential Equation, , 1978 .

[6]  Marie-Françoise Roy,et al.  Real algebraic geometry , 1992 .

[7]  K. Gopalsamy.  Stability and Oscillations in Delay Differential Equations of Population Dynamics , 1992 .

[8]  Jack K. Hale,et al.  Introduction to Functional Differential Equations , 1993, Applied Mathematical Sciences.

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

[10]  L. Dugard,et al.  Delay-dependent stability of linear systems with delayed state: an LMI approach , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[11]  Ju Hyun Park,et al.  Stability Analysis of Linear Time-delay Systems , 1996 .

[12]  Onur Toker,et al.  Mathematics of Control , Signals , and Systems Complexity Issues in Robust Stability of Linear Delay-Differential Systems * , 2005 .

[13]  K. Gu.  Discretized LMI set in the stability problem of linear uncertain time-delay systems , 1997 .

[14]  A. Teel.  Connections between Razumikhin-type theorems and the ISS nonlinear small gain theorem , 1998, IEEE Trans. Autom. Control..

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

[16]  PooGyeon Park,et al.  A delay-dependent stability criterion for systems with uncertain time-invariant delays , 1999, IEEE Trans. Autom. Control..

[17]  Kolmanovskii,et al.  Introduction to the Theory and Applications of Functional Differential Equations , 1999 .

[18]  Yurii Nesterov,et al.  Squared Functional Systems and Optimization Problems , 2000 .

[19]  Silviu-Iulian Niculescu,et al.  Additional dynamics in transformed time-delay systems , 2000, IEEE Trans. Autom. Control..

[20]  P. Parrilo.  Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization , 2000 .

[21]  S. Niculescu.  Delay Effects on Stability: A Robust Control Approach , 2001 .

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

[23]  Frédéric Mazenc,et al.  Lyapunov stability analysis for nonlinear delay systems , 2001 .

[24]  Pablo A. Parrilo,et al.  Introducing SOSTOOLS: a general purpose sum of squares programming solver , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[25]  Pierre-Alexandre Bliman,et al.  Stability of non-linear delay systems: Delay-independent small gain theorem and frequency domain interpretation of the Lyapunov-Krasovskii method , 2002 .

[26]  A. Papachristodoulou,et al.  On the construction of Lyapunov functions using the sum of squares decomposition , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[27]  El-Kebir Boukas,et al.  Deterministic and Stochastic Time-Delay Systems , 2002 .

[28]  Pierre-Alexandre Bliman,et al.  Lyapunov equation for the stability of linear delay systems of retarded and neutral type , 2002, IEEE Trans. Autom. Control..

[29]  Rayadurgam Srikant,et al.  The Mathematics of Internet Congestion Control , 2003 .

[30]  J. Lasserre,et al.  Solving nonconvex optimization problems , 2004, IEEE Control Systems.

[31]  S. Lall,et al.  Constructing Lyapunov Functions for nonlinear delay-differential equations using semidefinite programming , 2004 .

[32]  John Doyle,et al.  Analysis of nonlinear delay differential equation models of TCP/AQM protocols using sums of squares , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[33]  G. Chesi.  DOMAIN OF ATTRACTION: ESTIMATES FOR NON-POLYNOMIAL SYSTEMS VIA LMIS , 2005 .

[34]  A. Papachristodoulou,et al.  Robust Stabilization of Nonlinear Time Delay Systems Using Convex Optimization , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[35]  A. Garulli,et al.  Positive Polynomials in Control , 2005 .

[36]  A. Papachristodoulou,et al.  Analysis of Non-polynomial Systems using the Sum of Squares Decomposition , 2005 .