Dwell time analysis of deterministic and stochastic switched systems

This paper collects a number of recent results on stability and L2 gain of switched linear systems (both deterministic and stochastic) under a dwell time constraint. The switching signal orchestrates the commutations between linear systems (in the deterministic case) or Markov jump linear systems (in the stochastic case). In the latter case, the switching affects both the dynamics of the underlying systems and the associated transition probability matrices. The main focus is on the computation of the minimum dwell time ensuring stability and an upper bound of the L2 gain, in the deterministic case, or stochastic stability (both in the mean square sense and almost sure sense), in the stochastic case. Being the minimum dwell time very hardly computable, viable procedures are proposed for a computation of an upper bound through Kronecker calculus, standard H∞ theory and coupled Lyapunov inequalities.

[1]  Graziano Chesi,et al.  Robust analysis of LFR systems through homogeneous polynomial Lyapunov functions , 2004, IEEE Transactions on Automatic Control.

[2]  Patrizio Colaneri,et al.  Relations between stochastic stability of Markovian jump linear systems and stabilization of deterministic switched linear systems , 2008 .

[3]  Vincenzo Capasso,et al.  An Introduction to Continuous-Time Stochastic Processes , 2004, Modeling and Simulation in Science, Engineering and Technology.

[4]  B. Reznick.  Some concrete aspects of Hilbert's 17th Problem , 2000 .

[5]  A. Willsky,et al.  Discrete-time Markovian-jump linear quadratic optimal control , 1986 .

[6]  Frank Kozin,et al.  A survey of stability of stochastic systems , 1969, Autom..

[7]  Patrizio Colaneri,et al.  On almost sure stability of continuous-time Markov jump linear systems , 2006, Autom..

[8]  Robert Shorten,et al.  On the 45° -Region and the uniform asymptotic stability of classes of second order parameter-varying and switched systems , 2002 .

[9]  Franco Blanchini,et al.  Stability results for linear parameter varying and switching systems , 2007, Autom..

[10]  A. Vicino,et al.  On convexification of some minimum distance problems , 1999, 1999 European Control Conference (ECC).

[11]  Jamal Daafouz,et al.  Parameter dependent Lyapunov functions for discrete time systems with time varying parametric uncertainties , 2001, Syst. Control. Lett..

[12]  D. Hinrichsen,et al.  Stability Radii of Systems with Stochastic Uncertainty and Their Optimization by Output Feedback , 1996 .

[13]  K. Loparo,et al.  Almost sure and δmoment stability of jump linear systems , 1994 .

[14]  Michael Margaliot,et al.  Root-mean-square gains of switched linear systems: A variational approach , 2007, CDC.

[15]  Panos J. Antsaklis,et al.  Optimal control of switched systems based on parameterization of the switching instants , 2004, IEEE Transactions on Automatic Control.

[16]  Sanjeev R. Kulkarni,et al.  Controller switching based on output predictions , 1999 .

[17]  K. Loparo,et al.  Stochastic stability properties of jump linear systems , 1992 .

[18]  Yuguang Fang,et al.  Stabilization of continuous-time jump linear systems , 2002, IEEE Trans. Autom. Control..

[19]  Patrizio Colaneri,et al.  Robust stability of time varying polytopic systems , 2006, Syst. Control. Lett..

[20]  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).

[21]  P. Colaneri,et al.  Almost sure stability of stochastic linear systems with ergodic parameters: A small-gain theorem , 2007, 2007 European Control Conference (ECC).

[22]  Panos J. Antsaklis,et al.  Stabilization of second-order LTI switched systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

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

[24]  Raymond A. DeCarlo,et al.  Optimal control of switching systems , 2005, Autom..

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

[26]  Darald J. Hartfiel,et al.  Markov Set-Chains , 1998 .

[27]  Yuguang Fang.  Stability analysis of linear control systems with uncertain parameters , 1994 .

[28]  Umit Ozguner,et al.  Stability of linear feedback systems with random communication delays , 1994 .

[29]  J.C. Geromel,et al.  H∞ and dwell time specifications of switched linear systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[30]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[31]  Arturo Locatelli,et al.  Control Theory and Design: An Rh2 and Rh Viewpoint , 1997 .

[32]  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).

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

[34]  Marta Gómez-Puig,et al.  A new indicator to assess the credibility of the EMS , 1997 .

[35]  James Lam,et al.  Analysis and Synthesis of Markov Jump Linear Systems With Time-Varying Delays and Partially Known Transition Probabilities , 2008, IEEE Transactions on Automatic Control.

[36]  Daniel Liberzon,et al.  Quantized feedback stabilization of linear systems , 2000, IEEE Trans. Autom. Control..

[37]  R. Tempo,et al.  Randomized Algorithms for Analysis and Control of Uncertain Systems , 2004 .

[38]  A. Stephen Morse,et al.  Switched nonlinear systems with state-dependent dwell-time , 2003, Syst. Control. Lett..

[39]  P. Colaneri,et al.  On Almost Sure Stabilization of Continuous-Time Markov Jump Linear Systems , 2005, Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation Intelligent Control, 2005..

[40]  Graziano Chesi,et al.  On the Gap Between Positive Polynomials and SOS of Polynomials , 2007, IEEE Transactions on Automatic Control.

[41]  R. Rogers,et al.  An LQ-solution to a control problem associated with a solar thermal central receiver , 1983 .

[42]  El-Kébir Boukas,et al.  Stochastic Switching Systems: Analysis and Design , 2005 .

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

[44]  M. Mariton,et al.  Jump Linear Systems in Automatic Control , 1992 .

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

[46]  Meng Guang,et al.  Maximal Lyapunov exponent and almost-sure sample stability for second-order linear stochastic system , 2003 .

[47]  A. Rantzer,et al.  Piecewise linear quadratic optimal control , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

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

[49]  R. P. Marques,et al.  Discrete-Time Markov Jump Linear Systems , 2004, IEEE Transactions on Automatic Control.

[50]  G. N. Saridis,et al.  Intelligent robotic control , 1983 .

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

[52]  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).

[53]  Guangming Xie,et al.  Reachability realization and stabilizability of switched linear discrete-time systems☆ , 2003 .

[54]  Michael Margaliot,et al.  Stability analysis of switched systems using variational principles: An introduction , 2006, Autom..

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

[56]  Patrizio Colaneri,et al.  Dynamic Output Feedback Control of Switched Linear Systems , 2008, IEEE Transactions on Automatic Control.

[57]  M. Tanelli,et al.  On Robust Almost Sure Stabilization of Continuous-Time Markov Jump Linear Systems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

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

[59]  H. J. Kushner,et al.  Stochastic Stability , 2005 .

[60]  J. Geromel,et al.  Stability and stabilization of discrete time switched systems , 2006 .

[61]  D. Sauter,et al.  Output-feedback H∞ control of a class of networked fault tolerant control systems , 2007, 2007 Mediterranean Conference on Control & Automation.

[62]  Tamer Basar,et al.  Randomized algorithms for synthesis of switching rules for multimodal systems , 2005, IEEE Transactions on Automatic Control.

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

[64]  S. Marcus,et al.  Stochastic stability for a class of systems with multiplicative state noise , 1979 .

[65]  Robert Shorten,et al.  A result on common quadratic Lyapunov functions , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

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

[67]  Patrizio Colaneri,et al.  Optimal Switching of 1-DOF Oscillating Systems , 2007, HSCC.

[68]  João Pedro Hespanha,et al.  Switching between stabilizing controllers , 2002, Autom..

[69]  Bo Hu,et al.  Stability analysis of switched systems with stable and unstable subsystems: An average dwell time approach , 2001, Int. J. Syst. Sci..

[70]  Yuguang Fang,et al.  Almost Sure Stability of Jump Linear Systems , 1996 .

[71]  Alberto Bemporad,et al.  Optimal control of continuous-time switched affine systems , 2006, IEEE Transactions on Automatic Control.

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

[73]  Olga Taussky-Todd.  SOME CONCRETE ASPECTS OF HILBERT'S 17TH PROBLEM , 1996 .

[74]  Franco Blanchini,et al.  Polyhedral functions, composite quadratic functions, and equivalent conditions for stability/stabilization , 2008, 2008 47th IEEE Conference on Decision and Control.

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

[76]  João Pedro Hespanha,et al.  Root-mean-square gains of switched linear systems , 2003, IEEE Trans. Autom. Control..

[77]  Frank Kozin,et al.  Sample Stability of Second Order Linear Differential Equations with Wide Band Noise Coefficients , 1974 .

[78]  Yuguang Fang,et al.  On the relationship between the sample path and moment lyapunov exponents for jump linear systems , 2002, IEEE Trans. Autom. Control..

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

[80]  Graziano Chesi,et al.  Homogeneous Lyapunov functions for systems with structured uncertainties , 2003, Autom..

[81]  Thomas Most,et al.  Dynamic stability analysis of non-linear structures with geometrical imperfections under random loading , 2004 .

[82]  A. Michel,et al.  Stability theory for hybrid dynamical systems , 1998, IEEE Trans. Autom. Control..

[83]  Graziano Chesi,et al.  Solving quadratic distance problems: an LMI-based approach , 2003, IEEE Trans. Autom. Control..

[84]  V. I. Oseledec.  A multiplicative ergodic theorem: Lyapunov characteristic num-bers for dynamical systems , 1968 .

[85]  L. Arnold,et al.  Lyapunov exponents of linear stochastic systems , 1986 .

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

[87]  Graziano Chesi,et al.  Polynomially parameter-dependent Lyapunov functions for robust stability of polytopic systems: an LMI approach , 2005, IEEE Transactions on Automatic Control.

[88]  Ji-Woong Lee,et al.  Uniform stabilization of discrete-time switched and Markovian jump linear systems , 2006, Autom..

[89]  L. Ghaoui,et al.  Robust state-feedback stabilization of jump linear systems , 1996 .

[90]  Yuguang Fang,et al.  A new general sufficient condition for almost sure stability of jump linear systems , 1997, IEEE Trans. Autom. Control..

[91]  Tamer Basar,et al.  Receding horizon control of jump linear systems and a macroeconomic policy problem , 1999 .

[92]  WILLIAM P. BLAIR,et al.  Continuous-Time Regulation of a Class of Econometric Models , 1975, IEEE Transactions on Systems, Man, and Cybernetics.

[93]  Franco Blanchini,et al.  Set-theoretic methods in control , 2007 .

[94]  T. T. Soong,et al.  Random Vibration of Mechanical and Structural Systems , 1992 .

[95]  John N. Tsitsiklis,et al.  A survey of computational complexity results in systems and control , 2000, Autom..

[96]  E. F. Infante,et al.  On the stability of some linear nonautonomous systems , 1967 .