Régularisation et temps conjugués bang-bang pour des problèmes de contrôle optimal
Auteur / Autrice : | Cristiana Silva |
Direction : | Emmanuel Trélat, Delfim Torres |
Type : | Thèse de doctorat |
Discipline(s) : | Mathématiques |
Date : | Soutenance le 11/10/2010 |
Etablissement(s) : | Orléans en cotutelle avec Universidade de Aveiro (Portugal) |
Ecole(s) doctorale(s) : | École doctorale Sciences et technologies (Orléans ; 2009-2012) |
Partenaire(s) de recherche : | Laboratoire : Mathématiques appliquées et physique mathématique d'Orléans (1994-2011) |
Jury : | Président / Présidente : Manuel Senos Matias |
Examinateurs / Examinatrices : Emmanuel Trélat, Delfim Torres, Manuel Senos Matias, Laura Poggiolini, Thomas Haberkorn, Vasile Staicu, Maria Pinho | |
Rapporteur / Rapporteuse : Laura Poggiolini |
Mots clés
Mots clés contrôlés
Mots clés libres
Résumé
On considère le problème de contrôle optimal de temps minimal pour des systèmes affine et mono-entrée en dimension finie, avec conditions initiales et finales fixées, où le contrôle scalaire prend ses valeurs dans un intervalle fermé. Lors de l'application d'une méthode de tir pour résoudre ce problème, on peut rencontrer des obstacles numériques car la fonction de tir n'est pas lisse lorsque le contrôle est bang-bang. Pour ces systèmes, dans le cas bang-bang, un concept théorique de temps conjugué a été défini, toutefois les algorithmes de calcul direct sont difficiles à appliquer. En outre, les questions théoriques et pratiques de la théorie du temps conjugué sont bien connues dans le cas lisse, et des outils efficaces de mise en oeuvre sont disponibles. On propose une procédure de régularisation pour laquelle les solutions du problème de temps minimal dépendent d'un paramètre réel positif suffisamment petit et sont définis par des fonctions lisses en temps, ce qui facilite l'application de la méthode de tir simple. Sous des hypothèses convenables, nous prouvons un résultat de convergence forte des solutions du problème régularisé vers la solution du problème initial, lorsque le paramètre réel tend vers zéro. Le calcul des temps conjugués pour les trajectoires localement optimales du problème régularisé est standard. Nous prouvons, sous des hypothèses appropriées, la convergence du premier temps conjugué du problème régularisé vers le premier temps conjugué du problème de contrôle bang-bang initial, quand le paramètre réel tend vers zéro. Ainsi, on obtient une procédure algorithmique efficace pour calculer les temps conjugués dans le cas bang-bang.