L'objectif de cette thèse est d'étudier la prise en compte de phase de déséquilibre dans la commande pour la marche d'un robot bipède. Cette thèse est donc dédiée à l'analyse de stabilité pour des marches cycliques avec sous-actionnement. Un robot planaire à contact ponctuel avec le sol est étudié. Les outils d'analyse de stabilité de type méthode de Poincaré, Dynamique de Zéro et Dynamiques de zéro hybrides sont abordées. Deux lois de commande basées sur des mouvements articulaires de référence (fréquents en robotique) sont proposées et comparées avec une loi de commande de suivi de trajectoire articulaire (l'évolution temporelle étant libre). Ensuite le cas d'un robot bipède évoluant en 3D avec pieds est abordé. Nous avons fait le choix d'asservir explicitement la position du ZMP (Zero Moment Point). En conséquence, deux variables à asservir étant alors définies, le système est traité comme un système sous-actionné. Les approches développées précédemment sont alors reprises pour obtenir une marche stable. Un asservissement de l'orientation du pied en transfert est nécessaire pour assurer une bonne pose du pied. Par ailleurs, une loi de commande de direction est proposée afin de contrôler la direction de marche du robot pour passer par une porte et atteindre une destination avec une courbure douce. Enfin, la commande proposée est étendue à un robot bipède avec des bras et une marche incluant une phase de rotation autour de l'axe métatarsien en fin de phase de simple appui. On montre que la commande proposée s'étend naturellement à cette phase de déséquilibre grâce à l'asservissement du ZMP qu'elle contient, cette approche est validée par les résultats de simulation.

Les problèmes d'optimisation combinatoire sont souvent des problèmes très difficiles dont la résolution par des méthodes exactes peut s'avérer très longue ou peu réaliste. L'utilisation de méthodes heuristiques permet d'obtenir des solutions de bonne qualité en un temps de résolution raisonnable. Les heuristiques sont aussi très utiles pour le développement de méthodes exactes fondées sur des techniques d'évaluation et de séparation. Nous nous sommes intéressés dans un premier temps à proposer une méthode heuristique pour le problème du sac à dos multiple MKP. L'approche proposée est comparée à l'heuristique MTHM et au solveur CPLEX. Dans un deuxième temps nous présentons la mise en œuvre parallèle d'une méthode exacte de résolution de problèmes d'optimisation combinatoire de type sac à dos sur architecture GPU. La mise en œuvre CPU-GPU de la méthode de Branch and Bound pour la résolution de problèmes de sac à dos a montré une accélération de 51 sur une carte graphique Nvidia Tesla C2050. Nous présentons aussi une mise en œuvre CPU-GPU de la méthode du Simplexe pour la résolution de problèmes de programmation linéaire. Cette dernière offre une accélération de 12.7 sur une carte graphique Nvidia Tesla C2050. Enfin, nous proposons une mise en œuvre multi-GPU de l'algorithme du Simplexe, mettant à contribution plusieurs cartes graphiques présentes dans une même machine (2 cartes Nvidia Tesla C2050 dans notre cas). Outre l'accélération obtenue par rapport à la mise en œuvre séquentielle de la méthode du Simplexe, une efficacité de 96.5 % est obtenue, en passant d'une carte à deux cartes graphiques.

Notre travail porte sur l'extraction de connaissances sur des langages graphiques dont les symboles sont a priori inconnus. Nous formons l'hypothèse que l'observation d'une grande quantité de documents doit permettre de découvrir les symboles composant l'alphabet du langage considéré. La difficulté du problème réside dans la nature bidimensionnelle et manuscrite des langages graphiques étudiés. Nous nous plaçons dans le cadre de tracés en-ligne produit par des interfaces de saisie de type écrans tactiles, tableaux interactifs ou stylos électroniques. Le signal disponible est alors une trajectoire échantillonnée produisant une séquence de traits, eux-mêmes composés d'une séquence de points. Un symbole, élément de base de l'alphabet du langage, est donc composé d'un ensemble de traits possédant des propriétés structurelles et relationnelles spécifiques. L'extraction des symboles est réalisée par la découverte de sous-graphes répétitifs dans un graphe global modélisant les traits (noeuds) et leur relations spatiales (arcs) de l'ensemble des documents. Le principe de description de longueur minimum (MDL : Minimum Description Length) est mis en oeuvre pour choisir les meilleurs représentants du lexique des symboles. Ces travaux ont été validés sur deux bases expérimentales. La première est une base d'expressions mathématiques simples, la seconde représente des graphiques de type organigramme. Sur ces bases, nous pouvons évaluer la qualité des symboles extraits et comparer à la vérité terrain. Enfin, nous nous sommes intéressés à la réduction de la tâche d'annotation d'une base en considérant à la fois les problématiques de segmentation et d'étiquetage des différents traits.

Cette thèse se situe dans le contexte des systèmes (min,+)-linéaires incertains, contenus dans des intervalles dont seules les bornes sont connues. Dans un premier temps, puisque les calculs exacts - somme, inf-convolution, étoile de Kleene/clôture sous-additive - sont souvent coûteux en espace mémoire et en temps de calculs, des calculs approchés sont proposés à travers des fonctions d'inclusion. Les résultats obtenus sont des intervalles particuliers appelés conteneurs. La borne supérieure d'un conteneur est l'élément le plus grand de la classe d'équivalence du système approché selon la transformée de Legendre-Fenchel. La borne inférieure représente un minorant de cette classe d'équivalence et ainsi du système exact. Les caractéristiques de convexité de ces bornes permettent d'obtenir des algorithmes de calculs de complexité linéaire et quasi-linéaire. Dans un second temps, la commande des systèmes (min,+)-linéaires incertains est étudiée. Ces incertitudes peuvent apparaître suite aux calculs effectués sur les conteneurs proposés ci-dessus, mais également lorsque des paramètres incertains ou variables sont présents lors des modélisations. Des structures de contrôles existantes (précompensateur, retour de sortie) sont appliquées à ces systèmes incertains et les problèmes suivants sont ainsi traités : problème du Window Flow Control, réduction de l'incertitude en sortie du système contrôlé par un précompensateur, calcul d'un précompensateur neutre ralentissant les entrées sans dégrader la dynamique du système seul.

Les systèmes actifs d'aide à la conduite des véhicules automobiles ont besoin d'informations sur l'état du véhicule pour construire des stratégies de contrôle efficaces. L'objectif de cette thèse est de développer des observateurs à entrées inconnues qui permettent d'estimer différentes variables liées à l'état du véhicule et de son environnement. Après avoir présenté différentes modélisations du véhicule, différents observateurs d'état à entrées inconnues de systèmes linéaires et non linéaires sont exposés afin d'estimer des variables explicatives de la dynamique du véhicule.

La réalisation des missions spatiales repose de plus en plus souvent sur la coopération entre différents engins spatiaux. Parmi les opérations de proximité, ! le rendez-vous orbital est une pratique aussi ancienne que la ! conquête spatiale, qui continue de générer de nombreux travaux de recherche. Cependant, les motivations et les objectifs des récentes missions de rendez-vous orbital ont largement évolués. En effet, les besoins d'une autonomie accrue, d'une sécurité améliorée, d'une plus grande flexibilité et d'une réduction des coûts, constituent autant d'incitations au développement de nouvelles méthodes de guidage et contrôle. La satisfaction de contraintes très variées, dues à des considérations de sécurité ou à des limitations technologiques incontournables des actionneurs ou des capteurs, contribuent à la richesse du problème posé. Dans ce contexte, le développement de nouveaux algorithmes de commande constitue un vrai défi scientifique que cette thèse tente de relever. Les travaux de cette thèse sont basées sur l'analyse structurelle des expressions décrivant le mouvement relatif entre deux véhicules en orbite. Sur la base d'un modèle simplifié, une nou! velle paramétrisation du mouvement relatif est proposée. Celle-ci, particulièrement adaptée à la caractérisation des trajectoires périodiques, offre la possibilité d'une prise en compte de contraintes d'état très variées. Un lien formel est mis en évidence entre les paramètres définissant les trajectoires contraintes et le cône des matrices semi définies positives. Ces résultats sont exploités dans le développement des algorithmes de design de trajectoires pour des opérations de proximité, sous hypothèse de poussée impulsionnelle. Ces algorithmes ont, entre autre, la propriété de permettre la satisfaction des contraintes sur la trajectoire de manière continue dans le temps, tout en utilisant les outils numériques de la programmation convexe. Le problème spécifique de la robustesse des manœuvres aux incertitudes de la chaîne de mesure est aussi abordé dans ce manuscrit. Des approches de type commande prédictive sont mises en place afin de garantir aux opérations une p! récision souhaitée en présence de perturbations.

Le sujet de thèse porte sur la planification tactique et opérationnelle d'une chaîne logistique dans un contexte dynamique. Nous proposons un modèle de planification basé sur une structure décisionnelle à deux niveaux. Adoptant un processus dynamique permettant d'actualiser les données à chaque étape de planification, le premier niveau planifie la production en recherchant le meilleur compromis entre les leviers décisionnels disponibles liés aux aspects capacité et coût de production. Le deuxième niveau établit un ordonnancement agrégé des opérations de fabrication en minimisant les en-cours. Le recours à une structure décisionnelle intégrée nous a conduit à établir une interaction entre les niveaux supérieur et inférieur de décision, mise en oeuvre par des contraintes dites de conservation d'énergie. Notre approche est modélisée sous la forme d'un problème de satisfaction de contraintes (CSP, Constraint Satisfaction Problem) et évaluée par simulation dans un contexte de données incertaines. Nous avons mené différentes expérimentations portant sur la variation de la demande, la variation de la capacité et la re-planification de la demande. Toutes les expérimentations sont réalisées par deux méthodes de résolution différentes : une méthode basée sur un CSP statique et une méthode basée sur un CSP dynamique. La performance d'une solution de planification/ordonnancement est renseignée par l'ensemble des mesures de la stabilité et de la robustesse. Les expérimentations réalisées offrent une démonstration de la performance de la méthode de résolution basée sur un CSP dynamique par rapport à la méthode statique.

L'attention visuelle est l'un des mécanismes les plus importants mis en oeuvre par le système visuel humain (SVH) afin de réduire la quantité d'information que le cerveau a besoin de traiter pour appréhender le contenu d'une scène. Un nombre croissant de travaux est consacré à l'étude de l'attention visuelle, et en particulier à sa modélisation computationnelle. Dans cette thèse, nous présentons des études portant sur plusieurs aspects de cette recherche. Nos travaux peuvent être classés globalement en deux parties. La première concerne les questions liées à la vérité de terrain utilisée, la seconde est relative à la modélisation de l'attention visuelle dans des conditions de visualisation 3D. Dans la première partie, nous analysons la fiabilité de cartes de densité de fixation issues de différentes bases de données occulométriques. Ensuite, nous identifions quantitativement les similitudes et les différences entre carte de densité de fixation et carte d'importance visuelle, ces deux types de carte étant les vérités de terrain communément utilisées par les applications relatives à l'attention. Puis, pour faire face au manque de vérité de terrain exploitable pour la modélisation de l'attention visuelle 3D, nous procédons à une expérimentation oculométrique binoculaire qui aboutit à la création d'une nouvelle base de données avec des images stéréoscopiques 3D. Dans la seconde partie, nous commençons par examiner l'impact de la profondeur sur l'attention visuelle dans des conditions de visualisation 3D. Nous quantifions d'abord le " biais de profondeur " lié à la visualisation de contenus synthétiques 3D sur écran plat stéréoscopique. Ensuite, nous étendons notre étude avec l'usage d'images 3D au contenu naturel. Nous proposons un modèle de l'attention visuelle 3D basé saillance de profondeur, modèle qui repose sur le contraste de profondeur de la scène. Deux façons différentes d'exploiter l'information de profondeur par notre modèle sont comparées. Ensuite, nous étudions le biais central et les différences qui existent selon que les conditions de visualisation soient 2D ou 3D. Nous intégrons aussi le biais central à notre modèle de l'attention visuelle 3D. Enfin, considérant que l'attention visuelle combinée à une technique de floutage peut améliorer la qualité d'expérience de la TV-3D, nous étudions l'influence de flou sur la perception de la profondeur, et la relation du flou avec la disparité binoculaire.

Les principales contributions de cette thèse concernent le développement de méthodes pour la synthèse de contrôleurs et pour l'analyse de la stabilité des systèmes linéaires, soit variant ou invariant dans le temps. Concernant les systèmes invariant dans le temps, le but est la synthèse de contrôleurs robustes d'ordre réduit pour les systèmes en temps continu qui présentent des paramètres incertains. La méthode présentée pour la synthèse est basée sur une technique en deux étapes, o'u un gain de retour d'état est construit dans la première étape, et appliqué à la deuxième, fournissant le contrôleur robuste souhaité. Chaque étape consiste à la résolution de conditions sous la forme d'inégalités matricielles linéaires. Dans le cas des systèmes variant dans le temps, en général, en fonction des informations disponibles, deux modèles mathématiques peuvent être utilisés. D'un côté, pour des systèmes dont les éléments variant dans le temps sont bornés mais pas complètement connus, on peut utiliser des modèles dépendant de paramètres variants, ce qui donne une représentation polytopique. Dans ce cas là, la technique de stabilisation proposée est basée sur la méthode en deux étapes, pour générer des contrôleurs dépendants des paramètres. On suppose que les paramètres sont mesurables en ligne, et les contrôleurs sont synthétisés pour qu'ils soient robustes à des bruits de mesures. De l'autre côté, si les dynamiques variantes dans le temps sont connues, on peut traiter directement le système sans utiliser aucune paramétrisation. Deux techniques de synthèse sont proposées pour ce cas : la construction des gains stabilisants en utilisant directement la matrice de transition d'état, et une technique de synthèse conçue à partir d'un nouveau critère de vérification de la stabilité du système. La validité des méthodes proposées est illustrée par plusieurs exemples numériques, qui montrent la qualité des résultats qui peuvent être obtenus.

La surveillance des systèmes mécatroniques, en particulier, ceux intégrés sur les véhicules d'aujourd'hui est de plus en plus difficile. Les interconnexions de ces systèmes en vue de l'accroissement des performances et du confort de véhicule augmentent la complexité de l'information nécessaire à la prise de décision en temps réel. Cette thèse est consacrée à la problématique de détection et d'isolation (FDI, Fault Detection & Isolation) de pannes automobiles en utilisant des systèmes de recherche et d'évaluation de l'information par des approches monocritères. Les variables pertinentes pour la détection rapide des pannes sont sélectionnées d'une manière automatique en utilisant deux approches différentes : I. La première consiste à introduire la notion de conflit entre toutes les variables mesurables du système mécatronique et les analyser à partir des projections dans des espaces de classification hyper-rectangles. II. La deuxième approche consiste à utiliser la complexité de Kolmogorov comme outil de classification des signatures de pannes. L'estimation de la complexité de Kolmogorov par des algorithmes de compression sans perte d'information permet de définir un dictionnaire de pannes et de donner un score de criticité par rapport au bon fonctionnement du véhicule. Les deux approches proposées ont été appliquées avec succès sur plusieurs types de données automobiles dans le cadre du projet ANR-DIAPA