A Nonconservative LMI Condition for Stability of Switched Systems With Guaranteed Dwell Time

Ensuring stability of switched linear systems with a guaranteed dwell time is an important problem in control systems. Several methods have been proposed in the literature to address this problem, but unfortunately they provide sufficient conditions only. This technical note proposes the use of homogeneous polynomial Lyapunov functions in the non-restrictive case where all the subsystems are Hurwitz, showing that a sufficient condition can be provided in terms of an LMI feasibility test by exploiting a key representation of polynomials. Several properties are proved for this condition, in particular that it is also necessary for a sufficiently large degree of these functions. As a result, the proposed condition provides a sequence of upper bounds of the minimum dwell time that approximate it arbitrarily well. Some examples illustrate the proposed approach.

[1]  R. Olfati-Saber,et al.  Consensus Filters for Sensor Networks and Distributed Sensor Fusion , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[2]  Karl Henrik Johansson,et al.  Optimal stopping for event-triggered sensing and actuation , 2008, 2008 47th IEEE Conference on Decision and Control.

[3]  Franco Blanchini,et al.  Vertex/plane characterization of the dwell-time property for switching linear systems , 2010, 49th IEEE Conference on Decision and Control (CDC).

[4]  Anton Cervin,et al.  Sporadic Control of First-Order Linear Stochastic Systems , 2007, HSCC.

[5]  R. Brockett.  Lie Algebras and Lie Groups in Control Theory , 1973 .

[6]  A. L. Zelentsovsky.  Nonquadratic Lyapunov functions for robust stability analysis of linear uncertain systems , 1994, IEEE Trans. Autom. Control..

[7]  Peng Lin,et al.  Average consensus in networks of multi-agents with both switching topology and coupling time-delay , 2008 .

[8]  Joao P. Hespanha,et al.  Logic-based switching algorithms in control , 1998 .

[9]  A. Morse,et al.  Basic problems in stability and design of switched systems , 1999 .

[10]  João Pedro Hespanha,et al.  Uniform stability of switched linear systems: extensions of LaSalle's Invariance Principle , 2004, IEEE Transactions on Automatic Control.

[11]  David Ketchen,et al.  A SET-THEORETIC APPROACH TO , 2004 .

[12]  Manuel Mazo,et al.  On self-triggered control for linear systems: Guarantees and complexity , 2009, 2009 European Control Conference (ECC).

[13]  Daniel Liberzon,et al.  Switching in Systems and Control , 2003, Systems & Control: Foundations & Applications.

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

[15]  Robert Shorten,et al.  Stability Criteria for Switched and Hybrid Systems , 2007, SIAM Rev..

[16]  Jan Lunze,et al.  Event-based control: A state-feedback approach , 2009, 2009 European Control Conference (ECC).

[17]  Claus Scheiderer,et al.  Positivity and sums of squares: A guide to recent results , 2009 .

[18]  G. Chesi.  Homogeneous Polynomial Forms for Robustness Analysis of Uncertain Systems , 2009 .

[19]  Shuzhi Sam Ge,et al.  Switched Linear Systems , 2005 .

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

[21]  Yacine Chitour,et al.  Common Polynomial Lyapunov Functions for Linear Switched Systems , 2006, SIAM J. Control. Optim..

[22]  Frank Allgöwer,et al.  Delay robustness in consensus problems , 2010, Autom..

[23]  Hai Lin,et al.  Switched Linear Systems: Control and Design , 2006, IEEE Transactions on Automatic Control.

[24]  Xiaofeng Wang,et al.  Event-triggered broadcasting across distributed networked control systems , 2008, 2008 American Control Conference.

[25]  Anders Rantzer,et al.  Computation of piecewise quadratic Lyapunov functions for hybrid systems , 1997, 1997 European Control Conference (ECC).

[26]  Hai Lin,et al.  Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results , 2009, IEEE Transactions on Automatic Control.

[27]  G. Chesi.  Domain of Attraction: Analysis and Control via SOS Programming , 2011 .

[28]  Franco Blanchini,et al.  A new class of universal Lyapunov functions for the control of uncertain linear systems , 1999, IEEE Trans. Autom. Control..

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

[30]  Patrizio Colaneri,et al.  Stability and Stabilization of Continuous-Time Switched Linear Systems , 2006, SIAM J. Control. Optim..

[31]  W. P. M. H. Heemels,et al.  Analysis of event-driven controllers for linear systems , 2008, Int. J. Control.

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

[33]  Fabian R. Wirth,et al.  A Converse Lyapunov Theorem for Linear Parameter-Varying and Linear Switching Systems , 2005, SIAM J. Control. Optim..

[34]  Magnus Egerstedt,et al.  Distributed Coordination Control of Multiagent Systems While Preserving Connectedness , 2007, IEEE Transactions on Robotics.

[35]  A. Morse.  Supervisory control of families of linear set-point controllers , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[36]  Tianping Chen,et al.  Consensus of Multi-Agent Systems With Unbounded Time-Varying Delays , 2010, IEEE Transactions on Automatic Control.

[37]  A. Papachristodoulou,et al.  Analysis of switched and hybrid systems - beyond piecewise quadratic methods , 2003, Proceedings of the 2003 American Control Conference, 2003..

[38]  Richard M. Murray,et al.  Consensus problems in networks of agents with switching topology and time-delays , 2004, IEEE Transactions on Automatic Control.

[39]  Paulo Tabuada,et al.  Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks , 2007, IEEE Transactions on Automatic Control.

[40]  Ella M. Atkins,et al.  Distributed multi‐vehicle coordinated control via local information exchange , 2007 .

[41]  R. Decarlo,et al.  Solution of coupled Lyapunov equations for the stabilization of multimodal linear systems , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

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

[43]  G Chesi,et al.  Computing upper-bounds of the minimum dwell time of linear switched systems via homogeneous polynomial Lyapunov functions , 2010, Proceedings of the 2010 American Control Conference.

[44]  Clyde F. Martin,et al.  A Converse Lyapunov Theorem for a Class of Dynamical Systems which Undergo Switching , 1999, IEEE Transactions on Automatic Control.