-
Robust output stability and input-to-output stability based on output dissipation
Authors:
Antoine Chaillet,
Iasson Karafyllis,
Yuan Wang
Abstract:
LaSalle techniques to ensure the convergence of a given output usually fail at guaranteeing uniform convergence time, which induces robustness issues. Recent works have provided extra conditions under which a Lyapunov function that dissipates in terms of only the output guarantees this uniformity. In this paper, we extend these results to systems with inputs in order to establish either robust sta…
▽ More
LaSalle techniques to ensure the convergence of a given output usually fail at guaranteeing uniform convergence time, which induces robustness issues. Recent works have provided extra conditions under which a Lyapunov function that dissipates in terms of only the output guarantees this uniformity. In this paper, we extend these results to systems with inputs in order to establish either robust stability or input-to-output stability. In addition, we show that a recent relaxation of Barb__lat's lemma is also applicable to systems with inputs. The significance of the proposed results is demonstrated in the context of a recent adaptive control scheme.
△ Less
Submitted 12 June, 2025;
originally announced June 2025.
-
Global Stabilization of Chemostats with Nonzero Mortality and Substrate Dynamics
Authors:
Iasson Karafyllis,
Epiphane Loko,
Miroslav Krstic,
Antoine Chaillet
Abstract:
In "chemostat"-type population models that incorporate substrate (nutrient) dynamics, the dependence of the birth (or growth) rate on the substrate concentration introduces nonlinear coupling that creates a challenge for stabilization that is global, namely, for all positive concentrations of the biomass and nutrients. This challenge for global stabilization has been overcome in the literature usi…
▽ More
In "chemostat"-type population models that incorporate substrate (nutrient) dynamics, the dependence of the birth (or growth) rate on the substrate concentration introduces nonlinear coupling that creates a challenge for stabilization that is global, namely, for all positive concentrations of the biomass and nutrients. This challenge for global stabilization has been overcome in the literature using relatively simple feedback when natural mortality of the biomass is absent. However, under natural mortality, it takes fortified, more complex feedback, outside of the existing nonlinear control design toolbox, to avoid biomass extinction from nutrient-depleted initial conditions. Such fortified feedback, the associated control Laypunov function design, and Lyapunov analysis of global stability are provided in this paper. We achieve global stabilization for two different chemostat models: (i) a lumped model, with two state variables, and (ii) a three-state model derived from an age-structured infinite-dimensional model. The proposed feedback stabilizers are explicit, applicable to both the lumped and the age-structured models, and coincide with simple feedback laws proposed in the literature when the mortality rate is zero. Global stabilization means subject to constraints: all positive biomass and nutrient concentrations are within the region of attraction of the desired equilibrium, and, additionally, this is achieved with a dilution input that is guaranteed to remain positive. For the lumped case with Haldane kinetics, we show that the reproduction rate dominating the mortality (excluding the reproduction and mortality being in balance) is not only sufficient but also necessary for global stabilization. The obtained results are illustrated with simple examples.
△ Less
Submitted 13 February, 2025;
originally announced February 2025.
-
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.
-
For time-invariant delay systems, global asymptotic stability does not imply uniform global attractivity
Authors:
Antoine Chaillet,
Fabian Wirth,
Andrii Mironchenko,
Lucas Brivadis
Abstract:
Adapting a counterexample recently proposed by J.L. Mancilla-Aguilar and H. Haimovich, we show here that, for time-delay systems, global asymptotic stability does not ensure that solutions converge uniformly to zero over bounded sets of initial states. Hence, the convergence might be arbitrarily slow even if initial states are confined to a bounded set.
Adapting a counterexample recently proposed by J.L. Mancilla-Aguilar and H. Haimovich, we show here that, for time-delay systems, global asymptotic stability does not ensure that solutions converge uniformly to zero over bounded sets of initial states. Hence, the convergence might be arbitrarily slow even if initial states are confined to a bounded set.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Adaptive observer and control of spatiotemporal delayed neural fields
Authors:
Lucas Brivadis,
Antoine Chaillet,
Jean Auriol
Abstract:
An adaptive observer is proposed to estimate the synaptic distribution between neurons asymptotically from the measurement of a part of the neuronal activity and a delayed neural field evolution model. The convergence of the observer is proved under a persistency of excitation condition. Then, the observer is used to derive a feedback law ensuring asymptotic stabilization of the neural fields. Fin…
▽ More
An adaptive observer is proposed to estimate the synaptic distribution between neurons asymptotically from the measurement of a part of the neuronal activity and a delayed neural field evolution model. The convergence of the observer is proved under a persistency of excitation condition. Then, the observer is used to derive a feedback law ensuring asymptotic stabilization of the neural fields. Finally, the feedback law is modified to ensure simultaneously practical stabilization of the neural fields and asymptotic convergence of the observer under additional restrictions on the system. Numerical simulations confirm the relevance of the approach.
△ Less
Submitted 13 March, 2024; v1 submitted 26 May, 2023;
originally announced May 2023.
-
The ISS framework for time-delay systems: a survey
Authors:
Antoine Chaillet,
Iasson Karafyllis,
Pierdomenico Pepe,
Yuan Wang
Abstract:
At the occasion of Eduardo D. Sontag's 70 th birthday, we provide here an overview of the tools available to study input-to-state stability (ISS) and related notions for time-delay systems. After a hopefully pedagogical presentation of the main differences with respect to the finite-dimensional theory, we review basic stability concepts for input-free time-delay systems, as well as instruments to…
▽ More
At the occasion of Eduardo D. Sontag's 70 th birthday, we provide here an overview of the tools available to study input-to-state stability (ISS) and related notions for time-delay systems. After a hopefully pedagogical presentation of the main differences with respect to the finite-dimensional theory, we review basic stability concepts for input-free time-delay systems, as well as instruments to guarantee them in practice, including the Lyapunov-Krasosvkii, Lyapunov-Razumikhin, and Halanay approaches. We then consider the influence of inputs through the notions of ISS, integral ISS, and input-to-output stability and provide both Lyapunov-like and solutions-based characterizations of these properties. We also show how these notions can be helpful for the stability analysis of interconnected systems, whether in cascade or in feedback form. We finally provide a list of questions which remain open until now.
△ Less
Submitted 13 June, 2022;
originally announced June 2022.
-
Growth conditions for global exponential stability and exp-ISS of time-delay systems under point-wise dissipation
Authors:
Iasson Karafyllis,
Pierdomenico Pepe,
Yuan Wang,
Antoine Chaillet
Abstract:
For time-delay systems, it is known that global asymptotic stability is guaranteed by the existence of a Lyapunov-Krasovskii functional that dissipates in a point-wise manner along solutions, namely whose dissipation rate involves only the current value of the solution's norm. So far, the extension of this result to global exponential stability (GES) holds only for systems ruled by a globally Lips…
▽ More
For time-delay systems, it is known that global asymptotic stability is guaranteed by the existence of a Lyapunov-Krasovskii functional that dissipates in a point-wise manner along solutions, namely whose dissipation rate involves only the current value of the solution's norm. So far, the extension of this result to global exponential stability (GES) holds only for systems ruled by a globally Lipschitz vector field and remains largely open for the input-to-state stability (ISS) property. In this paper, we rely on the notion of exponential ISS to extend the class of systems for which GES or ISS can be concluded from a point-wise dissipation. Our results in turn show that these properties still hold in the presence of a sufficiently small additional term involving the whole state history norm. We provide explicit estimates of the tolerable magnitude of this extra term and show through an example how it can be used to assess robustness with respect to modeling uncertainties.
△ Less
Submitted 16 May, 2022;
originally announced May 2022.
-
Online estimation of Hilbert-Schmidt operators and application to kernel reconstruction of neural fields
Authors:
Lucas Brivadis,
Antoine Chaillet,
Jean Auriol
Abstract:
An adaptive observer is designed for online estimation of Hilbert-Schmidt operators from online measurement of the state for some class of nonlinear infinite-dimensional dynamical systems. Convergence is ensured under detectability and persistency of excitation assumptions. The class of systems considered is motivated by an application to kernel reconstruction of neural fields, commonly used to mo…
▽ More
An adaptive observer is designed for online estimation of Hilbert-Schmidt operators from online measurement of the state for some class of nonlinear infinite-dimensional dynamical systems. Convergence is ensured under detectability and persistency of excitation assumptions. The class of systems considered is motivated by an application to kernel reconstruction of neural fields, commonly used to model spatiotemporal activity of neuronal populations. Numerical simulations confirm the relevance of the approach.
△ Less
Submitted 7 October, 2022; v1 submitted 6 May, 2022;
originally announced May 2022.
-
Existence of an equilibrium for delayed neural fields under output proportional feedback
Authors:
Lucas Brivadis,
Cyprien Tamekue,
Antoine Chaillet,
Jean Auriol
Abstract:
Recently, [2] proved that the closed-loop system resulting from the output proportional feedback stabilization of a class of delayed neural fields is input-to-state stable (ISS) for sufficiently high gain, subject to the existence of an equilibrium point for the closed-loop system. In the present paper, we show that a sufficient condition for such an equilibrium to exist is that the activation fun…
▽ More
Recently, [2] proved that the closed-loop system resulting from the output proportional feedback stabilization of a class of delayed neural fields is input-to-state stable (ISS) for sufficiently high gain, subject to the existence of an equilibrium point for the closed-loop system. In the present paper, we show that a sufficient condition for such an equilibrium to exist is that the activation functions are bounded.
△ Less
Submitted 6 January, 2023; v1 submitted 28 February, 2022;
originally announced February 2022.
-
Is Global Asymptotic Stability Necessarily Uniform for Time-Delay Systems?
Authors:
Iasson Karafyllis,
Pierdomenico Pepe,
Antoine Chaillet,
Yuan Wang
Abstract:
For time-invariant finite-dimensional systems, it is known that global asymptotic stability (GAS) is equivalent to uniform global asymptotic stability (UGAS), in which the decay rate and transient overshoot of solutions are requested to be uniform on bounded sets of initial states. This paper investigates this relationship for time-invariant delay systems. We show that UGAS and GAS are equivalent…
▽ More
For time-invariant finite-dimensional systems, it is known that global asymptotic stability (GAS) is equivalent to uniform global asymptotic stability (UGAS), in which the decay rate and transient overshoot of solutions are requested to be uniform on bounded sets of initial states. This paper investigates this relationship for time-invariant delay systems. We show that UGAS and GAS are equivalent for this class of systems under the assumption of robust forward completeness, i.e. under the assumption that the reachable set from any bounded set of initial states on any finite time horizon is bounded. We also show that, if the state space is a space in a particular family of Sobolev or Holder spaces, then GAS is equivalent to UGAS and that robust forward completeness holds. Based on these equivalences, we provide a novel Lyapunov characterization of GAS (and UGAS) in the aforementioned spaces.
△ Less
Submitted 16 March, 2022; v1 submitted 22 February, 2022;
originally announced February 2022.
-
Lyapunov Conditions for Uniform Asymptotic Output Stability and a Relaxation of Barbalat's Lemma
Authors:
Iasson Karafyllis,
Antoine Chaillet
Abstract:
Asymptotic output stability (AOS) is an interesting property when addressing control applications in which not all state variables are requested to converge to the origin. AOS is often established by invoking classical tools such as Barbashin-Krasovskii-LaSalle's invariance principle or Barbalat's lemma. Nevertheless, none of these tools allow to predict whether the output convergence is uniform o…
▽ More
Asymptotic output stability (AOS) is an interesting property when addressing control applications in which not all state variables are requested to converge to the origin. AOS is often established by invoking classical tools such as Barbashin-Krasovskii-LaSalle's invariance principle or Barbalat's lemma. Nevertheless, none of these tools allow to predict whether the output convergence is uniform on bounded sets of initial conditions, which may lead to practical issues related to convergence speed and robustness. The contribution of this paper is twofold. First, we provide a testable sufficient condition under which this uniform convergence holds. Second, we provide an extension of Barbalat's lemma, which relaxes the uniform continuity requirement. Both these results are first stated in a finite-dimensional context and then extended to infinite-dimensional systems. We provide academic examples to illustrate the usefulness of these results and show that they can be invoked to establish uniform AOS for systems under adaptive control.
△ Less
Submitted 14 December, 2020;
originally announced December 2020.
-
Global stabilization of linear systems with bounds on the feedback and its successive derivatives
Authors:
Jonathan Laporte,
Antoine Chaillet,
Yacine Chitour
Abstract:
We address the global stabilization of linear time-invariant (LTI) systems when the magnitude of the control input and its successive time derivatives, up to an order $p\in\mathbb N$, are bounded by prescribed values. We propose a static state feedback that solves this problem for any admissible LTI systems, namely for stabilizable systems whose internal dynamics has no eigenvalue with positive re…
▽ More
We address the global stabilization of linear time-invariant (LTI) systems when the magnitude of the control input and its successive time derivatives, up to an order $p\in\mathbb N$, are bounded by prescribed values. We propose a static state feedback that solves this problem for any admissible LTI systems, namely for stabilizable systems whose internal dynamics has no eigenvalue with positive real part. This generalizes previous work done for single-input chains of integrators and rotating dynamics.
△ Less
Submitted 11 April, 2016;
originally announced April 2016.
-
Global stabilization of classes of linear control systems with bounds on the feedback and its successive derivatives
Authors:
Jonathan Laporte,
Antoine Chaillet,
Yacine Chitour
Abstract:
In this paper, we address the problem of globally stabilizing a linear time-invariant (LTI) system by means of a static feedback law whose amplitude and successive time derivatives, up to a prescribed order $p$, are bounded by arbitrary prescribed values. We solve this problem for two classes of LTI systems, namely integrator chains and skew-symmetric systems with single input. For the integrator…
▽ More
In this paper, we address the problem of globally stabilizing a linear time-invariant (LTI) system by means of a static feedback law whose amplitude and successive time derivatives, up to a prescribed order $p$, are bounded by arbitrary prescribed values. We solve this problem for two classes of LTI systems, namely integrator chains and skew-symmetric systems with single input. For the integrator chains, the solution we propose is based on the nested saturations introduced by A.R. Teel. We show that this construction fails for skew-symmetric systems and propose an alternative feedback law. We illustrate these findings by the stabilization of the third order integrator with prescribed bounds on the feedback and its first two derivatives, and similarly for the harmonic oscillator with prescribed bounds on the feedback and its first derivative.
△ Less
Submitted 1 July, 2015;
originally announced July 2015.
-
Global stabilization of multiple integrators by a bounded feedback with constraints on its successive derivatives
Authors:
Jonathan Laporte,
Antoine Chaillet,
Yacine Chitour
Abstract:
In this paper, we address the global stabilization of chains of integrators by means of a bounded static feedback law whose p first time derivatives are bounded. Our construction is based on the technique of nested saturations introduced by Teel. We show that the control amplitude and the maximum value of its p first derivatives can be imposed below any prescribed values. Our results are illustrat…
▽ More
In this paper, we address the global stabilization of chains of integrators by means of a bounded static feedback law whose p first time derivatives are bounded. Our construction is based on the technique of nested saturations introduced by Teel. We show that the control amplitude and the maximum value of its p first derivatives can be imposed below any prescribed values. Our results are illustrated by the stabilization of the third order integrator on the feedback and its first two derivatives.
△ Less
Submitted 21 March, 2015;
originally announced March 2015.
-
Uniform stabilization for linear systems with persistency of excitation. The neutrally stable and the double integrator cases
Authors:
Antoine Chaillet,
Yacine Chitour,
Antonio Loría,
Mario Sigalotti
Abstract:
Consider the controlled system $dx/dt = Ax + α(t)Bu$ where the pair $(A,B)$ is stabilizable and $α(t)$ takes values in $[0,1]$ and is persistently exciting, i.e., there exist two positive constants $μ,T$ such that, for every $t\geq 0$, $\int_t^{t+T}α(s)ds\geq μ$. In particular, when $α(t)$ becomes zero the system dynamics switches to an uncontrollable system. In this paper, we address the follow…
▽ More
Consider the controlled system $dx/dt = Ax + α(t)Bu$ where the pair $(A,B)$ is stabilizable and $α(t)$ takes values in $[0,1]$ and is persistently exciting, i.e., there exist two positive constants $μ,T$ such that, for every $t\geq 0$, $\int_t^{t+T}α(s)ds\geq μ$. In particular, when $α(t)$ becomes zero the system dynamics switches to an uncontrollable system. In this paper, we address the following question: is it possible to find a linear time-invariant state-feedback $u=Kx$, with $K$ only depending on $(A,B)$ and possibly on $μ,T$, which globally asymptotically stabilizes the system? We give a positive answer to this question for two cases: when $A$ is neutrally stable and when the system is the double integrator.
△ Less
Submitted 23 February, 2007;
originally announced February 2007.
-
Uniform semiglobal practical asymptotic stability for non-autonomous cascaded systems and applications
Authors:
A. Chaillet,
A. Loria
Abstract:
It is due to the modularity of the analysis that results for cascaded systems have proved their utility in numerous control applications as well as in the development of general control techniques based on ``adding integrators''. Nevertheless, the standing assumptions in most of the present literature on cascaded systems is that, when decoupled, the subsystems constituting the cascade are unifor…
▽ More
It is due to the modularity of the analysis that results for cascaded systems have proved their utility in numerous control applications as well as in the development of general control techniques based on ``adding integrators''. Nevertheless, the standing assumptions in most of the present literature on cascaded systems is that, when decoupled, the subsystems constituting the cascade are uniformly globally asymptotically stable (UGAS). Hence existing results fail in the more general case when the subsystems are uniformly semiglobally practically asymptotically stable (USPAS). This situation is often encountered in control practice, e.g., in control of physical systems with external perturbations, measurement noise, unmodelled dynamics, etc. This paper generalizes previous results for cascades by establishing that, under a uniform boundedness condition, the cascade of two USPAS systems remains USPAS. An analogous result can be derived for USAS systems in cascade. Furthermore, we show the utility of our results in the PID control of mechanical systems considering the dynamics of the DC motors.
△ Less
Submitted 1 February, 2006; v1 submitted 2 March, 2005;
originally announced March 2005.
