Lyapunov functions

For an ISS system, by analyzing local and non-local properties, it is obtained different input-to-state gains. The interconnection of a system having two input-to-state gains with a system having a single ISS gain is analyzed. By employing the Small Gain Theorem for the local (resp. non-local) gains composition, it is concluded about the local (resp. global) stability of the origin (resp. of a compact set). Additionally, if the region of local stability of the origin strictly includes the region attraction of the compact set, then it is shown that the origin is globally asymptotically stable. An example illustrates the approach.

[1]  G. Zames.  Functional Analysis Applied to Nonlinear Feedback Systems , 1963 .

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

[3]  Eduardo Sontag.  Smooth stabilization implies coprime factorization , 1989, IEEE Transactions on Automatic Control.

[4]  Eduardo Sontag.  Further facts about input to state stabilization , 1990 .

[5]  Bruce A. Francis,et al.  Feedback Control Theory , 1992 .

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

[7]  Eduardo Sontag,et al.  On characterizations of the input-to-state stability property , 1995 .

[8]  Eduardo Sontag,et al.  New characterizations of input-to-state stability , 1996, IEEE Trans. Autom. Control..

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

[10]  R. Freeman,et al.  Robust Nonlinear Control Design: State-Space and Lyapunov Techniques , 1996 .

[11]  Eduardo Sontag.  Comments on integral variants of ISS , 1998 .

[12]  Alberto Isidori,et al.  Nonlinear Control Systems II , 1999 .

[13]  S. Sastry.  Nonlinear Systems: Analysis, Stability, and Control , 1999 .

[14]  Eduardo D. Sontag,et al.  The ISS philosophy as a unifying framework for stability-like behavior , 2001 .

[15]  Alessandro Astolfi,et al.  A tight small gain theorem for not necessarily ISS systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[16]  Hiroshi Ito,et al.  State-Dependent Scaling Problems and Stability of Interconnected iISS and ISS Systems , 2006, IEEE Transactions on Automatic Control.

[17]  Eduardo Sontag.  Input to State Stability: Basic Concepts and Results , 2008 .

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

[19]  Christophe Prieur,et al.  Uniting Two Control Lyapunov Functions for Affine Systems , 2008, IEEE Transactions on Automatic Control.

[20]  Dragan Nesic,et al.  Small-gain theorems of LaSalle type for hybrid systems , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[21]  Alessandro Astolfi,et al.  A weak version of the small-gain theorem , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[22]  Hiroshi Ito,et al.  Strong iISS: Combination of iISS and ISS with respect to small inputs , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).