Thèse: Évolution des mesures et contrôle optimal de systèmes dynamiques quasi-dissipatifs à l'aide de relaxations Moment-SOS

Résumé

L’optimisation des systèmes dynamiques non linéaires est difficile, et l’on exploite généralement des propriétés structurelles particulières des dynamiques pour analyser leur évolution et concevoir des lois de commande. Une classe de systèmes au cœur de cette thèse est celle des systèmes dynamiques quasi-dissipatifs, que l’on peut voir comme des systèmes comportant une composante dissipative perturbée par un terme additionnel. Compte tenu des limites des méthodes classiques d’optimisation pour de tels systèmes, cette thèse développe un cadre unifié pour leur analyse et leur optimisation au moyen de techniques de relaxation par mesures. La hiérarchie moments–sommes de carrés (SOS) constitue la principale motivation computationnelle de cette approche, car elle fournit des solutions globalement optimales avec des garanties de convergence. Les méthodes classiques de commande et d’optimisation deviennent difficiles à appliquer lorsque les dynamiques comportent des discontinuités, des contraintes unilatérales ou des applications multivoques. Nous étendons le formalisme de relaxation mesure-théorique à ces contextes non lisses. La première contribution établit une formulation rigoureuse de l’évolution de mesures pour les processus de balayage du premier ordre, en démontrant l’existence, l’unicité et une représentation de superposition des solutions à valeurs mesures. Une approche de régularisation fonctionnelle et un schéma de transport optimal discrétisé en temps sont développés pour approximer ces solutions, avec des garanties de convergence pour des métriques de Wasserstein. Dans ce cadre, nous formulons une relaxation semi-définie basée sur la hiérarchie moments–SOS pour résoudre le problème d’évolution de mesures. La deuxième contribution traite de la commande optimale des processus de balayage via des techniques de relaxation par mesures. Nous montrons que la relaxation en un programme linéaire dans l’espace des mesures n’introduit aucun écart de relaxation, en temps continu comme en temps discret. En utilisant des outils de la théorie du transport optimal, nous prouvons la convergence du problème discrétisé vers le problème continu lorsque le pas d’échantillonnage tend vers zéro. Une relaxation semi-définie fondée sur moments–SOS est proposée pour résoudre le problème de commande optimale à valeurs mesures. Enfin, le cadre est étendu aux équations d’évolution non linéaires quasi-dissipatives sur des espaces de Hilbert, incluant des EDP semilinéaires et de type réaction–diffusion. Nous montrons que la formulation par mesures de ces problèmes de dimension infinie reste exacte, sans écart de relaxation, et nous proposons une hiérarchie moments–SOS convergente afin d’obtenir des approximations numériques certifiées. Dans l’ensemble, cette thèse combine l’analyse variationnelle, le transport optimal et la programmation semi-définie pour fournir des formulations convexes globalement convergentes pour une large classe de problèmes de commande optimale non lisses et de problèmes d’EDP.