Commande H∞ paramétrique et application aux viseurs gyrostabilisés
Auteur / Autrice : | Guillaume Rance |
Direction : | Alban Quadrat |
Type : | Thèse de doctorat |
Discipline(s) : | Automatique |
Date : | Soutenance le 09/07/2018 |
Etablissement(s) : | Université Paris-Saclay (ComUE) |
Ecole(s) doctorale(s) : | École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) |
Partenaire(s) de recherche : | Laboratoire : Laboratoire des signaux et systèmes (Gif-sur-Yvette, Essonne ; 1974-....) - Centre Inria de l'Université de Lille - Géométrie, Algèbre, Informatique, Applications |
établissement opérateur d'inscription : Université Paris-Sud (1970-2019) | |
Entreprise : Safran Electronics & Defense | |
Jury : | Président / Présidente : Gilles Duc |
Examinateurs / Examinatrices : Alban Quadrat, Gilles Duc, Olivier Bachelier, François Boulier, Jean-Jacques Loiseau, Arnaud Quadrat, Mioara Maria Joldes, Guillaume Moroz | |
Rapporteurs / Rapporteuses : Olivier Bachelier, François Boulier, Jean-Jacques Loiseau |
Mots clés
Mots clés contrôlés
Résumé
Cette thèse porte sur la commande H∞ par loop-shaping pour les systèmes linéaires à temps invariant d'ordre faible avec ou sans retard et dépendant de paramètres inconnus. L'objectif est d'obtenir des correcteurs H∞ paramétriques, c'est-à-dire dépendant explicitement des paramètres inconnus, pour application à des viseurs gyrostabilisés.L'existence de ces paramètres inconnus ne permet plus l'utilisation des techniques numériques classiques pour la résolution du problème H∞ par loop-shaping. Nous avons alors développé une nouvelle méthodologie permettant de traiter les systèmes linéaires de dimension finie grâce à l'utilissation de techniques modernes de calcul formel dédiées à la résolution des systèmes polynomiaux (bases de Gröbner, variétés discriminantes, etc.).Une telle approche présente de multiples avantages: étude de sensibilités du critère H∞ par rapport aux paramètres, identification de valeurs de paramètres singulières ou remarquables, conception de correcteurs explicites optimaux/robustes, certification numérique des calculs, etc. De plus, nous montrons que cette approche peut s'étendre à une classe de systèmes à retard.Plus généralement, cette thèse s'appuie sur une étude symbolique des équations de Riccati algébriques. Les méthodologies génériques développées ici peuvent s'étendre à de nombreux problèmes de l'automatique, notamment la commande LQG, le filtrage de Kalman ou invariant.