L'interprétation abstraite est une méthode générale qui permet de déterminer de manière automatique des invariants de programmes. Cette méthode conduit à résoudre un problème de point fixe non linéaire de grande taille mais qui possède des propriétés de monotonie. Ainsi, déterminer des bornes sur les valeurs prises par une variable au cours de l'exécution d'un programme, est un problème de point fixe équivalent à un problème de jeu à deux joueurs, à somme nulle et avec options d'arrêt. Cette dernière observation explique la mise en oeuvre d'algorithmes d'itérations sur les politiques. Dans un premier temps, nous avons généralisé les domaines numériques polyédriques par un domaine numérique abstrait permettant de représenter des invariants non-linéaires. Nous avons défini une fonction sémantique abstraite sur ce domaine à partir d'une correspondance de Galois. Cependant, l'évaluation de celle-ci est aussi difficile qu'un problème d'optimisation globale non-convexe. Cela nous a amené à définir une fonction sémantique relâchée, construite à partir de la théorie de la dualité, qui sur-approxime de la fonction sémantique abstraite. La théorie de la dualité a également motivé une construction d'une itération sur les politiques dynamique pour calculer des invariants numériques. En pratique pour des programmes écrits en arithmétique affine, nous avons combiné la relaxation de Shor et l'information des fonctions de Lyapunov quadratique pour évaluer la fonction sémantique relâchée et ainsi générer des invariants numériques sous forme d'ellipsoïdes tronquées. Le deuxième travail concerne l'itération sur les politiques et le calcul du plus petit point fixe qui fournit l'invariant le plus précis. Nous avons raffiné l'itération sur les politiques afin de produire le plus petit point fixe dans le cas des jeux stochastiques. Ce raffinement repose sur des techniques de théorie de Perron-Frobenius non-linéaire. En effet, la fonction sémantique abstraite sur les intervalles peut être vue comme un opérateur de Shapley en information parfaite: elle est semidifférentiable. L'approche conjointe de la semidifférentielle et des rayons spectraux non linéaires nous a permis, dans le cas des contractions au sens large de caractériser le plus petit point fixe. Cette approche mène à un critère d'arrêt pour l'itération sur politique dans le cas des fonctions affines par morceaux contractantes au sens large. Quand le point fixe est non minimal, le problème consiste à exhiber un point fixe négatif non nul de la semidifférentielle. Ce vecteur conduit à une nouvelle politique qui fournit un point fixe strictement plus petit que le point fixe courant. Cette approche a été appliquée à quelques exemples de jeux stochastiques à paiements positifs et de vérification de programmes.

L'Algèbre tropicale peut être considérée comme un domaine relativement nouveau en mathématiques. Elle apparait dans plusieurs domaines telles que l'optimisation, la synchronisation de la production et du transport, les systèmes à événements discrets, le contrôle optimal, la recherche opérationnelle, etc. La première partie de ce manuscrit est consacrée a l'étude des applications de l'algèbre tropicale à l'analyse numérique matricielle. Nous considérons tout d'abord le problème classique de l'estimation des racines d'un polynôme univarié. Nous prouvons plusieurs nouvelles bornes pour la valeur absolue des racines d'un polynôme en exploitant les méthodes tropicales. Ces résultats sont particulièrement utiles lorsque l'on considère des polynômes dont les coefficients ont des ordres de grandeur différents. Nous examinons ensuite le problème du calcul des valeurs propres d'une matrice polynomiale. Ici, nous introduisons une technique de mise à l'échelle générale, basée sur l'algèbre tropicale, qui s'applique en particulier à la forme compagnon. Cette mise à l'échelle est basée sur la construction d'une fonction polynomiale tropicale auxiliaire, ne dépendant que de la norme des matrices. Les raciness (les points de non-différentiabilité) de ce polynôme tropical fournissent une pré-estimation de la valeur absolue des valeurs propres. Ceci se justifie en particulier par un nouveau résultat montrant que sous certaines hypothèses faites sur le conditionnement, il existe un groupe de valeurs propres bornées en norme. L'ordre de grandeur de ces bornes est fourni par la plus grande racine du polynôme tropical auxiliaire. Un résultat similaire est valable pour un groupe de petites valeurs propres. Nous montrons expérimentalement que cette mise à l'échelle améliore la stabilité numérique, en particulier dans des situations où les données ont des ordres de grandeur différents. Nous étudions également le problème du calcul des valeurs propres tropicales (les points de non-différentiabilité du polynôme caractéristique) d'une matrice polynômiale tropicale. Du point de vue combinatoire, ce problème est équivalent à trouver une fonction de couplage: la valeur d'un couplage de poids maximum dans un graphe biparti dont les arcs sont valués par des fonctions convexes et linéaires par morceaux. Nous avons développé un algorithme qui calcule ces valeurs propres tropicales en temps polynomial. Dans la deuxième partie de cette thèse, nous nous intéressons à la résolution de problèmes d'affectation optimale de très grande taille, pour lesquels les algorithms séquentiels classiques ne sont pas efficaces. Nous proposons une nouvelle approche qui exploite le lien entre le problème d'affectation optimale et le problème de maximisation d'entropie. Cette approche conduit à un algorithme de prétraitement pour le problème d'affectation optimale qui est basé sur une méthode itérative qui élimine les entrées n'appartenant pas à une affectation optimale. Nous considérons deux variantes itératives de l'algorithme de prétraitement, l'une utilise la méthode Sinkhorn et l'autre utilise la méthode de Newton. Cet algorithme de prétraitement ramène le problème initial à un problème beaucoup plus petit en termes de besoins en mémoire. Nous introduisons également une nouvelle méthode itérative basée sur une modification de l'algorithme Sinkhorn, dans lequel un paramètre de déformation est lentement augmenté. Nous prouvons que cette méthode itérative(itération de Sinkhorn déformée) converge vers une matrice dont les entrées non nulles sont exactement celles qui appartiennent aux permutations optimales. Une estimation du taux de convergence est également présentée.

Les travaux de recherche présentés dans cette thèse portent sur la stabilisation des systèmes descripteurs non linéaires représentés par des multi-modèles flous de type Takagi-Sugeno incertains et/ou perturbés. Dans ce cadre, des approches basées sur une fonction candidate quadratique de Lyapunov ont tout d'abord été développées. Celles-ci permettent la synthèse de lois de commande par la résolution d'un ensemble de contraintes LMIs (Inégalités Linéaires Matricielles). Les résultats de ces premières approches restent toutefois pessimistes vis-à-vis de l'ensemble des solutions accessible au problème de synthèse de lois de commande. Afin de réduire ce conservatisme, de nouvelles approches basées sur une fonction candidate non quadratique de Lyapunov et une loi de commande non PDC (Compensation Parallèle Distribuée) ont été proposées. Une autre source de conservatisme a ensuite été abordée. En effet, l'écriture classique de la dynamique de la boucle fermée introduit des termes croisés entre la commande et le modèle au sein des conditions LMIs à résoudre. L'utilisation de la propriété de redondance des descripteurs a alors permis de pallier cette source de conservatisme. En effet, l'écriture redondante de la dynamique de la boucle fermée permet de découpler les matrices du système à piloter de celles des gains de commande par retour d'état. Tirant parti de cette propriété, des problèmes réputés complexes en terme de formulation LMI ont étés traites tels que la synthèse de lois de commande robustes par retour de sortie dynamique et statique pour les systèmes standard de type Takagi-Sugeno incertains et/ou perturbés.

Nous nous intéressons à l'imagerie d'un objet enfoui dans un milieu multi-couches inhomogène, avec des données ne contenant pas la phase. Nous résolvons un problème direct modèle de propagation des ondes dans un tel milieu, à l'aide de l'analyse asymptotique et des équations intégrales. Puis nous développons des algorithmes de reconstruction à base de dérivée topologique et des techniques de l'optimisation de forme.

Cette thèse traite de la synchronisation des systèmes dynamiques. La synchronisation est étudiée pour une configuration de type maître-esclave, c'est-à-dire pour des systèmes couplés de façon unidirectionnelle. Ce type de configuration s'avère d'un intérêt tout particulier car elle correspond à des architectures de communications chiffrées un-vers-un ou un-vers-plusieurs. Une attention spécifique est portée sur l'autosynchronisation, comportement qui caractérise la synchronisation par le simple couplage maître-esclave et donc en l'absence de tout contrôle extérieur. Elle joue un rôle majeur dans les communications impliquant des chiffreurs par flot autosynchronisants. L'étude de l'autosynchronisation dans le contexte cryptographique s'appuie sur la théorie du contrôle. Un lien original entre l'autosynchronisation et le principe de chiffrement/déchiffrement en cryptographie est mis en évidence. Il fait appel à la propriété de platitude des systèmes dynamiques, un concept emprunté à l'automatique. On montre que les systèmes dynamiques plats définissent complètement l'ensemble des systèmes autosynchronisants et permettent d'élargir les structures existantes des chiffreurs autosynchronisants. La platitude est tout d'abord étudiée pour deux types de systèmes non linéaires~: les systèmes linéaires commutés et à paramètres variants (LPV). La caractérisation des sorties plates s'appuie sur le concept de semigroupes nilpotents et un algorithme performant est proposé. Une approche constructive pour réaliser des structures maître-esclave autosynchronisantes est proposée sur la base de systèmes plats et les notions d'inversibilité à gauche et à droite empruntées à la théorie du contrôle. Par la suite, l'autosynchronisation est étudiée dans le contexte booléen privilégié en cryptographie. Elle est caractérisée en premier lieu au travers la notion d'influence. Ensuite, différentes représentations matricielles associées aux fonctions booléennes sont proposées. Ces représentations s'avèrent particulièrement intéressantes pour l'analyse des propriétés liées à la sécurité. Un lien entre l'autosynchronisation et les structures propres des représentations matricielles est établi. Une approche orientée graphes est finalement élaborée pour la caractérisation. De nouvelles constructions de structures autosynchronisantes en sont déduites et des éléments de sécurité sont discutés. Enfin, une plateforme de test à base de FPGA qui a été réalisée est décrite.

Le but de cette thèse est de développer de nouvelles techniques d'éclatement d'opérateurs multivoques pour résoudre des problèmes d'inclusion monotone structurés dans des espaces hilbertiens. La dualité au sens des inclusions monotones tient une place essentielle dans ce travail et nous permet d'obtenir des décompositions qui ne seraient pas disponibles via une approche purement primale. Nous développons plusieurs algorithmes à métrique fixe ou variable dans un cadre unifié, et montrons en particulier que de nombreuses méthodes existantes sont des cas particuliers de la méthode explicite--implicite formulée dans des espaces produits adéquats. Les méthodes proposées sont appliquées aux problèmes d'inéquations variationnelles, aux problèmes de minimisation, aux problèmes inverses, aux problèmes de traitement du signal, aux problèmes d'admissibilité et aux problèmes de meilleure approximation. Dans un second temps, nous introduisons une notion de suite quasi-fejérienne à métrique variable et analysons ses propriétés asymptotiques. Ces résultats nous permettent d'obtenir des extensions de méthodes d'éclatement aux problèmes où la métrique varie à chaque itération.

Ce mémoire comprend les chapitres : 1) Introduction 2) La généricité et les notions de "presque toujours" 3) Dynamique générique des équations paraboliques 4) Dissipativit é de l'équation des ondes amorties et application au contrôle global 5) Etude de fronts dans des EDP dissipatives

L'objectif de ce travail consiste à appliquer des techniques de contrôle optimal pour améliorer la performance des lois de gestion d'énergie. Plus précisément, les techniques étudiées sont les solutions de viscosité de l'équation de Hamilton-Jacobi, des méthodes level-set pour l'étude de l'atteignabilité, la programmation dynamique stochastique, la programmation dynamique stochastique duale et les contraintes en probabilité. En premier lieu, ce document débute avec la présentation des outils techniques et modèles nécessaires à l'étude de l'optimisation des lois de gestion d'énergie au sein des véhicules hybrides. En deuxième lieu, nous regardons la synthèse des lois de gestion d'énergie en prenant compte des incertitudes dans le profil de vitesse du véhicule. Dans un premier moment, cette étude porte sur l'utilisation de la programmation dynamique stochastique. Dans un second moment, la programmation dynamique stochastique duale est analysée. Ensuite, nous introduisons une formulation du problème de contrôle optimal avec des contraintes en probabilités, visant la synthèse de lois plus flexibles. En troisième lieu, des résultats théoriques sur l'étude de l'atteignabilité des systèmes hybrides sont démontrés. L'ensemble des états atteignables est caractérisé par une fonction valeur. Nous démontrons ensuite que cette fonction valeur est l'unique solution d'un système d'inégalités quasi-variationnelles dans le sens de la viscosité. Aussi, nous montrons la convergence d'une classe de schémas numériques permettant le calcul de cette fonction valeur. Visant à approfondir l'étude sur l'atteignabilité, nous nous intéressons à une formulation de la dynamique hybride en temps discret, ce qui amène à l'utilisation d'un algorithme directement basé sur la programmation dynamique pour caractériser la fonction valeur. Finalement, nous

Dans cette thèse, on s'intéresse à la contrôlabilité et son coût pour un certain nombre d'équations aux dérivées partielles linéaires ou non linéaires issues de la physique. La première partie de la thèse concerne la contrôlabilité à zéro de l'équation de Navier-Stokes tridimensionnelle avec conditions au bord de Dirichlet et contrôle interne distribué sur un sous-ouvert de domaine de définition n'agissant que sur une seule des trois équations. La preuve repose sur la méthode du retour ainsi que sur une méthode originale de résolution algébrique de systèmes différentiels inspirée de travaux de Gromov. La deuxième partie de la thèse concerne le coût du contrôle en temps petit ou en viscosité évanescente d'équations linéaires unidimensionnelles. Dans un premier temps, on montre que l'on peut, dans certains cas, faire un lien entre ces deux problèmes. Notamment il est possible d'obtenir des résultats de contrôlabilité uniforme de l'équation de transport-diffusion unidimensionnelle à coefficients constants contrôlée sur le bord gauche à l'aide de résultats déjà connus sur le contrôle de l'équation de la chaleur. Dans un second temps, on s'intéresse au coût du contrôle frontière en temps petit d'un certain nombre d'équations pour lesquelles l'opérateur spatial associé est autoadjoint ou anti-autoadjoint à résolvante compacte et ayant des valeurs propres se comportant de manière polynomiale, en utilisant la méthode des moments. On en déduit des résultats pour des équations de type Korteweg-de-Vries linéarisées, diffusion fractionnaire et Schrödinger fractionnaire.

L'objectif principal de cette thèse est de concevoir une méthode d'optimisation de structures qui jouit d'une description exacte (i.e. au moyen d'un maillage) de la forme à chaque itération du processus, tout en bénéficiant des avantages de la méthode des lignes de niveaux lorsqu'il s'agit de suivre leur évolution. Indépendamment, on étudie également deux problèmes de modélisation en optimisation structurale. Dans une première partie bibliographique, on présente quelques notions classiques, ainsi qu'un état de l'art sommaire autour des trois thématiques principales de la thèse - méthode des lignes de niveaux (Chapitre 1), optimisation de formes (Chapitre 2) et maillage (Chapitre 3). La seconde partie de ce manuscrit traite de deux questions en optimisation de formes, celle de la répartition optimale de plusieurs matériaux au sein d'une structure donnée (Chapitre 4), et celle de l'optimisation robuste de fonctions dépendant du domaine lorsque des perturbations s'exercent sur le modèle (Chapitre 5). Dans une troisième partie, on étudie la conception de schémas numériques en lien avec la méthode des lignes de niveaux lorsque le maillage de calcul est simplicial (et potentiellement adapté). Le calcul de la distance signée à un domaine est étudié dans le chapitre 6, et la résolution de l'équation de transport d'une fonction 'level set' est détaillée dans le chapitre 7. La quatrième partie (Chapitre 8) traite des aspects de la thèse liés à la modification locale de maillages surfaciques et volumiques. Enfin, la dernière partie (Chapitre 9) détaille la stratégie conçue pour l'évolution de maillage en optimisation de formes, à partir des ingrédients des chapitres 6, 7 et 8.