Stability analysis of networked control systems: A sum of squares approach

This paper presents a sum of squares (SOS) approach to the stability analysis of networked control systems (NCSs) incorporating time-varying delays and time-varying transmission intervals. We will provide mathematical models that describe these NCSs and transform them into suitable hybrid systems formulations. Based on these hybrid systems formulations we construct Lyapunov functions using SOS techniques that can be solved using LMI-based computations. This leads to several advantages: (i) we can deal with nonlinear polynomial controllers and systems, (ii) we can allow for nonzero lower bounds on the delays and transmission intervals in contrast with various existing approaches, (iii) we allow more flexibility in the Lyapunov functions thereby possibly obtaining improved bounds for the delays and transmission intervals than existing results, and finally (iv) it provides an automated method to address stability analysis problems in NCS.

[1]  Nathan van de Wouw,et al.  Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach , 2009, IEEE Transactions on Automatic Control.

[2]  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..

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

[4]  Long Wang,et al.  Sampled-data stabilisation of networked control systems with nonlinearity , 2005 .

[5]  Nathan van de Wouw,et al.  Networked Control Systems With Communication Constraints: Tradeoffs Between Transmission Intervals, Delays and Performance , 2010, IEEE Transactions on Automatic Control.

[6]  Wpmh Maurice Heemels,et al.  Stability and stabilization of networked control systems , 2010 .

[7]  A. Papachristodoulou,et al.  A tutorial on sum of squares techniques for systems analysis , 2005, Proceedings of the 2005, American Control Conference, 2005..

[8]  D. Nesic,et al.  Further results on stability of networked control systems: a Lyapunov approach , 2007, 2007 American Control Conference.

[9]  R. Sanfelice,et al.  Hybrid dynamical systems , 2009, IEEE Control Systems.

[10]  Graham C. Goodwin,et al.  Control over Communication Networks , 2005 .

[11]  Nathan van de Wouw,et al.  Stability of Networked Control Systems With Uncertain Time-Varying Delays , 2009, IEEE Transactions on Automatic Control.

[12]  Nathan van de Wouw,et al.  Comparison of overapproximation methods for stability analysis of networked control systems , 2010, HSCC '10.

[13]  Dragan Nesic,et al.  A Lyapunov Proof of an Improved Maximum Allowable Transfer Interval for Networked Control Systems , 2007, IEEE Transactions on Automatic Control.

[14]  Antonio Bicchi,et al.  Delay compensation in packet-switching networked controlled systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[15]  Stephen P. Boyd,et al.  Analysis and Synthesis of State-Feedback Controllers With Timing Jitter , 2009, IEEE Transactions on Automatic Control.

[16]  Biao Huang,et al.  A new method for stabilization of networked control systems with random delays , 2005, Proceedings of the 2005, American Control Conference, 2005..

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

[18]  M. Branicky.  Multiple Lyapunov functions and other analysis tools for switched and hybrid systems , 1998, IEEE Trans. Autom. Control..

[19]  Graziano Chesi,et al.  LMI Techniques for Optimization Over Polynomials in Control: A Survey , 2010, IEEE Transactions on Automatic Control.

[20]  Wei Zhang,et al.  Stability of networked control systems , 2001 .

[21]  Nathan van de Wouw,et al.  On polytopic inclusions as a modeling framework for systems with time-varying delays , 2010, Autom..

[22]  Peter Xiaoping Liu,et al.  On the Model-Based Approach to Nonlinear Networked Control Systems , 2007, 2007 American Control Conference.

[23]  Dragan Nesic,et al.  Input-output stability properties of networked control systems , 2004, IEEE Transactions on Automatic Control.

[24]  Joao P. Hespanha,et al.  Stability of Delay Impulsive Systems with Application to Networked Control Systems , 2007, ACC.

[25]  Nathan van de Wouw,et al.  Robust Stability of Networked Control Systems with Time-varying Network-induced Delays , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[26]  Dragan Nesic,et al.  A Unified Framework for Design and Analysis of Networked and Quantized Control Systems , 2009, IEEE Transactions on Automatic Control.

[27]  W. P. M. H. Heemels,et al.  Controller synthesis for networked control systems , 2010, Autom..

[28]  Nathan van de Wouw,et al.  Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach , 2011, IEEE Trans. Autom. Control..

[29]  Didier Henrion,et al.  GloptiPoly: Global optimization over polynomials with Matlab and SeDuMi , 2003, TOMS.

[30]  João Pedro Hespanha,et al.  A Survey of Recent Results in Networked Control Systems , 2007, Proceedings of the IEEE.

[31]  Linda Bushnell,et al.  Stability analysis of networked control systems , 2002, IEEE Trans. Control. Syst. Technol..

[32]  Dragan Nesic,et al.  Input-to-state stability of networked control systems , 2004, Autom..

[33]  Joao P. Hespanha,et al.  Tracking control for sampled‐data systems with uncertain time‐varying sampling intervals and delays , 2009 .

[34]  Henk Nijmeijer,et al.  Control over communication networks : modeling, analysis, and synthesis , 2006 .

[35]  James Lam,et al.  A new delay system approach to network-based control , 2008, Autom..

[36]  Vladimir L. Kharitonov,et al.  Robust Stability Analysis , 2003 .

[37]  Antonis Papachristodoulou,et al.  Robust Stability Analysis of Nonlinear Hybrid Systems , 2009, IEEE Transactions on Automatic Control.

[38]  J.P. Hespanha,et al.  On the robust stability and stabilization of sampled-data systems: A hybrid system approach , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[39]  Leonid Mirkin,et al.  Some Remarks on the Use of Time-Varying Delay to Model Sample-and-Hold Circuits , 2007, IEEE Transactions on Automatic Control.

[40]  Young Soo Suh.  Stability and stabilization of nonuniform sampling systems , 2008, Autom..

[41]  Kun Liu,et al.  Stability analysis of networked control systems: A discontiuous Lyapunov functional approach , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[42]  Nathan van de Wouw,et al.  Networked and quantized control systems with communication delays , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[43]  M. Laurent.  Sums of Squares, Moment Matrices and Optimization Over Polynomials , 2009 .

[44]  Antonio Barreiro,et al.  Analysis of networked control systems with drops and variable delays , 2007, Autom..

[45]  João Pedro Hespanha,et al.  Exponential stability of impulsive systems with application to uncertain sampled-data systems , 2008, Syst. Control. Lett..

[46]  Emilia Fridman,et al.  Robust sampled-data stabilization of linear systems: an input delay approach , 2004, Autom..

[47]  João Pedro Hespanha,et al.  Linear Systems Theory , 2009 .

[48]  Jamal Daafouz,et al.  Stabilization of Arbitrary Switched Linear Systems With Unknown Time-Varying Delays , 2006, IEEE Transactions on Automatic Control.