Input-to-state stability

Last updated

Input-to-state stability (ISS) [1] [2] [3] [4] [5] [6] is a stability notion widely used to study stability of nonlinear control systems with external inputs. Roughly speaking, a control system is ISS if it is globally asymptotically stable in the absence of external inputs and if its trajectories are bounded by a function of the size of the input for all sufficiently large times. The importance of ISS is due to the fact that the concept has bridged the gap between input–output and state-space methods, widely used within the control systems community.

Contents

ISS unified the Lyapunov and input-output stability theories and revolutionized our view on stabilization of nonlinear systems, design of robust nonlinear observers, stability of nonlinear interconnected control systems, nonlinear detectability theory, and supervisory adaptive control. This made ISS the dominating stability paradigm in nonlinear control theory, with such diverse applications as robotics, mechatronics, systems biology, electrical and aerospace engineering, to name a few.

The notion of ISS was introduced for systems described by ordinary differential equations by Eduardo Sontag in 1989. [7]

Since that the concept was successfully used for many other classes of control systems including systems governed by partial differential equations, retarded systems, hybrid systems, etc. [5]

Definition

Consider a time-invariant system of ordinary differential equations of the form

where is a Lebesgue measurable essentially bounded external input and is a Lipschitz continuous function w.r.t. the first argument uniformly w.r.t. the second one. This ensures that there exists a unique absolutely continuous solution of the system ( 1 ).

To define ISS and related properties, we exploit the following classes of comparison functions. We denote by the set of continuous increasing functions with and the set of continuous strictly decreasing functions with . Then we can denote as functions where for all and for all .

System ( 1 ) is called globally asymptotically stable at zero (0-GAS) if the corresponding system with zero input

is globally asymptotically stable, that is there exist so that for all initial values and all times the following estimate is valid for solutions of ( WithoutInputs )

System ( 1 ) is called input-to-state stable (ISS) if there exist functions and so that for all initial values , all admissible inputs and all times the following inequality holds

The function in the above inequality is called the gain.

Clearly, an ISS system is 0-GAS as well as BIBO stable (if we put the output equal to the state of the system). The converse implication is in general not true.

It can be also proved that if , then .

Characterizations of input-to-state stability property

For an understanding of ISS its restatements in terms of other stability properties are of great importance.

System ( 1 ) is called globally stable (GS) if there exist such that , and it holds that

System ( 1 ) satisfies the asymptotic gain (AG) property if there exists : , it holds that

The following statements are equivalent for sufficiently regular right-hand side [8]

1. ( 1 ) is ISS

2. ( 1 ) is GS and has the AG property

3. ( 1 ) is 0-GAS and has the AG property

The proof of this result as well as many other characterizations of ISS can be found in the papers [8] and. [9] Other characterizations of ISS that are valid under very mild restrictions on the regularity of the rhs and are applicable to more general infinite-dimensional systems, have been shown in. [10]

ISS-Lyapunov functions

An important tool for the verification of ISS are ISS-Lyapunov functions.

A smooth function is called an ISS-Lyapunov function for ( 1 ), if , and positive-definite function , such that:

and it holds:

The function is called Lyapunov gain.

If a system ( 1 ) is without inputs (i.e. ), then the last implication reduces to the condition

which tells us that is a "classic" Lyapunov function.

An important result due to E. Sontag and Y. Wang is that a system ( 1 ) is ISS if and only if there exists a smooth ISS-Lyapunov function for it. [9]

Examples

Consider a system

Define a candidate ISS-Lyapunov function by

Choose a Lyapunov gain by

.

Then we obtain that for it holds

This shows that is an ISS-Lyapunov function for a considered system with the Lyapunov gain .

Interconnections of ISS systems

One of the main features of the ISS framework is the possibility to study stability properties of interconnections of input-to-state stable systems.

Consider the system given by

Here , and are Lipschitz continuous in uniformly with respect to the inputs from the -th subsystem.

For the -th subsystem of ( WholeSys ) the definition of an ISS-Lyapunov function can be written as follows.

A smooth function is an ISS-Lyapunov function (ISS-LF) for the -th subsystem of ( WholeSys ), if there exist functions , , , , and a positive-definite function , such that:

and it holds

Cascade interconnections

Cascade interconnections are a special type of interconnection, where the dynamics of the -th subsystem does not depend on the states of the subsystems . Formally, the cascade interconnection can be written as

If all subsystems of the above system are ISS, then the whole cascade interconnection is also ISS. [7] [4]

In contrast to cascades of ISS systems, the cascade interconnection of 0-GAS systems is in general not 0-GAS. The following example illustrates this fact. Consider a system given by

Both subsystems of this system are 0-GAS, but for sufficiently large initial states and for a certain finite time it holds for , i.e. the system ( Ex_GAS ) exhibits finite escape time, and thus is not 0-GAS.

Feedback interconnections

The interconnection structure of subsystems is characterized by the internal Lyapunov gains . The question, whether the interconnection ( WholeSys ) is ISS, depends on the properties of the gain operator defined by

The following small-gain theorem establishes a sufficient condition for ISS of the interconnection of ISS systems. Let be an ISS-Lyapunov function for -th subsystem of ( WholeSys ) with corresponding gains , . If the nonlinear small-gain condition

holds, then the whole interconnection is ISS. [11] [12]

Small-gain condition ( SGC ) holds iff for each cycle in (that is for all , where ) and for all it holds

The small-gain condition in this form is called also cyclic small-gain condition.

Integral ISS (iISS)

System ( 1 ) is called integral input-to-state stable (ISS) if there exist functions and so that for all initial values , all admissible inputs and all times the following inequality holds

In contrast to ISS systems, if a system is integral ISS, its trajectories may be unbounded even for bounded inputs. To see this put for all and take . Then the estimate ( 3 ) takes the form

and the right hand side grows to infinity as .

As in the ISS framework, Lyapunov methods play a central role in iISS theory.

A smooth function is called an iISS-Lyapunov function for ( 1 ), if , and positive-definite function , such that:

and it holds:

An important result due to D. Angeli, E. Sontag and Y. Wang is that system ( 1 ) is integral ISS if and only if there exists an iISS-Lyapunov function for it.

Note that in the formula above is assumed to be only positive definite. It can be easily proved, [13] that if is an iISS-Lyapunov function with , then is actually an ISS-Lyapunov function for a system ( 1 ).

This shows in particular, that every ISS system is integral ISS. The converse implication is not true, as the following example shows. Consider the system

This system is not ISS, since for large enough inputs the trajectories are unbounded. However, it is integral ISS with an iISS-Lyapunov function defined by

Local ISS (LISS)

An important role are also played by local versions of the ISS property. A system ( 1 ) is called locally ISS (LISS) if there exist a constant and functions

and so that for all , all admissible inputs and all times it holds that

An interesting observation is that 0-GAS implies LISS. [14]

Other stability notions

Many other related to ISS stability notions have been introduced: incremental ISS, input-to-state dynamical stability (ISDS), [15] input-to-state practical stability (ISpS), input-to-output stability (IOS) [16] etc.

ISS of time-delay systems

Consider the time-invariant time-delay system

Here is the state of the system ( TDS ) at time , and satisfies certain assumptions to guarantee existence and uniqueness of solutions of the system ( TDS ).

System ( TDS ) is ISS if and only if there exist functions and such that for every , every admissible input and for all , it holds that

In the ISS theory for time-delay systems two different Lyapunov-type sufficient conditions have been proposed: via ISS Lyapunov-Razumikhin functions [17] and by ISS Lyapunov-Krasovskii functionals. [18] For converse Lyapunov theorems for time-delay systems see. [19]

ISS of other classes of systems

Input-to-state stability of the systems based on time-invariant ordinary differential equations is a quite developed theory, see a recent monograph. [6] However, ISS theory of other classes of systems is also being investigated for time-variant ODE systems [20] and hybrid systems. [21] [22] In the last time also certain generalizations of ISS concepts to infinite-dimensional systems have been proposed. [23] [24] [3] [25]

Seminars and online resources on ISS

1. Online Seminar: Input-to-State Stability and its Applications

2. YouTube Channel on ISS

Related Research Articles

In mathematics, the tangent space of a manifold is a generalization of tangent lines to curves in two-dimensional space and tangent planes to surfaces in three-dimensional space in higher dimensions. In the context of physics the tangent space to a manifold at a point can be viewed as the space of possible velocities for a particle moving on the manifold.

In quantum chemistry and molecular physics, the Born–Oppenheimer (BO) approximation is the best-known mathematical approximation in molecular dynamics. Specifically, it is the assumption that the wave functions of atomic nuclei and electrons in a molecule can be treated separately, based on the fact that the nuclei are much heavier than the electrons. Due to the larger relative mass of a nucleus compared to an electron, the coordinates of the nuclei in a system are approximated as fixed, while the coordinates of the electrons are dynamic. The approach is named after Max Born and his 23-year-old graduate student J. Robert Oppenheimer, the latter of whom proposed it in 1927 during a period of intense fervent in the development of quantum mechanics.

In complex analysis, a branch of mathematics, analytic continuation is a technique to extend the domain of definition of a given analytic function. Analytic continuation often succeeds in defining further values of a function, for example in a new region where the infinite series representation which initially defined the function becomes divergent.

<span class="mw-page-title-main">Chi-squared distribution</span> Probability distribution and special case of gamma distribution

In probability theory and statistics, the chi-squared distribution with degrees of freedom is the distribution of a sum of the squares of independent standard normal random variables.

In physics, charge conjugation is a transformation that switches all particles with their corresponding antiparticles, thus changing the sign of all charges: not only electric charge but also the charges relevant to other forces. The term C-symmetry is an abbreviation of the phrase "charge conjugation symmetry", and is used in discussions of the symmetry of physical laws under charge-conjugation. Other important discrete symmetries are P-symmetry (parity) and T-symmetry.

Various types of stability may be discussed for the solutions of differential equations or difference equations describing dynamical systems. The most important type is that concerning the stability of solutions near to a point of equilibrium. This may be discussed by the theory of Aleksandr Lyapunov. In simple terms, if the solutions that start out near an equilibrium point stay near forever, then is Lyapunov stable. More strongly, if is Lyapunov stable and all solutions that start out near converge to , then is said to be asymptotically stable. The notion of exponential stability guarantees a minimal rate of decay, i.e., an estimate of how quickly the solutions converge. The idea of Lyapunov stability can be extended to infinite-dimensional manifolds, where it is known as structural stability, which concerns the behavior of different but "nearby" solutions to differential equations. Input-to-state stability (ISS) applies Lyapunov notions to systems with inputs.

Differential geometry of curves is the branch of geometry that deals with smooth curves in the plane and the Euclidean space by methods of differential and integral calculus.

In mathematics, particularly in operator theory and C*-algebra theory, the continuous functional calculus is a functional calculus which allows the application of a continuous function to normal elements of a C*-algebra.

In theoretical physics, the Wess–Zumino model has become the first known example of an interacting four-dimensional quantum field theory with linearly realised supersymmetry. In 1974, Julius Wess and Bruno Zumino studied, using modern terminology, dynamics of a single chiral superfield whose cubic superpotential leads to a renormalizable theory. It is a special case of 4D N = 1 global supersymmetry.

<span class="mw-page-title-main">ARGUS distribution</span>

In physics, the ARGUS distribution, named after the particle physics experiment ARGUS, is the probability distribution of the reconstructed invariant mass of a decayed particle candidate in continuum background.

In applied mathematics, comparison functions are several classes of continuous functions, which are used in stability theory to characterize the stability properties of control systems as Lyapunov stability, uniform asymptotic stability etc.

In mathematics and economics, transportation theory or transport theory is a name given to the study of optimal transportation and allocation of resources. The problem was formalized by the French mathematician Gaspard Monge in 1781.

In a field of mathematics known as differential geometry, a Courant geometry was originally introduced by Zhang-Ju Liu, Alan Weinstein and Ping Xu in their investigation of doubles of Lie bialgebroids in 1997. Liu, Weinstein and Xu named it after Courant, who had implicitly devised earlier in 1990 the standard prototype of Courant algebroid through his discovery of a skew symmetric bracket on , called Courant bracket today, which fails to satisfy the Jacobi identity. Both this standard example and the double of a Lie bialgebra are special instances of Courant algebroids.

In mathematics, a cardinal function is a function that returns cardinal numbers.

In cryptography, learning with errors (LWE) is a mathematical problem that is widely used to create secure encryption algorithms. It is based on the idea of representing secret information as a set of equations with errors. In other words, LWE is a way to hide the value of a secret by introducing noise to it. In more technical terms, it refers to the computational problem of inferring a linear -ary function over a finite ring from given samples some of which may be erroneous. The LWE problem is conjectured to be hard to solve, and thus to be useful in cryptography.

Overcompleteness is a concept from linear algebra that is widely used in mathematics, computer science, engineering, and statistics. It was introduced by R. J. Duffin and A. C. Schaeffer in 1952.

In mathematics and physics, Lieb–Thirring inequalities provide an upper bound on the sums of powers of the negative eigenvalues of a Schrödinger operator in terms of integrals of the potential. They are named after E. H. Lieb and W. E. Thirring.

In representation theory of mathematics, the Waldspurger formula relates the special values of two L-functions of two related admissible irreducible representations. Let k be the base field, f be an automorphic form over k, π be the representation associated via the Jacquet–Langlands correspondence with f. Goro Shimura (1976) proved this formula, when and f is a cusp form; Günter Harder made the same discovery at the same time in an unpublished paper. Marie-France Vignéras (1980) proved this formula, when and f is a newform. Jean-Loup Waldspurger, for whom the formula is named, reproved and generalized the result of Vignéras in 1985 via a totally different method which was widely used thereafter by mathematicians to prove similar formulas.

In model checking, a field of computer science, timed propositional temporal logic (TPTL) is an extension of propositional linear temporal logic (LTL) in which variables are introduced to measure times between two events. For example, while LTL allows to state that each event p is eventually followed by an event q, TPTL furthermore allows to give a time limit for q to occur.

In supersymmetry, 4D supergravity is the theory of supergravity in four dimensions with a single supercharge. It contains exactly one supergravity multiplet, consisting of a graviton and a gravitino, but can also have an arbitrary number of chiral and vector supermultiplets, with supersymmetry imposing stringent constraints on how these can interact. The theory is primarily determined by three functions, those being the Kähler potential, the superpotential, and the gauge kinetic matrix. Many of its properties are strongly linked to the geometry associated to the scalar fields in the chiral multiplets. After the simplest form of this supergravity was first discovered, a theory involving only the supergravity multiplet, the following years saw an effort to incorporate different matter multiplets, with the general action being derived in 1982 by Eugène Cremmer, Sergio Ferrara, Luciano Girardello, and Antonie Van Proeyen.

References

  1. Eduardo D. Sontag. Mathematical Control Theory: Finite-Dimensional Systems. Springer-Verlag, London, 1998
  2. Hassan K. Khalil. Nonlinear Systems. Prentice Hall, 2002.
  3. 1 2 Iasson Karafyllis and Zhong-Ping Jiang. Stability and stabilization of nonlinear systems. Communications and Control Engineering Series. Springer-Verlag London Ltd., London, 2011.
  4. 1 2 Eduardo D. Sontag. Input to state stability: basic concepts and results. In Nonlinear and optimal control theory, volume 1932 of Lecture Notes in Math., pages 163–220, Berlin, 2008. Springer
  5. 1 2 A. Mironchenko, Ch. Prieur. Input-to-state stability of infinite-dimensional systems: recent results and open questions. SIAM Review, 62(3):529–614, 2020.
  6. 1 2 Input-to-State Stability. Communications and Control Engineering. 2023. doi:10.1007/978-3-031-14674-9. ISBN   978-3-031-14673-2.
  7. 1 2 Eduardo D. Sontag. Smooth stabilization implies coprime factorization. IEEE Trans. Autom. Control, 34(4):435–443, 1989.
  8. 1 2 Eduardo D. Sontag and Yuan Wang. New characterizations of input-to-state stability. IEEE Trans. Autom. Control, 41(9):1283–1294, 1996.
  9. 1 2 Eduardo D. Sontag and Yuan Wang. On characterizations of the input-to-state stability property Archived 2013-07-03 at the Wayback Machine . Systems Control Lett., 24(5):351–359, 1995.
  10. Andrii Mironchenko and Fabian Wirth. Characterizations of input-to-state stability for infinite-dimensional systems. IEEE Trans. Autom. Control, 63(6): 1602-1617, 2018.
  11. Zhong-Ping Jiang, Iven M. Y. Mareels, and Yuan Wang. A Lyapunov formulation of the nonlinear small-gain theorem for interconnected ISS systems. Automatica J. IFAC, 32(8):1211–1215, 1996.
  12. Sergey Dashkovskiy, Björn S. Rüffer, and Fabian R. Wirth. An ISS Lyapunov function for networks of ISS systems. In Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems (MTNS), Kyoto, Japan, July 24–28, 2006, pages 77–82, 2006
  13. See Remark 2.4. in Eduardo D. Sontag and Yuan Wang. On characterizations of the input-to-state stability property. Systems Control Lett., 24(5):351–359, 1995
  14. Lemma I.1, p.1285 in Eduardo D. Sontag and Yuan Wang. New characterizations of input-to-state stability. IEEE Trans. Autom. Control, 41(9):1283–1294, 1996
  15. Lars Grüne. Input-to-state dynamical stability and its Lyapunov function characterization. IEEE Trans. Autom. Control, 47(9):1499–1504, 2002.
  16. Z.-P. Jiang, A. R. Teel, and L. Praly. Small-gain theorem for ISS systems and applications. Math. Control Signals Systems, 7(2):95–120, 1994.
  17. Andrew R. Teel. Connections between Razumikhin-type theorems and the ISS nonlinear small gain theorem. IEEE Trans. Autom. Control, 43(7):960–964, 1998.
  18. P. Pepe and Z.-P. Jiang. A Lyapunov-Krasovskii methodology for ISS and iISS of time-delay systems. Systems Control Lett., 55(12):1006–1014, 2006.
  19. Iasson Karafyllis. Lyapunov theorems for systems described by retarded functional differential equations. Nonlinear Analysis: Theory, Methods & Applications, 64(3):590 – 617, 2006.
  20. Yuandan Lin, Yuan Wang, and Daizhan Cheng. On nonuniform and semi-uniform input-to-state stability for time-varying systems. In IFAC World Congress, Prague, 2005.
  21. Chaohong Cai and Andrew R. Teel. Characterizations of input-to-state stability for hybrid systems. Systems & Control Letters, 58(1):47–53, 2009.
  22. D. Nesic and A.R. Teel. A Lyapunov-based small-gain theorem for hybrid ISS systems. In Proceedings of the 47th IEEE Conference on Decision and Control, Cancun, Mexico, Dec. 9-11, 2008, pages 3380–3385, 2008.
  23. Bayu Jayawardhana, Hartmut Logemann, and Eugene P. Ryan. Infinite-dimensional feedback systems: the circle criterion and input-to-state stability. Commun. Inf. Syst., 8(4):413–414, 2008.
  24. Dashkovskiy, Sergey; Mironchenko, Andrii (2013). "Input-to-state stability of infinite-dimensional control systems". Mathematics of Control, Signals, and Systems. 25: 1–35. doi:10.1007/s00498-012-0090-2.
  25. F. Mazenc and C. Prieur. Strict Lyapunov functions for semilinear parabolic partial differential equations. Mathematical Control and Related Fields, 1:231–250, June 2011.