On formalism and stability of switched systems

In this paper, we formulate a uniform mathematical framework for studying switched systems with piecewise linear partitioned state space and state dependent switching. Based on known results from the theory of differential inclusions, we devise a Lyapunov stability theorem suitable for this class of switched systems. With this, we prove a Lyapunov stability theorem for piecewise linear switched systems by means of a concrete class of Lyapunov functions. Contrary to existing results on the subject, the stability theorems in this paper include Filippov (or relaxed) solutions and allow infinite switching in finite time. Finally, we show that for a class of piecewise linear switched systems, the inertia of the system is not sufficient to determine its stability. A number of examples are provided to illustrate the concepts discussed in this paper.

[1]  G. C. Shephard,et al.  Convex Polytopes , 1969, The Mathematical Gazette.

[2]  R. Tyrrell Rockafellar,et al.  Convex Analysis , 1970, Princeton Landmarks in Mathematics and Physics.

[3]  W. Greub.  Linear Algebra , 1981 .

[4]  J. Palis,et al.  Geometric theory of dynamical systems , 1982 .

[5]  C. M. Place,et al.  Ordinary Differential Equations , 1982 .

[6]  J. Aubin,et al.  Existence of Solutions to Differential Inclusions , 1984 .

[7]  Aleksej F. Filippov,et al.  Differential Equations with Discontinuous Righthand Sides , 1988, Mathematics and Its Applications.

[8]  J. Aubin.  Set-valued analysis , 1990 .

[9]  Steven Roman.  Advanced Linear Algebra , 1992 .

[10]  S. Pettersson,et al.  Stability and robustness for hybrid systems , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

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

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

[13]  Yu. S. Ledyaev,et al.  Asymptotic Stability and Smooth Lyapunov Functions , 1998 .

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

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

[16]  Johannes Schumacher,et al.  An Introduction to Hybrid Dynamical Systems, Springer Lecture Notes in Control and Information Sciences 251 , 1999 .

[17]  Alberto Bemporad,et al.  Observability and controllability of piecewise affine and hybrid systems , 2000, IEEE Trans. Autom. Control..

[18]  Jun-ichi Imura,et al.  Characterization of well-posedness of piecewise-linear systems , 2000, IEEE Trans. Autom. Control..

[19]  Jean-Pierre Aubin,et al.  Impulse differential inclusions: a viability approach to hybrid systems , 2002, IEEE Trans. Autom. Control..

[20]  S. Pettersson,et al.  Hybrid system stability and robustness verification using linear matrix inequalities , 2002 .

[21]  G. Smirnov.  Introduction to the Theory of Differential Inclusions , 2002 .

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

[23]  Mustafa Ç. Pinar,et al.  On the S-procedure and Some Variants , 2006, Math. Methods Oper. Res..

[24]  Wassim M. Haddad,et al.  Impulsive and Hybrid Dynamical Systems: Stability, Dissipativity, and Control , 2006 .

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

[26]  Discontinuous Dynamical Systems A tutorial on notions of solutions , nonsmooth analysis , and stability , 2007 .

[27]  J. Cortés.  Discontinuous dynamical systems , 2008, IEEE Control Systems.

[28]  Rafael Wisniewski,et al.  Method for Analysis of Synchronization Applied to Supermarket Refrigeration System , 2008 .