Cette thèse s'intéresse au calcul de solutions globales de problèmes de commande optimale en boucle ouverte. La méthodologie générale se base sur l'approche par les moments, où un problème d'optimisation est relâché en un problème généralisé des moments, dont une hiérarchie de relaxations semi-définies peut être résolue numériquement. L'approche est tout d'abord appliquée aux problèmes impulsionnels linéaires à temps variant, en modélisant le contrôle par une mesure. Les conditions semi-définies qui en résultent permettent de s'affranchir complètement des difficultés liées à la discrétisation temporelle. Ensuite, en se basant sur le formalisme des mesures d'occupations, la méthode peut être étendue aux systèmes impulsionnels non-linéaires, et fournit une suite monotone de bornes inférieures au coût optimal. Enfin, les résultats précédents peuvent être transposés aux systèmes à commutation, en modélisant chaque mode par une mesure d'occupation associée. Ceci permet d'obtenir des gains substantiels en charge de calcul par rapport à l'approche classique où l'espace de contrôle est mesuré.

Cette thèse s’intéresse au calcul de solutions globales de problèmes de commande optimaleen boucle ouverte. La méthodologie générale se base sur l’approche par les moments, oùun problème d’optimisation est relâché en un problème généralisé des moments, dont unehiérarchie de relaxations semi-définies peut être résolue numériquement. L’approche esttout d’abord appliquée aux problèmes impulsionnels linéaires à temps variant, en modélisantle contrôle par une mesure. Les conditions semi-définies qui en résultent permettentde s’affranchir complètement des difficultés liées à la discrétisation temporelle. Ensuite, ense basant sur le formalisme des mesures d’occupations, la méthode peut être étendue auxsystèmes impulsionnels non-linéaires, et fournit une suite monotone de bornes inférieuresau coût optimal. Enfin, les résultats précédents peuvent être transposés aux systèmes àcommutation, en modélisant chaque mode par une mesure d’occupation associée. Ceci permetd’obtenir des gains substantiels en charge de calcul par rapport à l’approche classiqueoù l’espace de contrôle est mesuré / This thesis details a global method for optimal control of open-loop systems. This is doneby relaxing the control problem as a generalized moment problem, which can be solvednumerically by a hierarchy of semi-definite relaxations. The approach is first applied tothe impulsive control of linear time varying systems, by modeling the controls by a measure.The resulting semi-definite conditions circumvent time discretiziation and relateddifficulties. By the use of occupation measures, the method is then extended to a classof impulsive non-linear problems. This results in a monotone sequence of lower boundsto the original control problem. Finally, those results are transposed to switched system,by modeling each mode by a corresponding occupation measure. This allows for largecomputational gains with respect to the classical approach, where the control space ismeasured

Cette thèse a pour but de certifier des bornes inférieures de fonctions multivariées à valeurs réelles, définies par des expressions semi-algébriques ou transcendantes et de prouver leur validité en vérifiant les certificats dans l'assistant de preuves Coq. De nombreuses inégalités de cette nature apparaissent par exemple dans la preuve par Thomas Hales de la conjecture de Kepler. Dans le cadre de cette étude, on s'intéresse à des fonctions non-linéaires, faisant intervenir des opérations semi-algébriques ainsi que des fonctions transcendantes univariées (cos, arctan, exp, etc). L'utilisation de différentes méthodes d'approximation permet de relâcher le problème initial en un problème d'optimisation semi-algébrique. On se ramène ainsi à des problèmes d'optimisation polynomiale, qu'on résout par des techniques de sommes de carrés creuses. Dans un premier temps, nous présentons une technique classique d'optimisation globale. Les fonctions transcendantes univariées sont approchées par les meilleurs estimateurs polynomiaux uniformes de degré d. Par la suite, nous présentons une méthode alternative, qui consiste a borner certains des constituants de la fonction non-linéaire par des suprema de formes quadratiques (approximation maxplus, introduite à l'origine en contrôle optimal) de courbures judicieusement choisies. Enfin, cet algorithme d'approximation est amélioré, en combinant l'idée des estimateurs maxplus et de la méthode des gabarits développée par Manna et al. (en analyse statique). Les gabarits non-linéaires permettent un compromis sur la precision des approximations maxplus afin de contrôler la complexité des estimateurs semi-algébriques. Ainsi, on obtient une nouvelle technique d'optimisation globale, basée sur les gabarits, qui exploite à la fois la precision des sommes de carrés et la capacité de passage à l'échelle des méthodes d'abstraction. L'implémentation de ces méthodes d'approximation a abouti à un outil logiciel : NLCertify. Cet outil génère des certificats à partir d'approximations semi-algébriques et de sommes de carrés. Son interface avec Coq permet de bénéficier de l'arithmétique certifiée disponible dans l'assistant de preuves, et ainsi d'obtenir des estimateurs et des bornes valides pour chaque approximation. Nous démontrons les performances de cet outil de certification sur divers problèmes d'optimisation globale ainsi que sur des inégalités serrées qui interviennent dans la preuve de Hales.