Ecole Doctorale

Mathématiques et Informatique de Marseille

Spécialité

Mathématiques

Etablissement

Aix-Marseille Université

Mots Clés

Contrôle Optimal,Calcul des Variations,Système multi-agents,Équations de transport non-locale,Espaces de Wasserstein,Calcul sous-différentiel

Keywords

Optimal Control,Calculus of Variations,Multi-agent systems,Transport equations with non-local velocities,Wasserstein spaces,Subdifferential calculus

Titre de thèse

Commande Optimale dans les Espaces de Wasserstein
Optimal Control in Wasserstein Spaces

Date

Lundi 28 Octobre 2019 à 10:00

Adresse

Laboratoire d'Informatique et Systèmes (LIS) 52 Avenue Escadrille Normandie Niemen, 13013 Marseille Salle Jeaumes

Jury

Directeur de these M. Francesco ROSSI Università degli Studi di Padova
CoDirecteur de these M. Maxime HAURAY Institue de Mathématiques de Marseille
Rapporteur M. Pierre CARDALIAGUET Université Paris-Dauphine
Examinateur M. Filippo SANTAMBROGIO Institut Camille Jordan, Université Lyon 1
Examinateur Mme Hélène FRANKOWSKA CNRS, Université Paris 6
Examinateur Mme Francesca CHITTARO Université de Toulon, LIS
Examinateur M. Jose Antonio CARRILLO DE LA PLATA Imperial College
Rapporteur M. Nicola GIGLI Scuola Internazionale Superiore di Studi Avanzati

Résumé de la thèse

Une vaste quantité d'outils mathématiques permettant la modélisation et l'analyse mathématique des problèmes multi-agents ont récemment été développés dans le cadre de la théorie du transport optimal. Dans cette thèse, nous appliquons et étendons certains de ces concepts dans le cadre de la théorie du contrôle. Le premier résultats présenté dans ce manuscrit est la généralisation du principe du maximum de Pontryagin, tant en l'absence qu'en présence de contraintes, aux problèmes de contrôle optimal multi-agent étudiés dans leur approximation par limite de champs moyens. La preuve de ces résultats repose sur la généralisation de techniques du contrôle géométrique au cadre de la structure Riemannienne des espaces de Wasserstein. Par la suite, nous investiguons des conditions suffisantes de régularité Lipschitz en espace pour les contrôle optimaux. Ces résultats sont généralement cruciaux pour assurer une correspondance stricte entre les modèles microscopiques et leurs approximations macroscopiques. Nous les obtenons en combinant une approximation par limite de champs moyens et un argument d'existence de feedback Lipschitz optimaux exprimé dans une variante discrète du calcul différentiel des espaces de Wasserstein. Nous nous intéressons ensuite aux modèles d'alignement. Nous proposons une analyse de convergence de type Lyapunov pour une classe de systèmes coopératifs présentant des défauts aléatoires de communication. Par la suite, nous présentons une stratégie de contrôle parcimonieuse permettant d'assurer la convergence de systèmes faiblement coopératif vers un état de presque-alignement. Nous présentons enfin un résultat de géométrie sous-Riemannienne, dans lequel nous achevons la classification des singularités génériques du lieu conjugué pour les distributions de contact en dimension 3. Ce résultat se base sur des arguments de transversalité appliqués aux jets de la métrique au voisinage de l'origine.

Thesis resume

A wealth of mathematical tools allowing to model and analyse multi-agent systems has been brought forth as a consequence of recent developments in optimal transport theory. In this thesis, we apply and extend some of these concepts to the framework of control theory. The first result presented in this manuscript is the generalization of the Pontryagin Maximum Principle, both in the absence and presence of constraints, to optimal control problems of multi-agent systems studied in the so-called mean-field approximation framework. The proof of this result relies on the generalization of techniques from geometric control theory to the setting of the Riemannian structure of the Wasserstein spaces. Subsequently, we investigate sufficient conditions for the Lipschitz-in-space regularity of mean-field optimal control. These results are generally crucial for ensuring the correspondence between the microscopic multi-agent systems and their macroscopic approximations. We obtain them by combining a mean-field approximation argument with an existence result for Lipschitz optimal feedbacks formulated in a discrete version of the differential calculus of Wasserstein spaces. Later on, we focus our attention on alignment models. We propose a convergence analysis based on Lyapunov-type arguments for cooperative systems subject to random communication failures. We further propose a sparse control strategy which allows to stir weakly-cooperative systems towards a state of almost-alignment. We finally present a result of sub-Riemannian geometry, in which we complete the classification of the generic singularities of the conjugate locus for contact distributions in dimension 3. This result is based on transversality arguments applied to the jets of the metric in a suitable neighbourhood of the origin.