A Non-Conservative Small-Gain Theorem for GAS Discrete-Time Systems

Abstract This paper makes use of the concept of a finite–time Lyapunov function to derive a non– conservative small-gain theorem for stability analysis of interconnected discrete–time nonlinear systems. Firstly, it is shown that the existence of a global finite–time Lyapunov function is equivalent to global asymptotic stability (GAS) of the overall interconnected system. Secondly, it is indicated that existence of Lyapunov–type functions for each subsystem, together with a small-gain condition implies GAS of the interconnected system. Thirdly, the main result of this paper establishes that GAS of the interconnected system always yields a set of Lyapunov–type functions that satisfy the small-gain condition for a rather general class of GAS nonlinear systems. A simple example demonstrates the non–conservatism of the proposed small-gain theorem.

[1]  G. Zames.  On the input-output stability of time-varying nonlinear feedback systems Part one: Conditions derived using concepts of loop gain, conicity, and positivity , 1966 .

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

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

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

[5]  P. Kokotovic,et al.  Sufficient conditions for stabilization of sampled-data nonlinear systems via discrete-time approximations , 1999 .

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

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

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

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

[10]  Mircea Lazar,et al.  Model predictive control of hybrid systems : stability and robustness , 2006 .

[11]  Fabian R. Wirth,et al.  An ISS small gain theorem for general networks , 2007, Math. Control. Signals Syst..

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

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

[14]  Björn Rüffer.  Small-Gain Conditions and the Comparison Principle , 2010, IEEE Transactions on Automatic Control.

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

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

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

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