arXiv subjects

Alexandre Seuret

Publications and source records attributed to Alexandre Seuret.

27 records · Page 2Linked to original sources

arXiv2018

Exponential Lyapunov Stability Analysis of a Drilling Mechanism

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.

math.OC↗

arXiv2018

Static State and Output Feedback Synthesis for Time-Delay Systems

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.

math.OC↗

arXiv2018

Lyapunov stability analysis of a string equation coupled with an ordinary differential system

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.

math.AP↗

arXiv2017

Wirtinger-based Exponential Stability for Time-Delay Systems

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.

math.OC↗

arXiv2015

On the necessity of looped-functionals arising in the analysis of pseudo-periodic, sampled-data and hybrid systems

Looped-functionals have been shown to be relevant for the analysis of a wide variety of systems. However, the conditions obtained in previous works on the analysis of sampled-data, impulsive and switched systems have only been shown to be sufficient for the characterization of their associated discrete-time stability conditions. We prove here that these conditions are also \necessary. This result is derived for a wider class of linear systems, referred to as impulsive pseudo-periodic systems, that encompass periodic, impulsive, sampled-data and switched systems as special cases.

eess.SY↗

arXiv2014

Global Stability Analysis of Nonlinear Sampled-Data Systems using Convex Methods

We consider the problem of global stability of nonlinear sampled-data systems. Sampled-data systems are a form of hybrid model which arises when discrete measurements and updates are used to control continuous-time plants. In this paper, we use a recently introduced Lyapunov approach to derive stability conditions for both the case of fixed sampling period (synchronous) and the case of a time-varying sampling period (asynchronous). This approach requires the existence of a Lyapunov function which decreases over each sampling interval. To enforce this constraint, we use a form of slack variable which exists over the sampling period, may depend on the sampling period, and allows the Lyapunov function to be temporarily increasing. The resulting conditions are enforced using a new method of convex optimization of polynomial variables known as Sum-of-Squares.We use several numerical examples to illustrate this approach.

math.OC↗

arXiv2012

Affine characterizations of minimum and mode-dependent dwell-times for uncertain linear switched systems

An alternative approach for minimum and mode-dependent dwell-time characterization for switched systems is derived. The proposed technique is related to Lyapunov looped-functionals, a new type of functionals leading to stability conditions affine in the system matrices, unlike standard results for minimum dwell-time. These conditions are expressed as infinite-dimensional LMIs which can be solved using recent polynomial optimization techniques such as sum-of-squares. The specific structure of the conditions is finally utilized in order to derive dwell-time stability results for uncertain switched systems. Several examples illustrate the efficiency of the approach.

math.OC↗

arXiv2012

A looped-functional approach for robust stability analysis of linear impulsive systems

A new functional-based approach is developed for the stability analysis of linear impulsive systems. The new method, which introduces looped-functionals, considers non-monotonic Lyapunov functions and leads to LMIs conditions devoid of exponential terms. This allows one to easily formulate dwell-times results, for both certain and uncertain systems. It is also shown that this approach may be applied to a wider class of impulsive systems than existing methods. Some examples, notably on sampled-data systems, illustrate the efficiency of the approach.

math.OC↗

arXiv2012

Convex dwell-time characterizations for uncertain linear impulsive systems

New sufficient conditions for the characterization of dwell-times for linear impulsive systems are proposed and shown to coincide with continuous decrease conditions of a certain class of looped-functionals, a recently introduced type of functionals suitable for the analysis of hybrid systems. This approach allows to consider Lyapunov functions that evolve non-monotonically along the flow of the system in a new way, broadening then the admissible class of systems which may be analyzed. As a byproduct, the particular structure of the obtained conditions makes the method is easily extendable to uncertain systems by exploiting some convexity properties. Several examples illustrate the approach.

math.OC↗