Affine Characterizations of Minimal and Mode-Dependent Dwell-Times for Uncertain Linear Switched Systems

An alternative approach for minimum and mode-dependent dwell-time characterization for switched systems is derived. While minimum-dwell time results require the subsystems to be asymptotically stable, mode-dependent dwell-time results can consider unstable subsystems and dwell-times within a, possibly unbounded, range of values. The proposed approach is related to Lyapunov looped-functionals, a new type of functionals leading to stability conditions affine in the system matrices, unlike standard results for minimum dwell-time. These conditions are expressed as infinite-dimensional LMIs which can be solved using recent polynomial optimization techniques such as sum-of-squares. The specific structure of the conditions is finally utilized in order to derive dwell-time stability results for uncertain switched systems. Several examples illustrate the efficiency of the approach.

[1]  Peter J Seiler,et al.  SOSTOOLS: Sum of squares optimization toolbox for MATLAB , 2002 .

[2]  Tadeusz Kaczorek,et al.  LMI approach to stability of 2D positive systems , 2009, Multidimens. Syst. Signal Process..

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

[4]  Corentin Briat,et al.  Robust stability of impulsive systems: A functional-based approach , 2012, ADHS.

[5]  Chaohong Cai,et al.  Smooth Lyapunov Functions for Hybrid Systems Part II: (Pre)Asymptotically Stable Compact Sets , 2008, IEEE Transactions on Automatic Control.

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

[7]  M. Morari,et al.  Stability and stabilization of piecewise affine and hybrid systems: an LMI approach , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[8]  Jun Zhao,et al.  Dissipativity Theory for Switched Systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

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

[10]  Y. Pyatnitskiy,et al.  Criteria of asymptotic stability of differential and difference inclusions encountered in control theory , 1989 .

[11]  J. Hespanha.  Extending LaSalle's invariance principle to switched linear systems , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[12]  Diego Napp Avelli,et al.  Time-relevant stability of 2D systems , 2011, Autom..

[13]  Olivier Bachelier,et al.  Exponential stability conditions for 2D continuous state-delayed systems , 2011, The 2011 International Workshop on Multidimensional (nD) Systems.

[14]  Zhong-Ping Jiang,et al.  A converse Lyapunov theorem for discrete-time systems with disturbances , 2002, Syst. Control. Lett..

[15]  Corentin Briat,et al.  Convex Dwell-Time Characterizations for Uncertain Linear Impulsive Systems , 2012, IEEE Transactions on Automatic Control.

[16]  A. Morse.  Supervisory control of families of linear set-point controllers Part I. Exact matching , 1996, IEEE Trans. Autom. Control..

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

[18]  Fabian R. Wirth,et al.  A positive systems model of TCP-like congestion control: asymptotic results , 2006, IEEE/ACM Transactions on Networking.

[19]  Karl Henrik Johansson,et al.  An axiomatic fluid-flow model for congestion control analysis , 2011, IEEE Conference on Decision and Control and European Control Conference.

[20]  Ettore Fornasini,et al.  Doubly-indexed dynamical systems: State-space models and structural properties , 1978, Mathematical systems theory.

[21]  Alexandre Seuret,et al.  A novel stability analysis of linear systems under asynchronous samplings , 2012, Autom..

[22]  A. Morse,et al.  Stability of switched systems: a Lie-algebraic condition ( , 1999 .

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

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

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

[26]  Karl Henrik Johansson,et al.  Nonlinear state-dependent delay modeling and stability analysis of internet congestion control , 2010, 49th IEEE Conference on Decision and Control (CDC).

[27]  R. Decarlo,et al.  Perspectives and results on the stability and stabilizability of hybrid systems , 2000, Proceedings of the IEEE.

[28]  R. Roesser.  A discrete state-space model for linear image processing , 1975 .

[29]  Jamal Daafouz,et al.  Stability analysis and control synthesis for switched systems: a switched Lyapunov function approach , 2002, IEEE Trans. Autom. Control..

[30]  Alexandre Seuret,et al.  SOS for Sampled-Data Systems , 2011 .

[31]  Krzysztof Galkowski,et al.  Lmi-based Analysis for Continuous-discrete Linear Shift-invariant Nd Systems , 2005, J. Circuits Syst. Comput..

[32]  Pierre-Alexandre Bliman.  Lyapunov Equation for the Stability of 2-D Systems , 2002, Multidimens. Syst. Signal Process..

[33]  A. Morse,et al.  Stability of switched systems with average dwell-time , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[34]  P. Gahinet,et al.  A convex characterization of gain-scheduled H∞ controllers , 1995, IEEE Trans. Autom. Control..

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

[36]  Franco Blanchini,et al.  Nonquadratic Lyapunov functions for robust control , 1995, Autom..

[37]  G. Marchesini,et al.  State-space realization theory of two-dimensional filters , 1976 .

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

[39]  A. Michel,et al.  Stability analysis of state-space realizations for two-dimensional filters with overflow nonlinearities , 1994 .

[40]  Jean Buisson,et al.  Hybrid Control Techniques for Switched-Mode DC-DC Converters Part II: The Step-Up Topology , 2007, 2007 American Control Conference.

[41]  K. Galkowski,et al.  LMI approach to state-feedback stabilization of multidimensional systems , 2003 .

[42]  Brian D. O. Anderson,et al.  Stability test for two-dimensional recursive filters , 1973 .

[43]  Tobias Geyer,et al.  Hybrid Control Techniques for Switched-Mode DC-DC Converters Part I: The Step-Down Topology , 2007, 2007 American Control Conference.

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

[45]  João Pedro Hespanha,et al.  Hybrid Modeling of TCP Congestion Control , 2001, HSCC.

[46]  Peng Shi,et al.  Stability and Stabilization of Switched Linear Systems With Mode-Dependent Average Dwell Time , 2012, IEEE Transactions on Automatic Control.

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

[48]  I. Petersen.  A stabilization algorithm for a class of uncertain linear systems , 1987 .

[49]  Tor Arne Johansen,et al.  Switched control of an electropneumatic clutch actuator using on/off valves , 2008, 2008 American Control Conference.

[50]  Corentin Briat,et al.  A looped-functional approach for robust stability analysis of linear impulsive systems , 2012, Syst. Control. Lett..

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

[52]  W. Marsden.  I and J , 2012 .