A Relaxed Small-Gain Theorem for Interconnected Discrete-Time Systems

This technical note presents a relaxation of the small-gain theorem for the stability analysis of interconnected discrete-time nonlinear systems. The distinctive feature of this relaxation is that separate systems may be unstable, while global asymptotic stability (GAS) of the overall interconnected systems equilibrium is obtained. In addition, a Lyapunov function for the overall interconnected system is explicitly derived. Necessity of the hypothesis of the small-gain theorem is established for a rather general class of GAS nonlinear systems. An illustrative example demonstrates the non-conservatism of the developed small-gain theorem.

[1]  Zhong-Ping Jiang,et al.  Necessary and Sufficient Small Gain Conditions for Integral Input-to-State Stable Systems: A Lyapunov Perspective , 2009, IEEE Transactions on Automatic Control.

[2]  Eduardo Sontag,et al.  Input-to-state stability for discrete-time nonlinear systems , 1999, at - Automatisierungstechnik.

[3]  Zhong-Ping Jiang,et al.  Nonlinear small-gain theorems for discrete-time feedback systems and applications , 2004, Autom..

[4]  D. Aeyels,et al.  A new asymptotic stability criterion for nonlinear time-variant differential equations , 1998, IEEE Trans. Autom. Control..

[5]  Fabian R. Wirth,et al.  Numerical construction of LISS Lyapunov functions under a small-gain condition , 2011, IEEE Conference on Decision and Control and European Control Conference.

[6]  Mircea Lazar,et al.  Non-conservative dissipativity and small-gain conditions for stability analysis of interconnected systems , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[7]  Randy A. Freeman,et al.  On the necessity of the small-gain theorem in the performance analysis of nonlinear systems , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[8]  Fabian R. Wirth,et al.  An alternative converse Lyapunov theorem for discrete-time systems , 2014, Syst. Control. Lett..

[9]  Yuandan Lin,et al.  A Smooth Converse Lyapunov Theorem for Robust Stability , 1996 .

[10]  Zhong-Ping Jiang,et al.  Small-gain theorem for ISS systems and applications , 1994, Math. Control. Signals Syst..

[11]  Zhong-Ping Jiang,et al.  A Lyapunov formulation of the nonlinear small-gain theorem for interconnected ISS systems , 1996, Autom..

[12]  Fabian R. Wirth,et al.  Small gain theorems for large scale systems and construction of ISS Lyapunov functions , 2009, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[13]  Jiang Zhongping,et al.  Nonlinear small-gain theorems for discrete-time large-scale systems , 2008, 2008 27th Chinese Control Conference.

[14]  D. Bernstein,et al.  Explicit construction of quadratic lyapunov functions for the small gain, positivity, circle, and popov theorems and their application to robust stability. part II: Discrete-time theory , 1993 .

[15]  F. Mazenc,et al.  Further constructions of strict Lyapunov functions for time-varying systems , 2005, Proceedings of the 2005, American Control Conference, 2005..

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

[17]  Andrew R. Teel,et al.  On the Robustness of KL-stability for Difference Inclusions: Smooth Discrete-Time Lyapunov Functions , 2005, SIAM J. Control. Optim..

[18]  Zhong-Ping Jiang,et al.  Lyapunov formulation of the large-scale, ISS cyclic-small-gain theorem: The discrete-time case , 2012, Syst. Control. Lett..

[19]  F. Mazenc,et al.  O ct 2 00 6 Constructions of Strict Lyapunov Functions for Discrete Time and Hybrid Time-Varying Systems ∗ , 2008 .