Thèse soutenue

Régularisation et temps conjugués bang-bang pour des problèmes de contrôle optimal

FR  |  
EN
Auteur / Autrice : Cristiana Silva
Direction : Emmanuel TrélatDelfim 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

FR  |  
EN

Mots clés contrôlés

Résumé

FR  |  
EN

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.