-
Input-to-state stability meets small-gain theory
Authors:
Andrii Mironchenko
Abstract:
Input-to-state stability (ISS) unifies global asymptotic stability with respect to variations of initial conditions with robustness with respect to external disturbances. First, we present Lyapunov characterizations for input-to-state stability as well as ISS superpositions theorems showing relations of ISS to other robust stability properties. Next, we present one of the characteristic applicatio…
▽ More
Input-to-state stability (ISS) unifies global asymptotic stability with respect to variations of initial conditions with robustness with respect to external disturbances. First, we present Lyapunov characterizations for input-to-state stability as well as ISS superpositions theorems showing relations of ISS to other robust stability properties. Next, we present one of the characteristic applications of the ISS framework - the design of event-based control schemes for the stabilization of nonlinear systems. In the second half of the paper, we focus on small-gain theorems for stability analysis of finite and infinite networks with input-to-state stable components. First, we present a classical small-gain theorem in terms of trajectories for the feedback interconnection of 2 nonlinear systems. Finally, a recent Lyapunov-based small-gain result for a network with infinitely many ISS components is shown.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
Forward completeness implies bounded reachable sets for time-delay systems on the state space of essentially bounded measurable functions
Authors:
Lucas Brivadis,
Antoine Chaillet,
Andrii Mironchenko,
Fabian Wirth
Abstract:
We consider time-delay systems with a finite number of delays in the state space $L^\infty\times\mathbb{R}^n$. In this framework, we show that forward completeness implies the bounded reachability sets property, while this implication was recently shown by J.L. Mancilla-Aguilar and H. Haimovich to fail in the state space of continuous functions. As a consequence, we show that global asymptotic sta…
▽ More
We consider time-delay systems with a finite number of delays in the state space $L^\infty\times\mathbb{R}^n$. In this framework, we show that forward completeness implies the bounded reachability sets property, while this implication was recently shown by J.L. Mancilla-Aguilar and H. Haimovich to fail in the state space of continuous functions. As a consequence, we show that global asymptotic stability is always uniform in the state space $L^\infty\times\mathbb{R}^n$.
△ Less
Submitted 11 March, 2024;
originally announced March 2024.
-
Coercive quadratic converse ISS Lyapunov theorems for linear analytic systems
Authors:
Andrii Mironchenko,
Felix Schwenninger
Abstract:
We derive converse Lyapunov theorems for input-to-state stability (ISS) of linear infinite-dimensional analytic systems. We show that input-to-state stability of a linear system does not imply existence of a coercive quadratic ISS Lyapunov function, even if the input operator is bounded. If, however, the semigroup is similar to a contraction semigroup on a Hilbert space, then a quadratic ISS Lyapu…
▽ More
We derive converse Lyapunov theorems for input-to-state stability (ISS) of linear infinite-dimensional analytic systems. We show that input-to-state stability of a linear system does not imply existence of a coercive quadratic ISS Lyapunov function, even if the input operator is bounded. If, however, the semigroup is similar to a contraction semigroup on a Hilbert space, then a quadratic ISS Lyapunov function always exists for any input operator that is bounded, or more generally, $p$-admissible with $p<2$. The constructions are semi-explicit and, in the case of self-adjoint generators, coincide with the canonical Lyapunov function being the norm squared. Finally, we construct a family of non-coercive ISS Lyapunov functions for analytic ISS systems under weaker assumptions on $B$.
△ Less
Submitted 27 March, 2023;
originally announced March 2023.
-
A case study of port-Hamiltonian systems with a moving interface
Authors:
Alexander Kilian,
Bernhard Maschke,
Andrii Mironchenko,
Fabian Wirth
Abstract:
We model two systems of two conservation laws defined on complementary spatial intervals and coupled by a moving interface as a single non-autonomous port-Hamiltonian system, and provide sufficient conditions for its Kato-stability. An example shows that these conditions are quite restrictive. The more general question under which conditions an evolution family is generated remains open.
We model two systems of two conservation laws defined on complementary spatial intervals and coupled by a moving interface as a single non-autonomous port-Hamiltonian system, and provide sufficient conditions for its Kato-stability. An example shows that these conditions are quite restrictive. The more general question under which conditions an evolution family is generated remains open.
△ Less
Submitted 12 May, 2023; v1 submitted 7 February, 2023;
originally announced February 2023.
-
Input-to-state stability of distributed parameter systems
Authors:
Andrii Mironchenko
Abstract:
Input-to-state stability (ISS) allows estimating the impact of inputs and initial conditions on both the intermediate values and the asymptotic bound on the solutions. ISS has unified the input-output and Lyapunov stability theories and is a crucial property in the stability theory of control systems as well as for many applications whose dynamics depend on parameters, unknown perturbations, or ot…
▽ More
Input-to-state stability (ISS) allows estimating the impact of inputs and initial conditions on both the intermediate values and the asymptotic bound on the solutions. ISS has unified the input-output and Lyapunov stability theories and is a crucial property in the stability theory of control systems as well as for many applications whose dynamics depend on parameters, unknown perturbations, or other inputs. In this habilitation thesis, we provide a broad picture of infinite-dimensional input-to-state stability theory.
△ Less
Submitted 1 February, 2023;
originally announced February 2023.
-
Infinite-dimensional port-Hamiltonian systems with a stationary interface
Authors:
Alexander Kilian,
Bernhard Maschke,
Andrii Mironchenko,
Fabian Wirth
Abstract:
We consider two systems of two conservation laws that are defined on complementary spatial intervals and coupled by an interface as a single port-Hamiltonian system. In case of a fixed interface position, we characterize the boundary and interface conditions for which the associated port-Hamiltonian operator generates a contraction semigroup. Furthermore, we present sufficient conditions for the e…
▽ More
We consider two systems of two conservation laws that are defined on complementary spatial intervals and coupled by an interface as a single port-Hamiltonian system. In case of a fixed interface position, we characterize the boundary and interface conditions for which the associated port-Hamiltonian operator generates a contraction semigroup. Furthermore, we present sufficient conditions for the exponential stability of the generated $C_0$-semigroup. The results are illustrated by the example of two acoustic waveguides coupled by an interface consisting of some membrane.
△ Less
Submitted 21 January, 2023;
originally announced January 2023.
-
Well-posedness and properties of the flow for semilinear evolution equations
Authors:
Andrii Mironchenko
Abstract:
We derive conditions for well-posedness of semilinear evolution equations with unbounded input operators. Based on this, we provide sufficient conditions for such properties of the flow map as Lipschitz continuity, bounded-implies-continuation property, boundedness of reachability sets, etc. These properties represent a basic toolbox for stability and robustness analysis of semilinear boundary con…
▽ More
We derive conditions for well-posedness of semilinear evolution equations with unbounded input operators. Based on this, we provide sufficient conditions for such properties of the flow map as Lipschitz continuity, bounded-implies-continuation property, boundedness of reachability sets, etc. These properties represent a basic toolbox for stability and robustness analysis of semilinear boundary control systems.
We cover systems governed by general $C_0$-semigroups, and analytic semigroups that may have both boundary and distributed disturbances. We illustrate our findings on an example of a Burgers' equation with nonlinear local dynamics and both distributed and boundary disturbances.
△ Less
Submitted 10 November, 2023; v1 submitted 1 November, 2022;
originally announced November 2022.
-
Stability criteria for positive semigroups on ordered Banach spaces
Authors:
Jochen Glück,
Andrii Mironchenko
Abstract:
We consider generators of positive $C_0$-semigroups and, more generally, resolvent positive operators $A$ on ordered Banach spaces and seek for conditions ensuring the negativity of their spectral bound $s(A)$. Our main result characterizes $s(A) < 0$ in terms of so-called \emph{small-gain conditions} that describe the behaviour of $Ax$ for positive vectors $x$. This is new even in case that the u…
▽ More
We consider generators of positive $C_0$-semigroups and, more generally, resolvent positive operators $A$ on ordered Banach spaces and seek for conditions ensuring the negativity of their spectral bound $s(A)$. Our main result characterizes $s(A) < 0$ in terms of so-called \emph{small-gain conditions} that describe the behaviour of $Ax$ for positive vectors $x$. This is new even in case that the underlying space is an $L^p$-space or a space of continuous functions.
We also demonstrate that it becomes considerably easier to characterize the property $s(A) < 0$ if the cone of the underlying Banach space has non-empty interior or if the essential spectral bound of $A$ is negative. To treat the latter case, we discuss a counterpart of a Krein-Rutman theorem for resolvent positive operators. When $A$ is the generator of a positive $C_0$-semigroup, our results can be interpreted as stability results for the semigroup, and as such, they complement similar results recently proved for the discrete-time case.
In the same vein, we prove a Collatz--Wielandt type formula and a logarithmic formula for the spectral bound of generators of positive semigroups.
△ Less
Submitted 10 June, 2024; v1 submitted 24 October, 2022;
originally announced October 2022.
-
Lyapunov criteria for robust forward completeness of distributed parameter systems
Authors:
Andrii Mironchenko
Abstract:
We show that the robust forward completeness for distributed parameter systems is equivalent to the existence of a corresponding Lyapunov function that increases at most exponentially along the trajectories.
We show that the robust forward completeness for distributed parameter systems is equivalent to the existence of a corresponding Lyapunov function that increases at most exponentially along the trajectories.
△ Less
Submitted 13 August, 2023; v1 submitted 2 August, 2022;
originally announced August 2022.
-
A Lyapunov-based ISS small-gain theorem for infinite networks of nonlinear systems
Authors:
Christoph Kawan,
Andrii Mironchenko,
Majid Zamani
Abstract:
In this paper, we show that an infinite network of input-to-state stable (ISS) subsystems, admitting ISS Lyapunov functions, itself admits an ISS Lyapunov function, provided that the couplings between the subsystems are sufficiently weak. The strength of the couplings is described in terms of the properties of an infinite-dimensional nonlinear positive operator, built from the interconnection gain…
▽ More
In this paper, we show that an infinite network of input-to-state stable (ISS) subsystems, admitting ISS Lyapunov functions, itself admits an ISS Lyapunov function, provided that the couplings between the subsystems are sufficiently weak. The strength of the couplings is described in terms of the properties of an infinite-dimensional nonlinear positive operator, built from the interconnection gains. If this operator induces a uniformly globally asymptotically stable (UGAS) system, a Lyapunov function for the infinite network can be constructed. We analyze necessary and sufficient conditions for UGAS and relate them to small-gain conditions used in the stability analysis of finite networks.
△ Less
Submitted 15 February, 2022; v1 submitted 12 March, 2021;
originally announced March 2021.
-
ISS small-gain criteria for infinite networks with linear gain functions
Authors:
Andrii Mironchenko,
Navid Noroozi,
Christoph Kawan,
Majid Zamani
Abstract:
This paper provides a Lyapunov-based small-gain theorem for input-to-state stability (ISS) of networks composed of infinitely many finite-dimensional systems. We model these networks on infinite-dimensional $\ell_{\infty}$-type spaces. A crucial assumption in our results is that the internal Lyapunov gains, modeling the influence of the subsystems on each other, are linear functions. Moreover, the…
▽ More
This paper provides a Lyapunov-based small-gain theorem for input-to-state stability (ISS) of networks composed of infinitely many finite-dimensional systems. We model these networks on infinite-dimensional $\ell_{\infty}$-type spaces. A crucial assumption in our results is that the internal Lyapunov gains, modeling the influence of the subsystems on each other, are linear functions. Moreover, the gain operator built from the internal gains is assumed to be subadditive and homogeneous, which covers both max-type and sum-type formulations for the ISS Lyapunov functions of the subsystems. As a consequence, the small-gain condition can be formulated in terms of a generalized spectral radius of the gain operator. Through an example, we show that the small-gain condition can easily be checked if the interconnection topology of the network has some kind of symmetry. While our main result provides an ISS Lyapunov function in implication form for the overall network, an ISS Lyapunov function in a dissipative form is constructed under mild extra assumptions.
△ Less
Submitted 12 March, 2021; v1 submitted 11 March, 2021;
originally announced March 2021.
-
A relaxed small-gain theorem for infinite networks
Authors:
Navid Noroozi,
Andrii Mironchenko,
Fabian R. Wirth
Abstract:
Motivated by the scalability problem in large networks, we study stability of a network of infinitely many finite-dimensional subsystems. We develop a so-called relaxed small-gain theorem for input-to-state stability (ISS) with respect to a closed set and show that every exponentially input-to-state stable system necessarily satisfies the proposed small-gain condition. Following our bottom-up appr…
▽ More
Motivated by the scalability problem in large networks, we study stability of a network of infinitely many finite-dimensional subsystems. We develop a so-called relaxed small-gain theorem for input-to-state stability (ISS) with respect to a closed set and show that every exponentially input-to-state stable system necessarily satisfies the proposed small-gain condition. Following our bottom-up approach, we study the well-posedness of the interconnection based on the behavior of the individual subsystems. Finally, we over-approximate large-but-finite networks by infinite networks and show that all the stability properties and the performance indices obtained for the infinite system can be transferred to the original finite one if each subsystem of the infinite network is individually ISS. Interestingly, the size of the truncated network does not need to be known. The effectiveness of our small-gain theorem is verified by application to an urban traffic network.
△ Less
Submitted 21 November, 2020;
originally announced November 2020.
-
Stability criteria for positive linear discrete-time systems
Authors:
Jochen Glück,
Andrii Mironchenko
Abstract:
We prove new characterisations of exponential stability for positive linear discrete-time systems in ordered Banach spaces, in terms of small-gain conditions. Such conditions have played an important role in the finite-dimensional systems theory, but are relatively unexplored in the infinite-dimensional setting, yet.
Our results are applicable to discrete-time systems in ordered Banach spaces th…
▽ More
We prove new characterisations of exponential stability for positive linear discrete-time systems in ordered Banach spaces, in terms of small-gain conditions. Such conditions have played an important role in the finite-dimensional systems theory, but are relatively unexplored in the infinite-dimensional setting, yet.
Our results are applicable to discrete-time systems in ordered Banach spaces that have a normal and generating positive cone. Moreover, we show that our stability criteria can be considerably simplified if the cone has non-empty interior or if the operator under consideration is quasi-compact.
To place our results into context we include an overview of known stability criteria for linear (and not necessarily positive) operators and provide full proofs for several folklore characterizations from this domain.
△ Less
Submitted 16 July, 2021; v1 submitted 4 November, 2020;
originally announced November 2020.
-
Non-uniform ISS small-gain theorem for infinite networks
Authors:
Andrii Mironchenko
Abstract:
We introduce the concept of non-uniform input-to-state stability for networks. It combines the uniform global stability with the uniform attractivity of any subnetwork, while it allows for non-uniform convergence of all components. For an infinite network consisting of input-to-state stable subsystems, that do not necessarily have a uniform KL-bound on the transient behaviour, we show: If the gain…
▽ More
We introduce the concept of non-uniform input-to-state stability for networks. It combines the uniform global stability with the uniform attractivity of any subnetwork, while it allows for non-uniform convergence of all components. For an infinite network consisting of input-to-state stable subsystems, that do not necessarily have a uniform KL-bound on the transient behaviour, we show: If the gain operator satisfies the uniform small-gain condition, then the whole network is non-uniformly input-to-state stable and all its finite subnetworks are input-to-state stable.
△ Less
Submitted 28 July, 2021; v1 submitted 14 July, 2020;
originally announced July 2020.
-
Nonlinear small-gain theorems for input-to-state stability of infinite interconnections
Authors:
Andrii Mironchenko,
Christoph Kawan,
Jochen Glück
Abstract:
We consider infinite heterogeneous networks, consisting of input-to-state stable subsystems of possibly infinite dimension. We show that the network is input-to-state stable, provided that the gain operator satisfies a certain small-gain condition. We show that for finite networks of nonlinear systems this condition is equivalent to the so-called strong small-gain condition of the gain operator (a…
▽ More
We consider infinite heterogeneous networks, consisting of input-to-state stable subsystems of possibly infinite dimension. We show that the network is input-to-state stable, provided that the gain operator satisfies a certain small-gain condition. We show that for finite networks of nonlinear systems this condition is equivalent to the so-called strong small-gain condition of the gain operator (and thus our results extend available results for finite networks), and for infinite networks with a linear gain operator they correspond to the condition that the spectral radius of the gain operator is less than one. We provide efficient criteria for input-to-state stability of infinite networks with linear gains, governed by linear and homogeneous gain operators, respectively.
△ Less
Submitted 28 July, 2021; v1 submitted 11 July, 2020;
originally announced July 2020.
-
Small-gain theorem for stability, cooperative control and distributed observation of infinite networks
Authors:
Navid Noroozi,
Andrii Mironchenko,
Christoph Kawan,
Majid Zamani
Abstract:
Motivated by a paradigm shift towards a hyper-connected world, we develop a computationally tractable small-gain theorem for a network of infinitely many systems, termed as infinite networks. The proposed small-gain theorem addresses exponential input-to-state stability with respect to closed sets, which enables us to analyze diverse stability problems in a unified manner. The small-gain condition…
▽ More
Motivated by a paradigm shift towards a hyper-connected world, we develop a computationally tractable small-gain theorem for a network of infinitely many systems, termed as infinite networks. The proposed small-gain theorem addresses exponential input-to-state stability with respect to closed sets, which enables us to analyze diverse stability problems in a unified manner. The small-gain condition, expressed in terms of the spectral radius of a gain operator collecting all the information about the internal Lyapunov gains, can be numerically computed for a large class of systems in an efficient way. To demonstrate broad applicability of our small-gain theorem, we apply it to the stability analysis of infinite time-varying networks, to consensus in infinite-agent systems, as well as to the design of distributed observers for infinite networks.
△ Less
Submitted 14 February, 2020;
originally announced February 2020.
-
Noncoercive Lyapunov functions for input-to-state stability of infinite-dimensional systems
Authors:
B. Jacob,
A. Mironchenko,
J. R. Partington,
F. Wirth
Abstract:
We consider an abstract class of infinite-dimensional dynamical systems with inputs. For this class, the significance of noncoercive Lyapunov functions is analyzed. It is shown that the existence of such Lyapunov functions implies norm-to-integral input-to-state stability. This property in turn is equivalent to input-to-state stability, if the system satisfies certain mild regularity assumptions.…
▽ More
We consider an abstract class of infinite-dimensional dynamical systems with inputs. For this class, the significance of noncoercive Lyapunov functions is analyzed. It is shown that the existence of such Lyapunov functions implies norm-to-integral input-to-state stability. This property in turn is equivalent to input-to-state stability, if the system satisfies certain mild regularity assumptions. For a particular class of linear systems with unbounded admissible input operators, explicit constructions of noncoercive Lyapunov functions are provided. The theory is applied to a heat equation with Dirichlet boundary conditions.
△ Less
Submitted 17 November, 2022; v1 submitted 4 November, 2019;
originally announced November 2019.
-
A Lyapunov-based small-gain theorem for infinite networks
Authors:
Christoph Kawan,
Andrii Mironchenko,
Abdalla Swikir,
Navid Noroozi,
Majid Zamani
Abstract:
This paper presents a small-gain theorem for networks composed of a countably infinite number of finite-dimensional subsystems. Assuming that each subsystem is exponentially input-to-state stable, we show that if the gain operator, collecting all the information about the internal Lyapunov gains, has a spectral radius less than one, the overall infinite network is exponentially input-to-state stab…
▽ More
This paper presents a small-gain theorem for networks composed of a countably infinite number of finite-dimensional subsystems. Assuming that each subsystem is exponentially input-to-state stable, we show that if the gain operator, collecting all the information about the internal Lyapunov gains, has a spectral radius less than one, the overall infinite network is exponentially input-to-state stable. The effectiveness of our result is illustrated through several examples including nonlinear spatially invariant systems with sector nonlinearities and a road traffic network.
△ Less
Submitted 1 December, 2020; v1 submitted 28 October, 2019;
originally announced October 2019.
-
Input-to-state stability of infinite-dimensional systems: recent results and open questions
Authors:
Andrii Mironchenko,
Christophe Prieur
Abstract:
In a pedagogical but exhaustive manner, this survey reviews the main results on input-to-state stability (ISS) for infinite-dimensional systems. This property allows estimating the impact of inputs and initial conditions on both the intermediate values and the asymptotic bound on the solutions. ISS has unified the input-output and Lyapunov stability theories and is a crucial property in the stabil…
▽ More
In a pedagogical but exhaustive manner, this survey reviews the main results on input-to-state stability (ISS) for infinite-dimensional systems. This property allows estimating the impact of inputs and initial conditions on both the intermediate values and the asymptotic bound on the solutions. ISS has unified the input-output and Lyapunov stability theories and is a crucial property in the stability theory of control systems as well as for many applications whose dynamics depend on parameters, unknown perturbations, or other inputs. In this paper, starting from classic results for nonlinear ordinary differential equations, we motivate the study of ISS property for distributed parameter systems. Then fundamental properties are given, as an ISS superposition theorem and characterizations of (global and local) ISS in terms of Lyapunov functions. We explain in detail the functional-analytic approach to ISS theory of linear systems with unbounded input operators, with special attention devoted to ISS theory of boundary control systems. The Lyapunov method is shown to be very useful for both linear and nonlinear models, including parabolic and hyperbolic partial differential equations. Next, we show the efficiency of the ISS framework to study the stability of large-scale networks, coupled either via the boundary or via the interior of the spatial domain. ISS methodology allows reducing the stability analysis of complex networks, by considering the stability properties of its components and the interconnection structure between the subsystems. An extra section is devoted to ISS theory of time-delay systems with the emphasis on techniques, which are particularly suited for this class of systems. Finally, numerous applications are considered in this survey, where ISS properties play a crucial role in their study. This survey suggests many open problems throughout the paper.
△ Less
Submitted 5 March, 2020; v1 submitted 3 October, 2019;
originally announced October 2019.
-
Local stabilization of an unstable parabolic equation via saturated controls
Authors:
Andrii Mironchenko,
Christophe Prieur,
Fabian Wirth
Abstract:
We derive a saturated feedback control, which locally stabilizes a linear reaction-diffusion equation. In contrast to most other works on this topic, we do not assume the Lyapunov stability of the uncontrolled system and consider general unstable systems. Using Lyapunov methods, we provide estimates for the region of attraction for the closed-loop system, given in terms of linear and bilinear matr…
▽ More
We derive a saturated feedback control, which locally stabilizes a linear reaction-diffusion equation. In contrast to most other works on this topic, we do not assume the Lyapunov stability of the uncontrolled system and consider general unstable systems. Using Lyapunov methods, we provide estimates for the region of attraction for the closed-loop system, given in terms of linear and bilinear matrix inequalities. We show that our results can be used with distributed as well as scalar boundary control, and with different types of saturations. The efficiency of the proposed method is demonstrated by means of numerical simulations.
△ Less
Submitted 5 July, 2020; v1 submitted 26 July, 2019;
originally announced July 2019.
-
Small gain theorems for general networks of heterogeneous infinite-dimensional systems
Authors:
Andrii Mironchenko
Abstract:
We prove a small-gain theorem for interconnections of $n$ nonlinear heterogeneous input-to-state stable (ISS) control systems of a general nature, covering partial, delay and ordinary differential equations. Furthermore, for the same class of control systems, we derive small-gain theorems for asymptotic gain, uniform global stability and weak input-to-state stability properties. We show that our t…
▽ More
We prove a small-gain theorem for interconnections of $n$ nonlinear heterogeneous input-to-state stable (ISS) control systems of a general nature, covering partial, delay and ordinary differential equations. Furthermore, for the same class of control systems, we derive small-gain theorems for asymptotic gain, uniform global stability and weak input-to-state stability properties. We show that our technique is applicable for different formulations of ISS property (summation, maximum, semimaximum) and discuss tightness of achieved small-gain theorems. Finally, we introduce variations of uniform asymptotic gain and uniform limit properties, which are particularly useful for small-gain arguments and characterize ISS in terms of these notions.
△ Less
Submitted 21 January, 2021; v1 submitted 11 January, 2019;
originally announced January 2019.
-
Input-to-State Stability of Nonlinear Parabolic PDEs with Dirichlet Boundary Disturbances
Authors:
Andrii Mironchenko,
Iasson Karafyllis,
Miroslav Krstic
Abstract:
We introduce a monotonicity-based method for studying input-to-state stability (ISS) of nonlinear parabolic equations with boundary inputs. We first show that a monotone control system is ISS if and only if it is ISS w.r.t. constant inputs. Then we show by means of classical maximum principles that nonlinear parabolic equations with boundary disturbances are monotone control systems. With these tw…
▽ More
We introduce a monotonicity-based method for studying input-to-state stability (ISS) of nonlinear parabolic equations with boundary inputs. We first show that a monotone control system is ISS if and only if it is ISS w.r.t. constant inputs. Then we show by means of classical maximum principles that nonlinear parabolic equations with boundary disturbances are monotone control systems. With these two facts, we establish that ISS of the original nonlinear parabolic PDE with constant boundary disturbances is equivalent to ISS of a closely related nonlinear parabolic PDE with constant distributed disturbances and zero boundary condition. The last problem is conceptually much simpler and can be handled by means of various recently developed techniques.
△ Less
Submitted 20 August, 2018;
originally announced August 2018.
-
Existence of non-coercive Lyapunov functions is equivalent to integral uniform global asymptotic stability
Authors:
Andrii Mironchenko,
Fabian Wirth
Abstract:
In this paper, a class of abstract dynamical systems is considered which encompasses a wide range of nonlinear finite- and infinite-dimensional systems. We show that the existence of a non-coercive Lyapunov function without any further requirements on the flow of the forward complete system ensures an integral version of uniform global asymptotic stability. We prove that also the converse statemen…
▽ More
In this paper, a class of abstract dynamical systems is considered which encompasses a wide range of nonlinear finite- and infinite-dimensional systems. We show that the existence of a non-coercive Lyapunov function without any further requirements on the flow of the forward complete system ensures an integral version of uniform global asymptotic stability. We prove that also the converse statement holds without any further requirements on regularity of the system.
Furthermore, we give a characterization of uniform global asymptotic stability in terms of the integral stability properties and analyze which stability properties can be ensured by the existence of a non-coercive Lyapunov function, provided either the flow has a kind of uniform continuity near the equilibrium or the system is robustly forward complete.
△ Less
Submitted 15 June, 2018; v1 submitted 7 June, 2018;
originally announced June 2018.
-
Criteria for input-to-state practical stability
Authors:
Andrii Mironchenko
Abstract:
For a broad class of infinite-dimensional systems, we characterize input-to-state practical stability (ISpS) using the uniform limit property and in terms of input-to-state stability. We specialize our results to the systems with Lipschitz continuous flows and evolution equations in Banach spaces. Even for the special case of ordinary differential equations our results are novel and improve existi…
▽ More
For a broad class of infinite-dimensional systems, we characterize input-to-state practical stability (ISpS) using the uniform limit property and in terms of input-to-state stability. We specialize our results to the systems with Lipschitz continuous flows and evolution equations in Banach spaces. Even for the special case of ordinary differential equations our results are novel and improve existing criteria for ISpS.
△ Less
Submitted 28 October, 2017;
originally announced October 2017.
-
Lyapunov characterization of input-to-state stability for semilinear control systems over Banach spaces
Authors:
Andrii Mironchenko,
Fabian Wirth
Abstract:
We prove that input-to-state stability (ISS) of nonlinear systems over Banach spaces is equivalent to existence of a coercive Lipschitz continuous ISS Lyapunov function for this system. For linear infinite-dimensional systems, we show that ISS is equivalent to existence of a non-coercive ISS Lyapunov function and provide two simpler constructions of coercive and non-coercive ISS Lyapunov functions…
▽ More
We prove that input-to-state stability (ISS) of nonlinear systems over Banach spaces is equivalent to existence of a coercive Lipschitz continuous ISS Lyapunov function for this system. For linear infinite-dimensional systems, we show that ISS is equivalent to existence of a non-coercive ISS Lyapunov function and provide two simpler constructions of coercive and non-coercive ISS Lyapunov functions for input-to-state stable linear systems.
△ Less
Submitted 26 August, 2017;
originally announced August 2017.
-
Monotonicity Methods for Input-to-State Stability of Nonlinear Parabolic PDEs with Boundary Disturbances
Authors:
Andrii Mironchenko,
Iasson Karafyllis,
Miroslav Krstic
Abstract:
We introduce a monotonicity-based method for studying input-to-state stability (ISS) of nonlinear parabolic equations with boundary inputs. We first show that a monotone control system is ISS if and only if it is ISS w.r.t. constant inputs. Then we show by means of classical maximum principles that nonlinear parabolic equations with boundary disturbances are monotone control systems.
With these…
▽ More
We introduce a monotonicity-based method for studying input-to-state stability (ISS) of nonlinear parabolic equations with boundary inputs. We first show that a monotone control system is ISS if and only if it is ISS w.r.t. constant inputs. Then we show by means of classical maximum principles that nonlinear parabolic equations with boundary disturbances are monotone control systems.
With these two facts, we establish that ISS of the original nonlinear parabolic PDE with constant \textit{boundary disturbances} is equivalent to ISS of a closely related nonlinear parabolic PDE with constant \textit{distributed disturbances} and zero boundary condition. The last problem is conceptually much simpler and can be handled by means of various recently developed techniques. As an application of our results, we show that the PDE backstep** controller which stabilizes linear reaction-diffusion equations from the boundary is robust with respect to additive actuator disturbances.
△ Less
Submitted 22 June, 2017;
originally announced June 2017.
-
Uniform weak attractivity and criteria for practical global asymptotic stability
Authors:
Andrii Mironchenko
Abstract:
A subset $A$ of the state space is called uniformly globally weakly attractive if for any neighborhood $S$ of $A$ and any bounded subset $B$ there is a uniform finite time $τ$ so that any trajectory starting in $B$ intersects $S$ within the time not larger than $τ$. We show that practical uniform global asymptotic stability (pUGAS) is equivalent to the existence of a bounded uniformly globally wea…
▽ More
A subset $A$ of the state space is called uniformly globally weakly attractive if for any neighborhood $S$ of $A$ and any bounded subset $B$ there is a uniform finite time $τ$ so that any trajectory starting in $B$ intersects $S$ within the time not larger than $τ$. We show that practical uniform global asymptotic stability (pUGAS) is equivalent to the existence of a bounded uniformly globally weakly attractive set. This result is valid for a wide class of distributed parameter systems, including time-delay systems, switched systems, many classes of PDEs and evolution differential equations in Banach spaces. We apply our results to show that existence of a non-coercive Lyapunov function ensures pUGAS for this class of systems. For ordinary differential equations with uniformly bounded disturbances, the concept of uniform weak attractivity is equivalent to the well-known notion of weak attractivity. It is however essentially stronger than weak attractivity for infinite-dimensional systems, even for linear ones.
△ Less
Submitted 22 June, 2017; v1 submitted 21 February, 2017;
originally announced February 2017.
-
Characterizations of input-to-state stability for infinite-dimensional systems
Authors:
Andrii Mironchenko,
Fabian Wirth
Abstract:
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), switched systems. These characterizations generalize well-known criteria of ISS, proved by Sontag and Wang for ODE systems. For the special case of differe…
▽ More
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), 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 non-coercive ISS Lyapunov functions implies ISS. We introduce the new notion of strong ISS which is equivalent to ISS in the ODE case, but which 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.
△ Less
Submitted 20 September, 2017; v1 submitted 31 January, 2017;
originally announced January 2017.
-
Non-coercive Lyapunov functions for infinite-dimensional systems
Authors:
Andrii Mironchenko,
Fabian R. Wirth
Abstract:
We show that the existence of a non-coercive Lyapunov function is sufficient for uniform global asymptotic stability (UGAS) of infinite-dimensional systems with external disturbances provided the speed of decay is measured in terms of the norm of the state and an additional mild assumption is satisfied. For evolution equations in Banach spaces with Lipschitz continuous nonlinearities these additio…
▽ More
We show that the existence of a non-coercive Lyapunov function is sufficient for uniform global asymptotic stability (UGAS) of infinite-dimensional systems with external disturbances provided the speed of decay is measured in terms of the norm of the state and an additional mild assumption is satisfied. For evolution equations in Banach spaces with Lipschitz continuous nonlinearities these additional assumptions become especially simple. The results encompass some recent results on linear switched systems on Banach spaces. Finally, we derive new non-coercive converse Lyapunov theorems and give some examples showing the necessity of our assumptions.
△ Less
Submitted 20 February, 2017; v1 submitted 20 December, 2016;
originally announced December 2016.
-
Lyapunov small-gain theorems for networks of not necessarily ISS hybrid systems
Authors:
Andrii Mironchenko,
Guosong Yang,
Daniel Liberzon
Abstract:
We prove a novel Lyapunov-based small-gain theorem for networks of $ n \geq 2 $ hybrid systems which are not necessarily input-to-state stable. This result unifies and extends several small-gain theorems for hybrid and impulsive systems proposed in the last few years. We also show how average dwell-time (ADT) clocks and reverse ADT clocks can be used to modify the Lyapunov functions for subsystems…
▽ More
We prove a novel Lyapunov-based small-gain theorem for networks of $ n \geq 2 $ hybrid systems which are not necessarily input-to-state stable. This result unifies and extends several small-gain theorems for hybrid and impulsive systems proposed in the last few years. We also show how average dwell-time (ADT) clocks and reverse ADT clocks can be used to modify the Lyapunov functions for subsystems and to enlarge the applicability of the derived small-gain theorems.
△ Less
Submitted 7 November, 2017; v1 submitted 5 October, 2016;
originally announced October 2016.
-
Construction of Lyapunov functions for interconnected parabolic systems: an iISS approach
Authors:
Andrii Mironchenko,
Hiroshi Ito
Abstract:
This paper is devoted to two issues. One is to provide Lyapunov-based tools to establish integral input-to-state stability (iISS) and input-to-state stability (ISS) for some classes of nonlinear parabolic equations. The other is to provide a stability criterion for interconnections of iISS parabolic systems. The results addressing the former problem allow us to overcome obstacles arising in tackli…
▽ More
This paper is devoted to two issues. One is to provide Lyapunov-based tools to establish integral input-to-state stability (iISS) and input-to-state stability (ISS) for some classes of nonlinear parabolic equations. The other is to provide a stability criterion for interconnections of iISS parabolic systems. The results addressing the former problem allow us to overcome obstacles arising in tackling the latter one. The results for the latter problem are a small-gain condition and a formula of Lyapunov functions which can be constructed for interconnections whenever the small-gain condition holds. It is demonstrated that for interconnections of partial differential equations, the choice of a right state and input spaces is crucial, in particular for iISS subsystems which are not ISS. As illustrative examples, stability of two highly nonlinear reaction-diffusion systems is established by the the proposed small-gain criterion.
△ Less
Submitted 12 October, 2014;
originally announced October 2014.
-
Characterizations of integral input-to-state stability for bilinear systems in infinite dimensions
Authors:
Andrii Mironchenko,
Hiroshi Ito
Abstract:
For bilinear infinite-dimensional dynamical systems, we show the equivalence between uniform global asymptotic stability and integral input-to-state stability. We provide two proofs of this fact. One applies to general systems over Banach spaces. The other is restricted to Hilbert spaces, but is more constructive and results in an explicit form of iISS Lyapunov functions.
For bilinear infinite-dimensional dynamical systems, we show the equivalence between uniform global asymptotic stability and integral input-to-state stability. We provide two proofs of this fact. One applies to general systems over Banach spaces. The other is restricted to Hilbert spaces, but is more constructive and results in an explicit form of iISS Lyapunov functions.
△ Less
Submitted 12 March, 2016; v1 submitted 10 June, 2014;
originally announced June 2014.
-
Input-to-state stability of nonlinear impulsive systems
Authors:
Sergey Dashkovskiy,
Andrii Mironchenko
Abstract:
We prove that impulsive systems, which possess an ISS Lyapunov function, are ISS for time sequences satisfying the fixed dwell-time condition. If an ISS Lyapunov function is the exponential one, we provide a stronger result, which guarantees uniform ISS of the whole system over sequences satisfying the generalized average dwell-time condition. Then we prove two small-gain theorems that provide a c…
▽ More
We prove that impulsive systems, which possess an ISS Lyapunov function, are ISS for time sequences satisfying the fixed dwell-time condition. If an ISS Lyapunov function is the exponential one, we provide a stronger result, which guarantees uniform ISS of the whole system over sequences satisfying the generalized average dwell-time condition. Then we prove two small-gain theorems that provide a construction of an ISS Lyapunov function for an interconnection of impulsive systems, if the ISS-Lyapunov functions for subsystems are known. The construction of local ISS Lyapunov functions via linearization method is provided. Relations between small-gain and dwell-time conditions as well as between different types of dwell-time conditions are also investigated. Although our results are novel already in the context of finite-dimensional systems, we prove them for systems based on differential equations in Banach spaces that makes obtained results considerably more general.
△ Less
Submitted 21 December, 2012;
originally announced December 2012.
-
Dwell-time conditions for robust stability of impulsive systems
Authors:
Sergey Dashkovskiy,
Andrii Mironchenko
Abstract:
We prove that impulsive systems, which possess an ISS Lyapunov function, are ISS for impulse time sequences, which satisfy the fixed dwell-time condition. If the ISS Lyapunov function is the exponential one, we provide stronger result, which guarantees uniform ISS of the whole system over sequences of impulse times, which satisfy the generalized average dwell-time condition.
We prove that impulsive systems, which possess an ISS Lyapunov function, are ISS for impulse time sequences, which satisfy the fixed dwell-time condition. If the ISS Lyapunov function is the exponential one, we provide stronger result, which guarantees uniform ISS of the whole system over sequences of impulse times, which satisfy the generalized average dwell-time condition.
△ Less
Submitted 21 December, 2012; v1 submitted 15 February, 2012;
originally announced February 2012.
-
Input-to-state stability of infinite-dimensional control systems
Authors:
Sergey Dashkovskiy,
Andrii Mironchenko
Abstract:
We develop tools for investigation of input-to-state stability (ISS) of infinite-dimensional control systems. We show that for certain classes of admissible inputs the existence of an ISS-Lyapunov function implies the input-to-state stability of a system. Then for the case of systems described by abstract equations in Banach spaces we develop two methods of construction of local and global ISS-Lya…
▽ More
We develop tools for investigation of input-to-state stability (ISS) of infinite-dimensional control systems. We show that for certain classes of admissible inputs the existence of an ISS-Lyapunov function implies the input-to-state stability of a system. Then for the case of systems described by abstract equations in Banach spaces we develop two methods of construction of local and global ISS-Lyapunov functions. We prove a linearization principle that allows a construction of a local ISS-Lyapunov function for a system which linear approximation is ISS. In order to study interconnections of nonlinear infinite-dimensional systems, we generalize the small-gain theorem to the case of infinite-dimensional systems and provide a way to construct an ISS-Lyapunov function for an entire interconnection, if ISS-Lyapunov functions for subsystems are known and the small-gain condition is satisfied. We illustrate the theory on examples of linear and semilinear reaction-diffusion equations.
△ Less
Submitted 1 September, 2012; v1 submitted 15 February, 2012;
originally announced February 2012.
-
Optimal allocation patterns and optimal seed mass of a perennial plant
Authors:
Andrii Mironchenko,
Jan Kozlowski
Abstract:
We present a novel optimal allocation model for perennial plants, in which assimilates are not allocated directly to vegetative or reproductive parts but instead go first to a storage compartment from where they are then optimally redistributed. We do not restrict considerations purely to periods favourable for photosynthesis, as it was done in published models of perennial species, but analyse th…
▽ More
We present a novel optimal allocation model for perennial plants, in which assimilates are not allocated directly to vegetative or reproductive parts but instead go first to a storage compartment from where they are then optimally redistributed. We do not restrict considerations purely to periods favourable for photosynthesis, as it was done in published models of perennial species, but analyse the whole life period of a perennial plant. As a result, we obtain the general scheme of perennial plant development, for which annual and monocarpic strategies are special cases.
We not only re-derive predictions from several previous optimal allocation models, but also obtain more information about plants' strategies during transitions between favourable and unfavourable seasons. One of the model's predictions is that a plant can begin to re-establish vegetative tissues from storage, some time before the beginning of favourable conditions, which in turn allows for better production potential when conditions become better. By means of numerical examples we show that annual plants with single or multiple reproduction periods, monocarps, evergreen perennials and polycarpic perennials can be studied successfully with the help of our unified model.
Finally, we build a bridge between optimal allocation models and models describing trade-offs between size and the number of seeds: a modelled plant can control the distribution of not only allocated carbohydrates but also seed size. We provide sufficient conditions for the optimality of producing the smallest and largest seeds possible.
△ Less
Submitted 30 September, 2013; v1 submitted 22 March, 2011;
originally announced March 2011.
-
Stability of interconnected impulsive systems with and without time-delays using Lyapunov methods
Authors:
Sergey Dashkovskiy,
Michael Kosmykov,
Andrii Mironchenko,
Lars Naujok
Abstract:
In this paper we consider input-to-state stability (ISS) of impulsive control systems with and without time-delays. We prove that if the time-delay system possesses an exponential Lyapunov-Razumikhin function or an exponential Lyapunov-Krasovskii functional, then the system is uniformly ISS provided that the average dwell-time condition is satisfied. Then, we consider large-scale networks of impul…
▽ More
In this paper we consider input-to-state stability (ISS) of impulsive control systems with and without time-delays. We prove that if the time-delay system possesses an exponential Lyapunov-Razumikhin function or an exponential Lyapunov-Krasovskii functional, then the system is uniformly ISS provided that the average dwell-time condition is satisfied. Then, we consider large-scale networks of impulsive systems with and without time-delays and we prove that the whole network is uniformly ISS under a small-gain and a dwell-time condition. Moreover, these theorems provide us with tools to construct a Lyapunov function (for time-delay systems - a Lyapunov-Krasovskii functional or a Lyapunov-Razumikhin function) and the corresponding gains of the whole system, using the Lyapunov functions of the subsystems and the internal gains, which are linear and satisfy the small-gain condition. We illustrate the application of the main results on examples.
△ Less
Submitted 22 February, 2012; v1 submitted 12 November, 2010;
originally announced November 2010.