An intuitive modification of max-separable Lyapunov functions to cover non-ISS systems

Abstract This paper proposes a new approach to the problem of establishing internal and external stability of interconnection of integral input-to-state stable (iISS) systems. In the literature of iISS and input-to-state stability (ISS), typical Lyapunov functions constructed for interconnected systems are in max-separable or sum-separable from. In contrast to the max construction, solutions to the sum construction have not been given intuitive geometrical interpretations. The max construction is, however, incapable of guaranteeing stability in the presence of iISS components which are not ISS. This paper aims at constructing a Lyapunov function in the non-ISS case through simple geometrical observations. The approach leads to a novel construction mixing the max and sum separability. The new Lyapunov function gives much useful forward invariant sets than the sum-separable ones known in the literature. It is as intuitive as the max-separable function even in the presence of a non-ISS component.

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

[3]  Hiroshi Ito,et al.  A small-gain-type improved criterion via preservation of iISS/ISS dissipation inequalities , 2017, 2017 American Control Conference (ACC).

[4]  David Angeli,et al.  A characterization of integral input-to-state stability , 2000, IEEE Trans. Autom. Control..

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

[6]  Hiroshi Ito,et al.  Capability and limitation of max- and sum-type construction of Lyapunov functions for networks of iISS systems , 2012, Autom..

[7]  Hiroshi Ito,et al.  Combining iISS and ISS With Respect to Small Inputs: The Strong iISS Property , 2014, IEEE Transactions on Automatic Control.

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

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

[10]  Hiroshi Ito,et al.  On a small gain theorem for ISS networks in dissipative Lyapunov form , 2009, 2009 European Control Conference (ECC).

[11]  A. Michel.  On the status of stability of interconnected systems , 1983 .

[12]  L. Grüne.  Asymptotic Behavior of Dynamical and Control Systems under Perturbation and Discretization , 2002 .

[13]  Samuel Coogan,et al.  Separability of Lyapunov functions for contractive monotone systems , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[14]  Hiroshi Ito,et al.  Computing asymptotic gains of large-scale interconnections , 2010, 49th IEEE Conference on Decision and Control (CDC).

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

[16]  Andrey Polyakov,et al.  Finite-time and fixed-time stabilization: Implicit Lyapunov function approach , 2015, Autom..

[17]  Randy A. Freeman,et al.  REVISITING THE IISS SMALL-GAIN THEOREM THROUGH TRANSIENT PLUS ISS SMALL-GAIN REGULATION , 2013 .

[18]  Zhong-Ping Jiang,et al.  A new small‐gain theorem with an application to the stabilization of the chemostat , 2012 .

[19]  Zhong-Ping Jiang,et al.  Robust Stability of Networks of iISS Systems: Construction of Sum-Type Lyapunov Functions , 2013, IEEE Transactions on Automatic Control.

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

[21]  Hiroshi Ito.  An Implicit Function Approach to Lyapunov functions for Interconnections Containing Non-ISS Components , 2018 .

[22]  David Angeli,et al.  Monotone control systems , 2003, IEEE Trans. Autom. Control..

[23]  Hiroshi Ito.  Lyapunov Functions to Avoid Squashed Sublevel Sets for Interconnections Containing Non-ISS Components * , 2017 .

[24]  Björn Rüffer,et al.  Connection between cooperative positive systems and integral input-to-state stability of large-scale systems , 2010, Autom..

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

[26]  Hiroshi Ito,et al.  A Lyapunov Approach to Cascade Interconnection of Integral Input-to-State Stable Systems , 2010, IEEE Transactions on Automatic Control.

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