Contrôle de systèmes hyperboliques par analyse Lyapunov

Control of Hyperbolic Systems by Lyapunov Analysis

• Auteur / Autrice : Pierre-Olivier Lamare
• Direction : Christophe Prieur, Antoine Girard
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques appliquées
• Date : Soutenance le 28/09/2015
• Etablissement(s) : Université Grenoble Alpes (ComUE)
• Ecole(s) doctorale(s) : École doctorale Mathématiques, sciences et technologies de l'information, informatique (Grenoble ; 1995-....)
• Partenaire(s) de recherche : Laboratoire : Laboratoire Jean Kuntzmann (Grenoble, Isère, France ; 2007-....)
• Jury : Président / Présidente : Jean-Michel Coron
• Jury : Examinateurs / Examinatrices : Jamal Daafouz, Bernard Brogliato, Mario Sigalotti
• Jury : Rapporteurs / Rapporteuses : Daniel Liberzon, Emmanuel Trélat

Mots clés

Mots clés contrôlés

Contrôle juridictionnel des lois

Systèmes hyperboliques

Systèmes dynamiques hybrides

Mots clés libres

Systèmes Hybrides

Systèmes Hyperboliques

Lois de contrôle

Stabilisation

Switched Systems

Hyperbolic Systems

Control laws

Stabilization

Résumé

Dans cette thèse nous avons étudié différents aspects pour le contrôle de systèmes hyperboliques.Tout d'abord, nous nous sommes intéressés à des systèmes hyperboliques à commutations. Cela signifie qu'il existe une interaction entre une dynamique continue et une dynamique discrète. Autrement dit, il existe différents modes dans lesquels peut évoluer la dynamique continue: ces modes sont dictés par la dynamique discrète. Ce changement de mode peut être contrôlé (dans le cas d'une boucle fermée), ou non-contrôlé (dans le cas d'une boucle ouverte). Nous nous sommes intéressés au premier cas. Par une analyse Lyapunov nous avons construit trois règles de commutations capables de stabiliser le système. Nous avons montré comment modifier deux d'entre elles pour obtenir des propriétés de robustesse et de stabilité entrée-état. Ces règles de commutations ont été testées numériquement.Ensuite, nous avons considéré la génération de trajectoire pour des systèmes hyperboliques linéaires 2x2 par backstepping. L'étape suivante a été de considérer une action Proportionnelle-Intégrale pour stabiliser la solution du système autour de la trajectoire de référence. Pour cela nous avons construit une fonction Lyapunov non-diagonale. Nous avons montré que l'action intégrale est capable de rejeter des erreurs distribuées et frontières.Enfin, nous avons considéré des aspects numériques pour l'analyse Lyapunov. Les conditions pour la stabilité et la conception de contrôleurs obtenues par des fonctions de Lyapunov quadratiques font intervenir une infinité d'inégalités matricielles. Nous avons montré que cette complexité peut être réduite en considérant une sur-approximation polytopique de ces contraintes.Les résultats obtenus ont été illustrés par des exemples académiques et des systèmes dynamiques physiques (comme les équations de Saint-Venant et les équations de Aw-Rascle-Zhang).

In this thesis we have considered different aspects for the control of hyperbolic systems.First, we have studied switched hyperbolic systems. They contain an interaction between a continuous and a discrete dynamics. Thus, the continuous dynamics may evolve in different modes: these modes are imposed by the discrete dynamics. The change in the mode may be controlled (in case of a closed-loop system), or may be uncontrolled (in case of an open-loop system). We have focused our interest on the former case. We procedeed with a Lyapunov analysis, and construct three switching rules. We have shown how to modify them to get robustness and ISS properties. We have shown their effectiveness with numerical tests.Then, we have considered the trajectory generation problem for 2x2 linear hyperbolic systems. We have solved it with backstepping. Then, we have considered the tracking problem with a Proportionnal-Integral controller. We have shown that it stabilizes the error system around the reference trajectory with a new non-diagonal Lyapunov function. The integral action has been shown to be able to reject in-domain, as well as boundary disturbances.Finally, we have considered numerical aspects for the Lyapunov analysis. The conditions for the stability and design of controllers by quadratic Lyapunov functions involve an infinity of matrix inequalities. We have shown how to reduce this complexity by polytopic embeddings of the constraints.Many obtained results have been illustrated by academic examples and physically relevant dynamical systems (as Shallow-Water equations and Aw-Rascle-Zhang equations).