Characterizations of Input-to-State Stability for Infinite-Dimensional Systems

We prove characterizations of input-to-state stability (ISS) for a large class of infinite-dimensional control systems, including some classes of evolution equations over Banach spaces, time-delay systems, ordinary differential equations (ODE), and switched systems. These characterizations generalize well-known criteria of ISS, proved by Sontag and Wang for ODE systems. For the special case of differential equations in Banach spaces, we prove even broader criteria for ISS and apply these results to show that (under some mild restrictions) the existence of a noncoercive ISS Lyapunov functions implies ISS. We introduce the new notion of strong ISS (sISS) that is equivalent to ISS in the ODE case, but is strictly weaker than ISS in the infinite-dimensional setting and prove several criteria for the sISS property. At the same time, we show by means of counterexamples that many characterizations, which are valid in the ODE case, are not true for general infinite-dimensional systems.

[1]  F. Wirth,et al.  Restatements of input-to-state stability in infinite dimensions : what goes wrong ? , 2016 .

[2]  A. Haraux,et al.  An Introduction to Semilinear Evolution Equations , 1999 .

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

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

[5]  Iasson Karafyllis,et al.  ISS with Respect to Boundary Disturbances for 1-D Parabolic PDEs , 2015, IEEE Transactions on Automatic Control.

[6]  T. Frank.  Nonlinear Fokker-Planck Equations: Fundamentals and Applications , 2004 .

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

[8]  Daniel B. Henry.  Geometric Theory of Semilinear Parabolic Equations , 1989 .

[9]  H. Logemann,et al.  The Circle Criterion and Input-to-State Stability , 2011, IEEE Control Systems.

[10]  Irena Lasiecka,et al.  The Strong Stability of a Semigroup Arising from a Coupled Hyperbolic/Parabolic System , 1998 .

[11]  Fabian R. Wirth,et al.  Lyapunov characterization of input-to-state stability for semilinear control systems over Banach spaces , 2017, Syst. Control. Lett..

[12]  Jonathan R. Partington,et al.  Infinite-Dimensional Input-to-State Stability and Orlicz Spaces , 2016, SIAM J. Control. Optim..

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

[14]  Sergey Dashkovskiy,et al.  Input-to-state stability of interconnected hybrid systems , 2010, Autom..

[15]  Hans Zwart,et al.  Linear Port-Hamiltonian Systems on Infinite-dimensional Spaces , 2012 .

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

[17]  Andrii Mironchenko.  Local input-to-state stability: Characterizations and counterexamples , 2016, Syst. Control. Lett..

[18]  F. Mazenc,et al.  Strict Lyapunov functions for semilinear parabolic partial differential equations , 2011 .

[19]  Hiroshi Ito,et al.  Construction of Lyapunov Functions for Interconnected Parabolic Systems: An iISS Approach , 2014, SIAM J. Control. Optim..

[20]  Fabian R. Wirth,et al.  Input-to-state stability of time-delay systems: Criteria and open problems , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[21]  A. Teel.  Connections between Razumikhin-type theorems and the ISS nonlinear small gain theorem , 1998, IEEE Trans. Autom. Control..

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

[23]  Miroslav Krstic,et al.  Boundary control of the Korteweg-de Vries-Burgers equation: further results on stabilization and well-posedness, with numerical demonstration , 2000, IEEE Trans. Autom. Control..

[24]  Fabian R. Wirth,et al.  Non-coercive Lyapunov functions for infinite-dimensional systems , 2016, Journal of Differential Equations.

[25]  Viorel Barbu,et al.  Nonlinear Differential Equations of Monotone Types in Banach Spaces , 2010 .

[26]  J. Vázquez.  The Porous Medium Equation: Mathematical Theory , 2006 .

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

[28]  Hiroshi Ito,et al.  Characterizations of integral input-to-state stability for bilinear systems in infinite dimensions , 2014, 1406.2458.

[29]  S. Dashkovskiy,et al.  Stability of interconnected impulsive systems with and without time delays, using Lyapunov methods , 2010, 1011.2865.

[30]  Petar V. Kokotovic,et al.  Nonlinear observers: a circle criterion design and robustness analysis , 2001, Autom..

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

[32]  Fabian R. Wirth,et al.  A note on input-to-state stability of linear and bilinear infinite-dimensional systems , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).