Les systèmes assemble-to-order (ATO) peuvent être considérés comme une affectation de ressources multiples qui induit planification de production, satisfaction des contraintes et affectation des stocks. Les systèmes ATO représentent une stratégie de logistique populaire utilisée en gestion de fabrication. En raison de la complexité croissante des systèmes de fabrication d'aujourd'hui, le défi pour les systèmes ATO est de gérer efficacement les stocks de composants et de trouver les décisions optimales de production et d'affectation.Nous étudions un système ATO avec un produit unique qui est assemblé à partir de plusieurs composants. Le système doit répondre à une demande non seulement du produit assemblé, mais aussi des composants individuels. Nous considérons le cas avec seulement des lost sales puis le cas mixte lost sales et backorders avec des temps de production suivant des lois de type exponentiel et une demande sous forme de loi de Poisson. Nous formulons le problème comme un Processus de décision markovien (MDP), et nous considérons deux critères d'optimalité qui sont le coût actualisé et le coût moyen par période. Nous caractérisons la structure de la politique optimale et étudions l'impact des différents paramètres du système sur cette politique. Nous présentons également plusieurs heuristiques pour le cas lost sales et le cas mixte lost sales et backorders. Ces heuristiques fournissent des méthodes simples, mais efficaces pour contrôler la production et l'affectation des stocks du système ATO

Dans cette thèse, nous avons considéré des problèmes de minimisation de fonctionnelles relatives à des objets géométriques en dimension 2 et 3 sous contraintes de bord. Nous considérons d'abord le cas des corps de largeur constante en dimension 2 et nous redémontrons le théorème de Blaschke-Lebesgue par la théorie du contrôle optimal en utilisant le principe de Pontryagin. Nous étudions aussi le problème de la minimisation du volume dans la classe des corps de largeur constante en dimension 3 et à symétrie de révolution. Par le principe de Pontryagin, nous obtenons des conditions nécessaires sur un minimiseur. Nous étudions également le problème de minimisation de l'aire dans la classe des rotors d'un polygone à n côtés, ce qui constitue une généralisation du problème précédent. Par le principe de Pontryagin, nous démontrons qu'un minimiseur est une réunion finie d'arcs de cercles de rayon r_i où les r_i prennent des valeurs quantifiées. Nous étudions plus spécifiquement certaines propriétés des rotors réguliers en s'intéressant à leur optimalité locale pour la fonctionnelle d'aire, et pour un certain type de déformations admissibles. Par le théorème de Kuhn-Tucker, nous généralisons au cas des rotors un résultat de Firey en montrant que les rotors réguliers du triangle équilatéral sont des maxima locaux de l'aire, et que les rotors réguliers des polygones réguliers à n>4 côtés, sont des points selles de l'aire. Enfin, nous étudions le problème de minimisation du volume en dimension 3 dans la classe des corps de largeur constante. Nous introduisons d'abord un espace fonctionnel prenant en compte la contrainte de convexité et celle de largeur. Puis nous en déduisons des conditions d'optimalité faibles, vérifiées par le solide de Meissner, dont on conjecture depuis 1934 qu'il minimise le volume dans cette classe.

Les premiers quatre chapitres traitent de l'interaction fluide-structure stationnaire. On étudie l'interaction évolutive en temps dans les chapitres cinq et six. Les deux derniers chapitres sont consacrés aux écoulements à frontière libre avec tension de surface qui ont certaines similitudes avec les problèmes d'interaction fluide-structure.<br /><br />Le fil directeur de mes travaux est de prendre comme ``contrôle'' une partie des conditions aux limites à l'interface et ``d'observer'' si les conditions de couplage sont vérifiées. En traitant l'observation par la méthode de moindres carrés, on obtient des problèmes de type contrôle optimal. Dans le chapitre 1, on prouve que la fonction coût est semi-continue inférieurement et en conséquence, on peut démontrer l'existence d'un contrôle optimal. On prouve la différentiabilité de la fonction coût, et on donne la forme analytique du gradient dans le chapitre 2. On présente également des résultats numériques. Dans le chapitre 3 on étudie la sensibilité du problème et on donne la forme analytique du gradient sans faire appel à l'état adjoint. Des résultats numériques sont obtenus. Dans le chapitre 4, pour résoudre le problème du fluide, on prescrit la composante normale de la vitesse du fluide et la composante normale des forces de surface. C'est une formulation rarement utilisée pour résoudre les équations de Stokes. On cherche à minimiser la composante tangentielle de la vitesse du fluide à l'interface. On prouve que le problème fluide est bien défini et on présente des résultats numériques. Dans le chapitre 5, on introduit un algorithm où on doit résoudre à chaque pas de temps un problème de minimisation. C'est un algorithme bien adapté notamment quand le fluid est pulsatif. On présente des résultats numériques pour des pas de temps relativement grand.<br /><br />Un résultat de convergence concernant un algorithme pour des maillages dynamiques est présenté dans le chapitre 6. Dans les chapitres 7 et 8, on veut déterminer numériquement l'évolution d'un domaine bidimensionnel avec application au développement cellulaire. L'écoulement du fluide dans le domaine en mouvement dépend de la tension de surface à la frontière libre. Cette tension est proportionnelle à la courbure de la frontière. Les algorithmes employés sont de type ``front-tracking''. Des résultats numériques sont présentés.

Cette thèse présente des algorithmes permettant la parallélisation dans la direction temporelle de la simulation des systèmes régis par des équations aux dérivées partielles issues de trois domaines d'application proposant des modèles complexes: \textbf{1. Contrôle optimal d'équations paraboliques:}\\ Nous développons deux algorithmes parallèles (SITPOC et PITPOC). Ces deux algorithmes sont basés sur une méthode générale de décomposition en temps des problèmes de contrôle optimal. Un résultat de convergence est obtenu pour SITPOC ainsi que des interprétations matricielles des deux algorithmes. \textbf{2. Cinétique de la population de neutrons dans un réacteur nucléaire:}\\ Nous concevons un solveur parallélisé en temps regroupant toutes les variables issues de la modélisation neutronique d'un réacteur. Notre méthode est adaptée aux différents scénarios possibles réduisant la physique. Les résultats numériques sont comparables à ceux obtenus par le code MINOS du CEA. La parallélisation repose sur un schéma de type pararéel pour la résolution en temps. Nous considérons plusieurs modèles physiques de la cinétique des neutrons que nous traitons par notre algorithme dans lequel le solveur grossier utilisé correspond à une simulation par réduction du modèle physique. Cette réduction est bénéfique puisqu'elle permet une accélération importante du traitement en temps machine. \textbf{3. Contrôle par résonance magnétique nucléaire et information quantique:}\\ Ce chapitre présente un travail d'ouverture sur une méthode parallèle en temps pour la résolution d'un problème de contrôle optimal en résonance magnétique nucléaire. Notre méthode produit une accélération importante par rapport à l'algorithme de référence non parallèle. De plus, les champs de contrôle calculés par notre méthode sont lisses, ce qui permet une mise en œuvre expérimentale plus simple dans les instruments. Les tests numériques prouvent l'efficacité de notre approche. Sur des exemples académiques et sans faire usage de techniques de programmation avancées, nous obtenons des accélérations de résolution significatives.

Cette thèse porte sur l'application de techniques de contrôle optimal et de contrôle géométriques au problème de transfert d'orbite de satellite et à la géométrie presque-riemannienne. Dans ces cas, le principe du maximum de Pontryagin permet d'étudier le flot extrémal pour des systèmes de contrôle affines.Dans le cas d'un satellite à faible poussée, la technique de moyennation permet d'approcher les trajectoires du système réel. La moyennation est explicite dans le cas de la minimisation de l'énergie et fait apparaître dans certains cas des problèmes presque-riemanniens. L'étude géométrique de tels problèmes est généralisée par l'étude de métriques sur la deux-sphère de révolution. On peut ainsi classifier les situations selon la transcendance des solutions et discuter l'optimalité selon la nature des lieux de coupure et de conjugaison.L'étude du problème moyenné du transfert orbital et de situations génériques sur la sphère de révolution est motivée par l'approche homotopique de résolution numérique du problème de transfert pour d'autres fonctions de coût. La méthode de continuation couplée à celle de tir simple est utilisée pour résoudre un problème de transfert à forte poussée à consommation minimale de carburant.Les outils géométriques sont aussi utilisés afin d'étudier la situation locale dans un voisinage des points de tangence en géométrie presque-riemannienne en dimension deux. On calcule pour les approximations nilpotente et d'ordre zéro le front d'onde, les sphères de petits rayons et les lieux de coupure et de conjugaison.

Afin d'élaborer des stratégies de contrôle des écoulements en temps réel, il est nécessaire d'avoir recours à des modèles d'ordre réduit (ROMs), car la résolution des équations complètes est trop coûteuse en temps de calcul (des jours, des semaines) et en espace mémoire. Dans cette thèse, les modèles réduits ont été construits avec la méthode POD (Proper Orthogonal Decomposition). Une méthode de projection basée sur la minimisation des résidus, initiée par les travaux de Leblond et al. [134] a été proposée. Dans certaines configurations, la précision des résultats est significativement augmentée, par rapport à une projection de Galerkin classique. Dans un second temps, un algorithme d'optimisation non-linéaire, à direction de descente basée sur la méthode des équations adjointes, a été couplé avec des modèles réduits utilisant des bases POD. Deux méthodes de construction de base POD ont été employées : soit avec un paramètre (un nombre de Reynolds,. . . ), soit avec plusieurs paramètres (plusieurs nombres de Reynolds, . . . ). Les ROMs obtenus ont été utilisés pour contrôler la dispersion d'un polluant dans une cavité ventilée puis pour contrôler le champ de température dans une cavité entraînée différentiellement chauffée. Le contrôle est réalisé en temps quasi-réel et les résultats obtenus sont plutôt satisfaisants. Néanmoins, ces méthodes sont encore trop coûteuses en espace mémoire pour être aujourd'hui embarquées dans les boîtiers de contrôle utilisés dans le bâtiment. Une autre stratégie de contrôle, s'appuyant sur les contrôleurs actuels, a ainsi été développée. Celle-ci permet d'obtenir la température (ainsi que la vitesse) dans la zone d'occupation du bâtiment, en utilisant une décomposition des champs par POD et un algorithme d'optimisation de Levenberg-Marquardt. Elle a été validée sur une cavité différentiellement chauffée, puis appliquée sur une cavité ventilée 3D, proche d'un cas réel.

Ce travail concerne l'étude mathématique et l'analyse numérique d'une méthode de résolution du problème de Cauchy basée sur la minimisation d'une fonctionnelle énergétique. Depuis les travaux de J. Hadamard, le problème de Cauchy est connu pour être mal posé et les méthodes de résolution de ce type de problèmes présentent une importante instabilité numérique dans le cas de données bruitées. Dans le premier chapitre, le problème de Cauchy est introduit et des résultats théoriques classiques sont donnés. La méthode énergétique et le problème de minimisation associé sont présentés, la théorie du contrôle optimal est utilisée pour l'étude mathématique de ce problème de minimisation. Le deuxième chapitre est consacré à l'application de la méthode énergétique pour l'équation de la chaleur stationnaire. Une fois le cadre variationnel défini, la discrétisation éléments finis de la méthode et des estimations d'erreur a priori tenant compte des données bruitées sont données. Lorsque les données sont bruitées, l'erreur atteint une valeurs minimale avant d'exploser numériquement tandis que la fonctionnelle atteint assymptotiquement un seuil dépendant du taux de bruit. Une estimation du seuil atteint par la fonctionnelle en fonction du bruit est donnée et aboutit à la proposition d'un critère d'arrêt pour le processus de minimisation permettant de contrôler l'explosion numérique due au bruit. Enfin, les résultats théoriques sont validés numériquement, la robustesse et l'efficacité du critère d'arrêt proposé sont illustrées par différents tests numériques. La méthode énergétique est ensuite appliquée à l'équation de la chaleur en régime transitoire et est analysée en suivant la méthodologie introduite dans le cas stationnaire.

Cette thèse porte sur des algorithmes de contrôle et de planification de mouvements pour les robots humanoïdes. Le grand nombre de paramètres caractérisant ces systèmes a conduit au développement de méthodes numériques, d'abord appliquées aux bras manipulateurs et récemment adaptées pour les structures plus complexes. On relève particulièrement les formalismes de commande cinématique et dynamique par priorité qui permettent de produire un mouvement selon une hiérarchie préétablie des tâches. Au cours de ce travail, nous avons identifié le besoin d'étendre ce formalisme afin de tenir compte de contraintes unilatérales. Nous nous sommes par ailleurs intéressés à la planification de la locomotion en fonction des tâches. Nous proposons une modélisation jointe du robot et de sa trajectoire de marche comme une structure articulée unique saisissant à la fois les degrés de liberté actionnés (articulations motorisées du robot) et non actionnés (positionnement absolu dans l'espace). L'ensemble de ces algorithmes, qui seront longuement illustrés, ont été implémentés au sein du projet HPP (Humanoid Path Planner) et validés sur le robot humanoïde HRP-2.

Cette thèse se compose de trois articles: 1. Couverture du risque de change en marché complet. Cet article concerne la couverture optimale du risque de change pour une entreprise. Le concept du risque de change de long terme est défini par opposition à la conception classique du risque de change. La couverture optimale intertemporelle du risque de change de long terme est ensuite dérivée par la méthode de contrôle optimal stochastique, dans le cadre d'un modèle où le taux de change suit un processus gaussien avec retour vers le niveau de parité. Il est démontré qu'une telle couverture est une couverture en valeur, qui stabilise le flux des dividendes payés aux actionnaires et dépend du niveau du taux de change par rapport au taux de parité. Le modèle développé dans cet article est riche en recommandations pratiques pour la politique de gestion des risques dans une entreprise. Il apparaît notamment que l'entreprise devrait se couvrir plus si le niveau du taux de change est au-dessus du niveau de parité afin de geler les profits et adopter un comportement inverse dans le cas contraire. 2. Couverture du risque de change en marché incomplet Cet article concerne le problème de couverture du risque de change de long terme en présence des actifs non-échangeables dans le contexte des marchés incomplets. L'incomplétude est générée dans le modèle par un risque multiplicatif et non-couvrable de taille du flux provenant du pays étranger. La couverture optimale est obtenue par la méthode de fictitious completion. Il est démontré que l'incomplétude réduit considérablement la taille de couverture, par rapport à celle observée en marché complet. 3. Couverture du risque de change et décision d'investissement Cet article aborde les aspects concernant l'arrivée de l'information et la prise de décision de couverture optimale du risque de change et celle d'investissement pour une entreprise en présence des actifs non échangeables et coûts de financement externes.

Cette thèse porte sur l'approche de Programmation dynamique et Hamilton-Jacobi- Bellman pour une classe générale de problèmes déterministes de contrôle optimal avec des coefficients discontinus. Les outils utilisés dans ce travail se basent essentiellement sur la théorie de contrôle, la théorie de viscosité pour les équations aux dérivées partielles, l'analyse nonlisse et les systèmes dynamiques. La première partie de la thèse concerne le problème des trajectoires discontinues sous contraintes sur l'état, où les trajectoires sont solutions de systèmes dynamiques impulsionnels. Un résultat de caractérisation de la fonction de valeur pour de tels problème a été obtenu. Une autre contribution issue de cette partie consiste en l'extension de l'approche HJB pour des problèmes gouvernés par des systèmes dynamiques mesurables en temps et en présence de contraintes sur l'état dépendantes du temps. La deuxième partie est consacrée au problème de contrôle optimal sur domaine stratifié, qui consiste en une réunion de sous-domaines séparés par plusieurs interfaces. Une de motivations de ce travail vient du problème de contrôle hybride. Ici on obtient de nouvelles conditions de transmission sur les interfaces qui garantissent l'unicité et la caractérisation de la fonction de valeur. La troisième partie consiste à étudier l'homogénéisation des équations d'Hamilton-Jacobi dans le cadre d'Hamiltonians discontinus en état. Ce travail considère la perturbation singulière des problèmes de contrôle optimal sur une structure périodique stratifié. Le problème limite est analysé et une équation d'Hamilton-Jacobi associée est établie. Cette équation décrit le comportement limite de la fonction de valeur du problème perturbé lorsque l'échelle de périodicité tend vers 0.