Applications of the general Lyapunov ISS small-gain theorem for networks

In the framework of the ISS Lyapunov formulation a small gain theorem has recently been proved which allows the explicit construction of Lyapunov functions for interconnected systems. In this note we recall the definitions of ISS Lyapunov functions and the corresponding general small gain theorems. These are then exemplarily used to prove input-to-state stability of and to construct ISS Lyapunov functions for four areas of applications: linear systems, a Cohen-Grossberg neuronal network, error dynamics in formation control, as well as nonlinear transistor-linear resistor circuits.

[1]  I. Sandberg.  Some theorems on the dynamic response of nonlinear transistor networks , 1969 .

[2]  A. Michel,et al.  Lyapunov stability of interconnected systems: Decomposition into strongly connected subsystems , 1978 .

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

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

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

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

[7]  Yu. S. Ledyaev,et al.  Nonsmooth analysis and control theory , 1998 .

[8]  Francis Clarke,et al.  Nonsmooth Analysis in Control Theory: A Survey , 2001, Eur. J. Control.

[9]  Lin Wang,et al.  Exponential stability of Cohen-Grossberg neural networks , 2002, Neural Networks.

[10]  Vijay Kumar,et al.  Leader-to-formation stability , 2004, IEEE Transactions on Robotics and Automation.

[11]  Björn S. Rüffer,et al.  A small-gain type stability criterion for large scale networks of ISS systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[12]  Diederich Hinrichsen,et al.  Interconnected Systems with Uncertain Couplings: Explicit Formulae for mu-Values, Spectral Value Sets, and Stability Radii , 2006, SIAM J. Control. Optim..

[13]  Sergey Dashkovskiy,et al.  A LYAPUNOV ISS SMALL-GAIN THEOREM FOR STRONGLY CONNECTED NETWORKS , 2007 .

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

[15]  Fabian R. Wirth,et al.  Numerical verification of local input-to-state stability for large networks , 2007, 2007 46th IEEE Conference on Decision and Control.

[16]  Björn S. Rüffer.  Monotone dynamical systems, graphs, and stability of large-scale interconnected systems , 2007 .

[17]  Diederich Hinrichsen,et al.  Composite Systems with Uncertain Couplings of Fixed Structure: Scaled Riccati Equations and the Problem of Quadratic Stability , 2008, SIAM J. Control. Optim..

[18]  Björn S. Rüffer.  Monotone inequalities, dynamical systems, and paths in the positive orthant of Euclidean n-space , 2010 .