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

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

New summation inequalities and their applications to discrete-time delay systems

This paper provides new summation inequalities in both single and double forms to be used in stability analysis of discrete-time systems with time-varying delays. The potential capability of the newly derived inequalities is demonstrated by establishing less conservative stability conditions for a class of linear discrete-time systems with an interval time-varying delay in the framework of linear matrix inequalities. The effectiveness and least conservativeness of the derived stability conditions are shown by academic and practical examples.Comment: 15 pages, 01 figur

Dissipative Stabilization of Linear Systems with Time-Varying General Distributed Delays (Complete Version)

New methods are developed for the stabilization of a linear system with general time-varying distributed delays existing at the system's states, inputs and outputs. In contrast to most existing literature where the function of time-varying delay is continuous and bounded, we assume it to be bounded and measurable. Furthermore, the distributed delay kernels can be any square-integrable function over a bounded interval, where the kernels are handled directly by using a decomposition scenario without using approximations. By constructing a Krasovski\u{i} functional via the application of a novel integral inequality, sufficient conditions for the existence of a dissipative state feedback controller are derived in terms of matrix inequalities without utilizing the existing reciprocally convex combination lemmas. The proposed synthesis (stability) conditions, which take dissipativity into account, can be either solved directly by a standard numerical solver of semidefinite programming if they are convex, or reshaped into linear matrix inequalities, or solved via a proposed iterative algorithm. To the best of our knowledge, no existing methods can handle the synthesis problem investigated in this paper. Finally, numerical examples are presented to demonstrate the effectiveness of the proposed methodologies.Comment: Accepted by Automatic

Stability analysis of coupled ordinary differential systems with a string equation: application to a drilling mechanism

Cette thèse porte sur l'analyse de stabilité de couplage entre deux systèmes, l'un de dimension finie et l'autre infinie. Ce type de systèmes apparait en physique car il est intimement lié aux modèles de structures. L'analyse générique de tels systèmes est complexe à cause des natures très différentes de chacun des sous-systèmes. Ici, l'analyse est conduite en utilisant deux méthodologies. Tout d'abord, la séparation quadratique est utilisée pour traiter le côté fréquentiel de ce système couplé. L'autre méthode est basée sur la théorie de Lyapunov pour prouver la stabilité asymptotique de l'interconnexion. Tous ces résultats sont obtenus en utilisant la méthode de projection de l'état de dimension infinie sur une base polynomiale. Il est alors possible de prendre en compte le couplage entre les deux systèmes et ainsi d'obtenir des tests numériques fiables, rapides et peu conservatifs. De plus, une hiérarchie de conditions est établie dans le cas de Lyapunov. L'application au cas concret du forage pétrolier est proposée pour illustrer l'efficacité de la méthode et les nouvelles perspectives qu'elle offre. Par exemple, en utilisant la notion de stabilité pratique, nous avons montré qu'une tige de forage controlée à l'aide d'un PI est sujette à un cycle limite et qu'il est possible d'estimer son amplitude.This thesis is about the stability analysis of a coupled finite dimensional system and an infinite dimensional one. This kind of systems emerges in the physics since it is related to the modeling of structures for instance. The generic analysis of such systems is complex, mainly because of their different nature. Here, the analysis is conducted using different methodologies. First, the recent Quadratic Separation framework is used to deal with the frequency aspect of such systems. Then, a second result is derived using a Lyapunov-based argument. All the results are obtained considering the projections of the infinite dimensional state on a basis of polynomials. It is then possible to take into account the coupling between the two systems. That results in tractable and reliable numerical tests with a moderate conservatism. Moreover, a hierarchy on the stability conditions is shown in the Lyapunov case. The real application to a drilling mechanism is proposed to illustrate the efficiency of the method and it opens new perspectives. For instance, using the notion of practical stability, we show that a PI-controlled drillstring is subject to a limit cycle and that it is possible to estimate its amplitude