-
Systems with both constant and time-varying delays: a switched systems approach and application to observer-controller co-design
Authors:
Thiago Alves Lima,
Matteo Della Rossa,
Frédéric Gouaisbaut,
Raphaël Jungers,
Sophie Tarbouriech
Abstract:
In this paper, we study the application of switched systems stability criteria to derive delay-dependent conditions for systems affected by both a constant and a time-varying delay. The main novelty of our approach lies on the use of path-complete Lyapunov techniques along with the proposition of a new modified functional to obtain convex analysis conditions while avoiding the need of computing a…
▽ More
In this paper, we study the application of switched systems stability criteria to derive delay-dependent conditions for systems affected by both a constant and a time-varying delay. The main novelty of our approach lies on the use of path-complete Lyapunov techniques along with the proposition of a new modified functional to obtain convex analysis conditions while avoiding the need of computing a dwell time for each mode in a switched system representation, as usual in the \textit{switched approach} for time-delay systems. Furthermore, we leverage the developed analysis to obtain LMIs for the closed-loop stabilization of systems with time-varying sensor delays by means of an observer-based compensator. A numerical example illustrates the proposed methods.
△ Less
Submitted 11 September, 2022;
originally announced September 2022.
-
On the necessity of sufficient LMI conditions for time-delay systems arising from Legendre approximation
Authors:
Mathieu Bajodek,
Alexandre Seuret,
Frédéric Gouaisbaut
Abstract:
This work is dedicated to the stability analysis of time-delay systems with a single constant delay using the Lyapunov-Krasovskii theorem. This approach has been widely used in the literature and numerous sufficient conditions of stability have been proposed and expressed as linear matrix inequalities (LMI). The main criticism of the method that is often pointed out is that these LMI conditions ar…
▽ More
This work is dedicated to the stability analysis of time-delay systems with a single constant delay using the Lyapunov-Krasovskii theorem. This approach has been widely used in the literature and numerous sufficient conditions of stability have been proposed and expressed as linear matrix inequalities (LMI). The main criticism of the method that is often pointed out is that these LMI conditions are only sufficient, and there is a lack of information regarding the reduction of the conservatism. Recently, scalable methods have been investigated using Bessel-Legendre inequality or orthogonal polynomial-based inequalities. The interest of these methods relies on their hierarchical structure with a guarantee of reduction of the level of conservatism. However, the convergence is still an open question that will be answered for the first time in this paper. The objective is to prove that the stability of a time-delay system implies the feasibility of these scalable LMI, at a sufficiently large order of the Legendre polynomials. Moreover, the proposed contribution is even able to provide an analytic estimation of this order, giving rise to a necessary and sufficient LMI for the stability of time-delay systems.
△ Less
Submitted 18 July, 2022;
originally announced July 2022.
-
Necessary and sufficient stability condition for time-delay systems arising from Legendre approximation
Authors:
Mathieu Bajodek,
Frédéric Gouaisbaut,
Alexandre Seuret
Abstract:
Recently, sufficient conditions of stability or instability for time-delay systems have been proven to be necessary. In this way, a remarkable necessary and sufficient condition has then been developed by Gomez et al. It is presented as a simple test of positive definiteness of a matrix issued from the Lyapunov matrix. In this paper, an extension of this result is presented. Without going into det…
▽ More
Recently, sufficient conditions of stability or instability for time-delay systems have been proven to be necessary. In this way, a remarkable necessary and sufficient condition has then been developed by Gomez et al. It is presented as a simple test of positive definiteness of a matrix issued from the Lyapunov matrix. In this paper, an extension of this result is presented. Without going into details, the uniform discretization of the state has been replaced by projections on the first Legendre polynomials. Like Gomez et al., based on convergence arguments, the necessity is obtained in finite order, which can be calculated analytically. Compared to them, by relying on the fast convergence rate of Legendre approximation, the required order to ensure stability has been reduced. Thanks to this major modification, as shown in the example section, it is possible the find stable regions for low orders and unstable ones for even smaller orders.
△ Less
Submitted 6 May, 2022;
originally announced May 2022.
-
On sensor quantization in linear control systems: Krasovskii solutions meet semidefinite programming
Authors:
Francesco Ferrante,
Frédéric Gouaisbaut,
Sophie Tarbouriech
Abstract:
Stability and stabilization for linear state feedback control systems in the presence of sensor quantization are studied. As the closed-loop system is described by a discontinuous right-hand side differential equation, Krasovskii solutions (to the closed-loop system) are considered. Sufficient conditions in the form of matrix inequalities are proposed to characterize uniform global asymptotic stab…
▽ More
Stability and stabilization for linear state feedback control systems in the presence of sensor quantization are studied. As the closed-loop system is described by a discontinuous right-hand side differential equation, Krasovskii solutions (to the closed-loop system) are considered. Sufficient conditions in the form of matrix inequalities are proposed to characterize uniform global asymptotic stability of a compact set containing the origin. Such conditions are shown to be always feasible whenever the quantization-free closed-loop system is asymptotically stable. Building on the obtained conditions, computationally affordable algorithms for the solution to the considered problems are illustrated. The effectiveness of the proposed methodology is shown in three examples.
△ Less
Submitted 20 December, 2021;
originally announced December 2021.
-
Lyapunov Stability Analysis of a Mass-Spring system subject to Friction
Authors:
Matthieu Barreau,
Sophie Tarbouriech,
Frederic Gouaisbaut
Abstract:
This paper deals with the stability analysis of a mass-spring system subject to friction using Lyapunov-based arguments. As the described system presents a stick-slip phenomenon, the mass may then periodically sticks to the ground. The objective consists of develo** numerically tractable conditions ensuring the global asymptotic stability of the unique equilibrium point. The proposed approach me…
▽ More
This paper deals with the stability analysis of a mass-spring system subject to friction using Lyapunov-based arguments. As the described system presents a stick-slip phenomenon, the mass may then periodically sticks to the ground. The objective consists of develo** numerically tractable conditions ensuring the global asymptotic stability of the unique equilibrium point. The proposed approach merges two intermediate results: The first one relies on the characterization of an attractor around the origin, to which converges the closed-loop trajectories. The second result assesses the regional asymptotic stability of the equilibrium point by estimating its basin of attraction. The main result relies on conditions allowing to ensure that the attractor issued from the first result is included in the basin of attraction of the origin computed from the second result. An illustrative example draws the interest of the approach.
△ Less
Submitted 8 March, 2021;
originally announced March 2021.
-
Practical Stability Analysis of a Drilling Pipe under Friction with a PI-Controller
Authors:
Matthieu Barreau,
Frédéric Gouaisbaut,
Alexandre Seuret
Abstract:
This paper deals with the exponential stability of a drilling pipe controlled by a PI controller. The model used leads to a coupled ODE / PDE and is consequently of infinite dimension. Using recent advances in time-delay systems, we derive a new Lyapunov functional based on an state extension made up of projections of the Riemann coordinates. Two cases will be considered. First, we will provide an…
▽ More
This paper deals with the exponential stability of a drilling pipe controlled by a PI controller. The model used leads to a coupled ODE / PDE and is consequently of infinite dimension. Using recent advances in time-delay systems, we derive a new Lyapunov functional based on an state extension made up of projections of the Riemann coordinates. Two cases will be considered. First, we will provide an exponential stability result expressed using the LMI framework. This result is dedicated to a linear version of the torsional dynamic. On a second hand, the nonlinear terms in the initial model, that generates the well-known stick-slip phenomenon is captured through a new stability theorem. Numerical simulations show the effectiveness of the method and that the stick-slip oscillations cannot be weaken using a PI controller.
△ Less
Submitted 13 March, 2020; v1 submitted 24 April, 2019;
originally announced April 2019.
-
Stabilization of an unstable wave equation using an infinite dimensional dynamic controller
Authors:
Matthieu Barreau,
Frédéric Gouaisbaut,
Alexandre Seuret
Abstract:
This paper deals with the stabilization of an anti-stable string equation with Dirichlet actuation where the instability appears because of the uncontrolled boundary condition. Then, infinitely many unstable poles are generated and an infinite dimensional control law is therefore proposed to exponentially stabilize the system. The idea behind the choice of the controller is to extend the domain of…
▽ More
This paper deals with the stabilization of an anti-stable string equation with Dirichlet actuation where the instability appears because of the uncontrolled boundary condition. Then, infinitely many unstable poles are generated and an infinite dimensional control law is therefore proposed to exponentially stabilize the system. The idea behind the choice of the controller is to extend the domain of the PDE so that the anti-dam** term is compensated by a dam** at the other boundary condition. Additionally, notice that the system can then be exponentially stabilized with a chosen decay-rate and is robust to uncertainties on the wave speed and the anti-damped coefficient of the wave equation, with the only use of a point-wise boundary measurement. The efficiency of this new control strategy is then compared to the backstep** approach.
△ Less
Submitted 19 September, 2018; v1 submitted 24 July, 2018;
originally announced July 2018.
-
Exponential Lyapunov Stability Analysis of a Drilling Mechanism
Authors:
Matthieu Barreau,
Alexandre Seuret,
Frédéric Gouaisbaut
Abstract:
This article deals with the stability analysis of a drilling system which is modelled as a coupled ordinary differential equation / string equation. The string is damped at the two boundaries but leading to a stable open-loop system. The aim is to derive a linear matrix inequality ensuring the exponential stability with a guaranteed decay-rate of this interconnected system. A strictly proper dynam…
▽ More
This article deals with the stability analysis of a drilling system which is modelled as a coupled ordinary differential equation / string equation. The string is damped at the two boundaries but leading to a stable open-loop system. The aim is to derive a linear matrix inequality ensuring the exponential stability with a guaranteed decay-rate of this interconnected system. A strictly proper dynamic controller based on boundary measurements is proposed to accelerate the system dynamics and its effects are investigated through the stability theorem and simulations. It results in an efficient finite dimension controller which subsequently improves the system performances.
△ Less
Submitted 6 September, 2018; v1 submitted 7 March, 2018;
originally announced March 2018.
-
Input / Output Stability of a Damped String Equation coupled with Ordinary Differential System
Authors:
Matthieu Barreau,
Frédéric Gouaisbaut,
Alexandre Seuret,
Rifat Sipahi
Abstract:
The input/output stability of an interconnected system composed of an ordinary differential equation and a damped string equation is studied. Issued from the literature on time-delay systems, an exact stability result is firstly derived using pole locations. Then, based on the Small-Gain theorem and on the Quadratic Separation framework, some robust stability criteria are provided. The latter foll…
▽ More
The input/output stability of an interconnected system composed of an ordinary differential equation and a damped string equation is studied. Issued from the literature on time-delay systems, an exact stability result is firstly derived using pole locations. Then, based on the Small-Gain theorem and on the Quadratic Separation framework, some robust stability criteria are provided. The latter follows from a projection of the infinite dimensional state on an orthogonal basis of Legendre polynomials. Numerical examples comparing these results with the ones in the literature are proposed and a comparison of its efficiency is made.
△ Less
Submitted 21 September, 2018; v1 submitted 30 January, 2018;
originally announced January 2018.
-
Static State and Output Feedback Synthesis for Time-Delay Systems
Authors:
Matthieu Barreau,
Frédéric Gouaisbaut,
Alexandre Seuret
Abstract:
In this paper, the design of a static feedback gain for a linear system subject to an input delay is studied. This synthesis is based on a stability analysis conducted using Lyapunov-Krasovskii theorem and Bessel-Legendre inequalities expressed in terms of LMIs. Some bilinear non-convex matrix inequalities are obtained to go from analysis to synthesis. They are then difficult to solve and an itera…
▽ More
In this paper, the design of a static feedback gain for a linear system subject to an input delay is studied. This synthesis is based on a stability analysis conducted using Lyapunov-Krasovskii theorem and Bessel-Legendre inequalities expressed in terms of LMIs. Some bilinear non-convex matrix inequalities are obtained to go from analysis to synthesis. They are then difficult to solve and an iterative LMI procedure is given which takes advantage of the elimination lemma. Naturally, slack variables are introduced and then, following an optimization process, values for them are proposed to reduce the conservatism. The two main corollaries discuss the static state and output feedback synthesis. Finally, a comparison is proposed and shows that this formulation introduces small conservatism.
△ Less
Submitted 21 February, 2018; v1 submitted 23 November, 2017;
originally announced November 2017.
-
Wirtinger-based Exponential Stability for Time-Delay Systems
Authors:
Matthieu Barreau,
Alexandre Seuret,
Frederic Gouaisbaut
Abstract:
This paper deals with the exponential stabilization of a time-delay system with an average of the state as the output. A general stability theorem with a guaranteed exponential decay-rate based on a Wirtinger-based inequality is provided. Variations of this theorem for synthesis of a controller or for an observer-based control is derived. Some numerical comparisons are proposed with existing theor…
▽ More
This paper deals with the exponential stabilization of a time-delay system with an average of the state as the output. A general stability theorem with a guaranteed exponential decay-rate based on a Wirtinger-based inequality is provided. Variations of this theorem for synthesis of a controller or for an observer-based control is derived. Some numerical comparisons are proposed with existing theorems of the literature and comparable results are obtained but with an extension to stabilization.
△ Less
Submitted 24 November, 2017; v1 submitted 7 August, 2017;
originally announced August 2017.
-
Stability analysis of a system coupled to a heat equation
Authors:
Lucie Baudouin,
Alexandre Seuret,
Frédéric Gouaisbaut
Abstract:
As a first approach to the study of systems coupling finite and infinite dimensional natures, this article addresses the stability of a system of ordinary differential equations coupled with a classic heat equation using a Lyapunov functional technique. Inspired from recent developments in the area of time delay systems, a new methodology to study the stability of such a class of distributed param…
▽ More
As a first approach to the study of systems coupling finite and infinite dimensional natures, this article addresses the stability of a system of ordinary differential equations coupled with a classic heat equation using a Lyapunov functional technique. Inspired from recent developments in the area of time delay systems, a new methodology to study the stability of such a class of distributed parameter systems is presented here. The idea is to use a polynomial approximation of the infinite dimensional state of the heat equation in order to build an enriched energy functional. A well known efficient integral inequality (Bessel inequality) will allow to obtain stability conditions expressed in terms of linear matrix inequalities. We will eventually test our approach on academic examples in order to illustrate the efficiency of our theoretical results.
△ Less
Submitted 11 December, 2018; v1 submitted 25 July, 2017;
originally announced July 2017.
-
Lyapunov stability analysis of a string equation coupled with an ordinary differential system
Authors:
Matthieu Barreau,
Alexandre Seuret,
Frédéric Gouaisbaut,
Lucie Baudouin
Abstract:
This paper considers the stability problem of a linear time invariant system in feedback with a string equation. A new Lyapunov functional candidate is proposed based on the use of augmented states which enriches and encompasses the classical Lyapunov functional proposed in the literature. It results in tractable stability conditions expressed in terms of linear matrix inequalities. This methodolo…
▽ More
This paper considers the stability problem of a linear time invariant system in feedback with a string equation. A new Lyapunov functional candidate is proposed based on the use of augmented states which enriches and encompasses the classical Lyapunov functional proposed in the literature. It results in tractable stability conditions expressed in terms of linear matrix inequalities. This methodology follows from the application of the Bessel inequality together with Legendre polynomials. Numerical examples illustrate the potential of our approach through three scenari: a stable ODE perturbed by the PDE, an unstable open-loop ODE stabilized by the PDE and an unstable closed-loop ODE stabilized by the PDE.
△ Less
Submitted 8 February, 2018; v1 submitted 28 June, 2017;
originally announced June 2017.
