An improved stability criterion for discrete-time time-delayed Lur’e systemwith sector-bounded nonlinearities

The absolute stability problem of discrete-time time-delayed Lur\u27e systems with sector bounded nonlinearities is investigated in this paper. Firstly, a modified Lyapunov-Krasovskii functional (LKF) is designed with augmenting additional double summation terms, which complements more coupling information between the delay intervals and other system state variables than some previous LKFs. Secondly, some improved delay-dependent absolute stability criteria based on linear matrix inequality form (LMI) are proposed via the modified LKF and the relaxed free-matrix-based summation inequality technique application. The stability criteria are less conservative than some results previously proposed. The reduction of the conservatism mainly relies on the full use of the relaxed summation inequality technique based on the modified LKF. Finally, two common numerical examples are presented to show the effectiveness of the proposed approach

Discrete Hypergeometric Legendre Polynomials

A discrete analog of the Legendre polynomials defined by discrete hypergeometric series is investigated. The resulting polynomials have qualitatively similar properties to classical Legendre polynomials. We derive their difference equations, recurrence relations, and generating function

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

A novel descriptor redundancy method based on delay partition for exponential stability of time delay systems

This is an Author's Accepted Manuscript of an article published in Antonio González (2021) A novel descriptor redundancy method based on delay partition for exponential stability of time delay systems, International Journal of Systems Science, 52:8, 1707-1718, DOI: 10.1080/00207721.2020.1869344, available online at: http://www.tandfonline.com/10.1080/00207721.2020.1869344[EN] This paper investigates the exponential stability of uncertain time delay systems using a novel descriptor redundancy approach based on delay partitioning. First, the original system is casted into an equivalent descriptor singular state¿space representation by introducing redundant state variables so that the resulting delay is progressively reduced. From the equivalent model and applying Lyapunov Functional method, a sufficient condition based on Linear Matrix Inequalities (LMIs) for exponential stability with guaranteed decay rate performance is obtained. As a result, the inherent conservatism of Lyapunov¿Krasovskii functional techniques can arbitrarily be reduced by increasing the number of delay partition intervals including decay rate performance and model uncertainties in polytopic form. Various benchmark examples are provided to validate the effectiveness of the proposed method, showing better trade-off between conservatism and performance in comparison to previous approaches.This work was supported by project PGC2018-098719-B-I00 (MCIU/AEI/FEDER,UE).González Sorribes, A. (2021). A novel descriptor redundancy method based on delay partition for exponential stability of time delay systems. International Journal of Systems Science. 52(8):1707-1718. https://doi.org/10.1080/00207721.2020.18693441707171852

Numerical solution of linear time delay systems using Chebyshev-tau spectral method

In this paper, a hybrid method based on method of steps and a Chebyshev-tau spectral method for solving linear time delay systems of differential equations is proposed. The method first converts the time delay system to a system of ordinary dierential equations by the method of steps and then employs Chebyshev polynomials to construct an approx- imate solution for the system. In fact, the solution of the system is expanded in terms of orthogonal Chebyshev polynomials which reduces the solution of the system to the solution of a system of algebraic equations. Also, we transform the coefficient matrix of the algebraic system to a block quasi upper triangular matrix and the latter system can be solved more efficiently than the first one. Furthermore, using orthogonal Chebyshev polynomials enables us to apply fast Fourier transform for calculating matrix-vector multiplications which makes the proposed method to be more efficient. Consistency, stability and convergence analysis of the method are provided. Numerous numerical examples are given to demonstrate efficiency and accuracy of the method. Comparisons are made with available literature

Stability analysis of linear ODE-PDE interconnected systems

Les systèmes de dimension infinie permettent de modéliser un large spectre de phénomènes physiques pour lesquels les variables d'états évoluent temporellement et spatialement. Ce manuscrit s'intéresse à l'évaluation de la stabilité de leur point d'équilibre. Deux études de cas seront en particulier traitées : l'analyse de stabilité des systèmes interconnectés à une équation de transport, et à une équation de réaction-diffusion. Des outils théoriques existent pour l'analyse de stabilité de ces systèmes linéaires de dimension infinie et s'appuient sur une algèbre d'opérateurs plutôt que matricielle. Cependant, ces résultats d'existence soulèvent un problème de constructibilité numérique. Lors de l'implémentation, une approximation est réalisée et les résultats sont conservatifs. La conception d'outils numériques menant à des garanties de stabilité pour lesquelles le degré de conservatisme est évalué et maîtrisé est alors un enjeu majeur. Comment développer des critères numériques fiables permettant de statuer sur la stabilité ou l'instabilité des systèmes linéaires de dimension infinie ? Afin de répondre à cette question, nous proposons ici une nouvelle méthode générique qui se décompose en deux temps. D'abord, sous l'angle de l'approximation sur les polynômes de Legendre, des modèles augmentés sont construits et découpent le système original en deux blocs : d'une part, un système de dimension finie approximant est isolé, d'autre part, l'erreur de troncature de dimension infinie est conservée et modélisée. Ensuite, des outils fréquentiels et temporels de dimension finie sont déployés afin de proposer des critères de stabilité plus ou moins coûteux numériquement en fonction de l'ordre d'approximation choisi. En fréquentiel, à l'aide du théorème du petit gain, des conditions suffisantes de stabilité sont obtenues. En temporel, à l'aide du théorème de Lyapunov, une sous-estimation des régions de stabilité est proposée sous forme d'inégalité matricielle linéaire et une sur-estimation sous forme de test de positivité. Nos deux études de cas ont ainsi été traitées à l'aide de cette méthodologie générale. Le principal résultat obtenu concerne le cas des systèmes EDO-transport interconnectés, pour lequel l'approximation et l'analyse de stabilité à l'aide des polynômes de Legendre mène à des estimations des régions de stabilité qui convergent exponentiellement vite. La méthode développée dans ce manuscrit peut être adaptée à d'autres types d'approximations et exportée à d'autres systèmes linéaires de dimension infinie. Ce travail ouvre ainsi la voie à l'obtention de conditions nécessaires et suffisantes de stabilité de dimension finie pour les systèmes de dimension infinie.Infinite dimensional systems allow to model a large panel of physical phenomena for which the state variables evolve both temporally and spatially. This manuscript deals with the evaluation of the stability of their equilibrium point. Two case studies are treated in particular: the stability analysis of ODE-transport, and ODE-reaction-diffusion interconnected systems. Theoretical tools exist for the stability analysis of these infinite-dimensional linear systems and are based on an operator algebra rather than a matrix algebra. However, these existence results raise a problem of numerical constructibility. During implementation, an approximation is performed and the results are conservative. The design of numerical tools leading to stability guarantees for which the degree of conservatism is evaluated and controlled is then a major issue. How can we develop reliable numerical criteria to rule on the stability or instability of infinite-dimensional linear systems? In order to answer this question, one proposes here a new generic method, which is decomposed in two steps. First, from the perspective of Legendre polynomials approximation, augmented models are built and split the original system into two blocks: on the one hand, a finite-dimensional approximated system is isolated, on the other hand, the infinite-dimensional truncation error is preserved and modeled. Then, frequency and time tools of finite dimension are deployed in order to propose stability criteria that have high or low numerical load depending on the approximated order. In frequencies, with the aid of the small gain theorem, sufficient stability conditions are obtained. In temporal, with the aid of the Lyapunov theorem, an under estimate of the stability regions is proposed as a linear matrix inequality and an over estimate as a positivity test. Our two case studies have been treated with this general methodology. The main result concerns the case of ODE-transport interconnected systems, for which the approximation and stability analysis using Legendre polynomials leads to exponentially fast converging estimates of stability regions. The method developed in this manuscript can be adapted to other types of approximations and exported to other infinite-dimensional linear systems. Thus, this work opens the way to obtain necessary and sufficient finite-dimensional conditions of stability for infinite-dimensional systems