Analyzing the Stability of Switched Systems Using Common Zeroing-Output Systems

This paper introduces the notion of common zeroing-output systems (CZOS) to analyze the stability of switched systems. The concept of CZOS allows one to verify weak zero-state detectability. It characterizes a common behavior of any individual subsystem when the output signal for each subsystem is “approaching” zero. Heuristically speaking, it removes the effect of switching behavior, and thus enables one to analyze stability properties in systems with complex switching signals. With the help of CZOS, the Krasovskii–LaSalle theorem can be extended to switched nonlinear time-varying systems with both arbitrary switching and more general restricted switching cases. For switched nonlinear time-invariant systems, the needed detectability condition is further simplified, leading to several new stability results. Particularly, when a switched linear time-invariant system is considered, it is possible to generate a recursive method, which combines a Krasovskii–LaSalle result and a nested Matrosov result, to find a CZOS if it exists. The power of the proposed CZOS is demonstrated by consensus problems in literature to obtain a stronger convergence result with weaker conditions.

[1]  Nicholas R. Gans,et al.  A stable switched-system approach to obstacle avoidance for mobile robots in SE(2) , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[2]  Jie Huang,et al.  Stability of a Class of Linear Switching Systems with Applications to Two Consensus Problems , 2011, IEEE Transactions on Automatic Control.

[3]  Ti-Chung Lee On the equivalence relations of detectability and PE conditions , 2004, IEEE Trans. Autom. Control..

[4]  Zhong-Ping Jiang,et al.  A switching algorithm for global exponential stabilization of uncertain chained systems , 2003, IEEE Trans. Autom. Control..

[5]  Xiaoming Hu,et al.  An Extension of LaSalle's Invariance Principle and Its Application to Multi-Agent Consensus , 2008, IEEE Transactions on Automatic Control.

[6]  Zvi Artstein,et al.  Uniform asymptotic stability via the limiting equations , 1978 .

[7]  Daniel Liberzon,et al.  Supervisory Control of Uncertain Linear Time-Varying Systems , 2011, IEEE Transactions on Automatic Control.

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

[9]  Ricardo G. Sanfelice,et al.  Invariance Principles for Hybrid Systems With Connections to Detectability and Asymptotic Stability , 2007, IEEE Transactions on Automatic Control.

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

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

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

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

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

[15]  Robert Shorten,et al.  On common quadratic Lyapunov functions for pairs of stable LTI systems whose system matrices are in companion form , 2003, IEEE Trans. Autom. Control..

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

[17]  Ying Tan,et al.  A refinement of Matrosov's theorem for differential inclusions , 2016, Autom..

[18]  Ying Tan,et al.  On sign-definite pairs of functions , 2014, 2014 European Control Conference (ECC).

[19]  José Luis Mancilla-Aguilar,et al.  Invariance principles for switched systems with restrictions , 2009, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[20]  Zhong-Ping Jiang,et al.  A Generalization of Krasovskii-LaSalle Theorem for Nonlinear Time-Varying Systems: Converse Results and Applications , 2005, IEEE Trans. Autom. Control..

[21]  Andrea Bacciotti,et al.  An invariance principle for nonlinear switched systems , 2005, Syst. Control. Lett..

[22]  Ying Tan,et al.  Stability and Persistent Excitation in Signal Sets , 2015, IEEE Transactions on Automatic Control.

[23]  W. Rudin Principles of mathematical analysis , 1964 .

[24]  Zhong-Ping Jiang,et al.  Uniform Asymptotic Stability of Nonlinear Switched Systems With an Application to Mobile Robots , 2008, IEEE Transactions on Automatic Control.

[25]  Ugo Boscain,et al.  A REVIEW ON STABILITY OF SWITCHED SYSTEMS FOR ARBITRARY SWITCHINGS , 2008 .

[26]  J. P. Lasalle Some Extensions of Liapunov's Second Method , 1960 .

[27]  Zhong-Ping Jiang,et al.  On global tracking control of a VTOL aircraft without velocity measurements , 2003, IEEE Trans. Autom. Control..

[28]  Ricardo G. Sanfelice,et al.  Invariance principles for switching systems via hybrid systems techniques , 2008, Syst. Control. Lett..

[29]  J. Hale,et al.  Ordinary Differential Equations , 2019, Fundamentals of Numerical Mathematics for Physicists and Engineers.

[30]  Pierre Riedinger,et al.  On the Convergence of Linear Switched Systems , 2011, IEEE Transactions on Automatic Control.

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

[32]  Bin Zhang,et al.  On Weak-Invariance Principles for Nonlinear Switched Systems , 2014, IEEE Transactions on Automatic Control.

[33]  Ying Tan,et al.  On detectability conditions in signal sets with application to switched systems , 2016, 2016 European Control Conference (ECC).

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

[35]  Ti-Chung Lee,et al.  A Krasovskii-LaSalle theorem for arbitrarily switched systems , 2015, 2015 European Control Conference (ECC).

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

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

[38]  Rama K. Yedavalli,et al.  Conditions for the existence of a common quadratic Lyapunov function via stability analysis of matrix families , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).