On the necessity of sufficient LMI conditions for time-delay systems arising from Legendre approximation

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 inequaliti...

Descripción completa

Detalles Bibliográficos
Autores: Bajodek, Mathieu, Seuret, Alexandre, Gouaisbaut, Frédéric
Tipo de recurso: artículo
Estado:Versión enviada para evaluación y publicación
Fecha de publicación:2024
País:España
Institución:Universidad de Sevilla (US)
Repositorio:idUS. Depósito de Investigación de la Universidad de Sevilla
OAI Identifier:oai:idus.us.es:11441/150425
Acceso en línea:https://hdl.handle.net/11441/150425
https://doi.org/10.1016/j.automatica.2023.111322
Access Level:acceso abierto
Palabra clave:Systems with time-delay
Infinite-dimensional systems
Stability analysis
Lyapunov functionals
LMI
Polynomial approximation
Descripción
Sumario: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.