Ce manuscrit présente mes activités de recherche sur les comportements basés vision pour des robots complexes comme les robots humanoïdes. La question scientifique sous-jacente qui structure ce travail est la suivante: " Quels sont les processus de décisions qui permettent à un robot humanoïde de générer des mouvements en temps réel basés sur des informations visuelles ?" Au football, les êtres humains peuvent décider de frapper une balle alors qu'ils courent et que tous les autres joueurs sont constamment en train de bouger. Reformuler comme un problème d'optimisation pour un robot humanoïde, trouver une solution pour un tel comportement est généralement très difficile du point de vue calculatoire. Par exemple, le problème de la recherche visuelle a été démontré comme étant NP-complet. La première partie de ce travail concerne la génération de mouvements temps réel. Partant des contraintes générales qu'un robot humanoïde doit remplir pour générer un mouvement faisable, des problèmes fondamentaux sont présentés. A partir de ceux-ci, plusieurs contributions permettant à un robot humanoïde de réagira à des changements de l'environnement sont présentés. Ils concernent la génération de la marche, les mouvements corps complets pour éviter des obstacles, et la planification de pas en temps réel dans des environnements contraints. La deuxième partie de ce travail concerne l'acquisition temps-réel de connaissance sur l'environnement à partir de la vision par ordinateur. Deux comportements principaux sont considérés: la recherche visuelle et la construction d'un modèle visuel d'un objet. Ils sont considérés tout en prenant compte le modèle du capteur, le coût du mouvement, les contraintes mécaniques du robot, la géométrie de l'environnement ainsi que les limitations du processus de vision. De plus des contributions sur le couplage de l'auto-localisation basé cartes avec la marche, la génération de pas basé sur l'asservissement visuel seront présentés. Finalement les technologies centrales développées dans les contextes précédents ont été utilisées dans différentes applications: l'interaction homme-robot, la téléopération, l'analyse de mouvement humains. Basé sur le retour d'expérience de plusieurs démonstrateurs intégrés sur le robot humanoïde HRP-2, la dernière partie de cette thèse proposent des pistes pour des idées permettant de lever les verrous technologiques actuels de la robotique humanoïde.

Les robots industriels représentent un moyen de production sophistiqués pour l'industrie manufacturière d'aujourd'hui. Ces manipulateurs sont plus agiles, plus flexibles et moins coûteux que les machines-outils spécialisées. L'exploitation de ces avantages fait l'objet d'une demande croissante de l'industrie. La dynamique de ces manipulateurs est soumise à des nombreuses sources d'imprécision. En effet les défauts de la chaîne de transmission, ou encore les éléments de liaisons peuvent être le siège de déformations et de vibrations dégradant sensiblement leur précision. Ces phénomènes physiques sont d'autant plus difficiles à compenser que seul un sous ensemble des états du système est mesuré par les codeurs moteurs. La structure de commande industrielle actuelle d'un robot n'agit donc pas directement sur ces phénomènes. Il est nécessaire alors de progresser sur le front de l'amélioration de la précision par l'adaptation de la commande à ces nouvelles exigences. Un état de l'art met en évidence un manque de travaux qui traitent de l'élaboration d'anticipations adaptées aux axes d'un robot et intégrant les phénomènes de déformation. En outre, la planification de trajectoire n'est classiquement pas remise en cause et peu évoquée. Elle représente pourtant un moyen d'action éprouvé afin d'améliorer les performances dynamiques en suivi de profil. L'approche proposée dans ce mémoire se veut une alternative à ces méthodes. Elle est basée sur une exploitation d'un modèle dynamique représentatif et détaillé. Il intègre les principaux phénomènes physiques mis en évidence tels que les effets de la gravité, les systèmes mécaniques de compensation, les forces de frottement et la flexibilité articulaire. Cette modélisation associée à des méthodes d'identification expérimentale est exploitée afin de déduire une structure de commande. Elle permet la réduction des déformations élastiques et des vibrations par une action sur la précommande et sur la loi de mouvement adaptée. Ainsi, nous introduisons une méthode d'estimation non asymptotique appliquée en robotique, afin d'estimer rapidement les paramètres vibratoires de ce dernier et contribue à une réactualisation des modèles exploités. Des résultats expérimentaux montrent que cette méthodologie mène à une amélioration des performances de positionnement par rapport à la commande industrielle.

Le robot parallèle Par2, conçu pour des opérations industrielles de prise et dépôt à haute vitesse et haute précision, subit des vibrations importantes à la fin d'un déplacement. Pour minimiser ces vibrations, l'utilisation d'éléments piézo-électriques autour des bras du robot est proposée. L'identification en boucle ouverte des modes flexibles du robot, à 2,5kg de charge sur la nacelle et à la position d'arrêt, est faite en utilisant une technique basée sur les sous-espaces. Deux modèles sont identifiés, un pour la synthèse des contrôleurs et un autre pour leur validation en simulation. Des contrôleurs stabilisant la boucle fermée sont obtenus et comparés pour deux stratégies de commande: H∞ à sensibilité mixte et H∞ Loop Shaping. La robustesse des contrôleurs est ensuite testée pour différentes trajectoires et conditions de charge. Une stratégie anti-windup est mise en place pour corriger l'action d'un contrôleur lorsqu'il ne s'avère pas robuste pour certaines situations limites. Des résultats en simulations et expérimentaux permettent de comparer l'efficacité des contrôleurs / The parallel robot Par2, conceived for high-speed and high-accuracy industrial pick-and-place operations, is subject to severe vibrations at the end of a trajectory. In order to minimize these vibrations, the use of piezoelectric patches wrapped around the robot arms is proposed. The open loop identification of the flexible modes of the robot, charged with 2,5kg and at the stop position, is performed by means of a subspace-based technique. Two models are identified, one for the controller synthesis and another one for validation in simulation. Some stabilizing controllers are obtained and compared for two control strategies: mixed H∞ sensitivity and H∞ Loop Shaping. The robustness of the controllers is tested for different trajectory and charge conditions. An anti-windup strategy is employed to correct the action of a controller when it shows no robustness to some limit situations. Some simulation and experimental results allow comparing the effectiveness of the controllers

L'un des challenges des roboticiens consiste à gérer un grand nombre de variabilités. Ces dernières concernent les concepts liés au matériel et aux logiciels du domaine de la robotique. Par conséquent, le développement des applications de robotique est une tâche complexe. Non seulement, elle requiert la maîtrise des détails de bas niveau du matériel et du logiciel mais aussi le changement du matériel utilisé dans une application entraînerait la réécriture du code de celle-ci. L'utilisation de l'ingénierie dirigée par les modèles dans ce contexte est une voie prometteuse pour (1) gérer les problèmes de dépendance de bas niveau des applications des détails de bas niveau à travers des modèles stables et (2) faciliter le développement des applications à travers une génération automatique de code vers des plateformes cibles. Les langages de modélisation spécifiques aux domaines mettent en oeuvre les techniques de l'ingénierie dirigée par les modèles afin de représenter les concepts du domaine et permettre aux experts de celui-ci de manipuler des concepts qu'ils ont l'habitude d'utiliser. Cependant, ces concepts ne sont pas suffisants pour représenter tous les aspects d'une application car ils très généraux. Il faudrait alors s'appuyer sur une démarche pour extraire des abstractions à partir de cas d'utilisations concrets et ainsi définir des abstractions ayant une sémantique opérationnelle. Le travail de cette thèse s'articule autour de deux axes principaux. Le premier axe concerne la contribution à la conception d'un langage de modélisation spécifique au domaine de la robotique mobile (RobotML). Nous extrayons à partir d'une ontologie du domaine les concepts que les roboticiens ont l'habitude d'utiliser pour la définition de leurs applications. Ces concepts sont ensuite représentés à travers une interface graphique permettant la représentation de modèles afin d'assurer une facilité d'utilisation pour les utilisateurs de RobotML. On offre ainsi la possibilité aux roboticiens de représenter leurs scénarios dans des modèles stables et indépendants des plateformes cibles à travers des concepts qu'ils ont l'habitude de manipuler. Une génération de code automatique à partir de ces modèles est ensuite possible vers une ou plusieurs plateformes cibles. Cette contribution est validée par la mise en oeuvre d'un scénario aérien dans un environnement inconnu proposé par l'ONERA. Le deuxième axe de cette thèse tente de définir une approche pour rendre les algorithmes résistants aux changements des détails de ba niveau. Notre approche prend en entrée la description d'une tâche de robotique et qui produit : un ensemble d'abstractions non algorithmiques représentant des requêtes sur l'environnment y compris le robot ou des actions de haut niveau , un ensemble d'abstractions algorithmiques encapsulant un ensemble d'instructions permettant de réaliser une sous-tâche de la tâche étudiée , algorithme générique configurable défini en fonction de ces abstractions. Ainsi, l'impact du changement du matériel et des stratégies définies dans les sous-tâches n'est pas très important. Il suffit d'adapter l'implantation de ces abstractions sans avoir à modifier l'algorithme générique. Cette approche est validée sur six variantes d'une famille d'algorithmes de navigation appelée Bug.

L'objectif dans ce travail est d'étudier la locomotion humaine. Notre approche met en évidence le rapport qui existe entre la forme géométrique des trajectoires locomotrices et le modèle cinématique simplifié d'un robot mobile à roues. Ce type de système a déjà été longtemps étudié dans le domaine de la robotique. D'un point de vue purement cinématique, la particularité d'un robot à roues est la contrainte non holonome qui impose au robot de se déplacer toujours selon la tangente à son axe principal. Dans le cas de la marche humaine, les observations nous montrent que les humains marchent vers l'avant et la direction instantanée du corps est tangente à la trajectoire qu'ils réalisent (dû à certains restrictions mécanique, anatomique... du corps au moment de la marche). Ce couplage entre la direction et la position du corps impose une contrainte non holonome parce qu'elle ne restreint pas la dimension de l'espace accessible à partir d'une configuration quelconque. Du point de vue du conducteur, une voiture possède deux commandes : l'accélérateur et le volant. La première question abordée ici peut être formulée de la manière suivante : où se trouve le ''volant'' du corps humain ? Plusieurs repères ont été associés aux différents parties du squelette (tête, tronc et bassin). Dans notre étude expérimentale nous montrons qu'il existe un repère qui prend en compte la nature non holonome de la locomotion humaine et que c'est le tronc qui joue le rôle du "volant". Nous avons validé notre modèle avec une base de données de 1560 trajectoires enregistrées à partir des trajectoires faites par 7 sujets. La deuxième question abordée dans ce travail est la suivante : parmi toutes les trajectoires possibles qui existent pour atteindre une position avec une orientation données, pourquoi l'humain effectue une trajectoire au lieu d'une autre ? Afin de donner une possible réponse à cette question, nous avons fait appel à la commande optimale : les trajectoires ont été choisies sel on un critère à optimiser. Dans cette perspective, le sujet est vu comme un système de commande, donc, la question devient : quel est le critère à optimiser ? est-ce la longueur de la trajectoire ? ou le temps parcouru ? ou la secousse minimale ?... Dans cet étude nous montrons que les trajectoires locomotrices peuvent être approximées par les géodésiques d'un système différentiel minimisant la norme de la commande. Ces géodésiques sont composés de morceaux de clothoides. Une clothoide, ou spirale de Cornu, est une courbe dont la courbure varie linéairement en fonction de l'abscisse curviligne. Nous montrons que le 90% des trajectoires faites par les 7 sujets ont été approximées avec une erreur moyenne de moins de 10cm. Dans la dernière partie de ce travail nous réalisons la synthèse numérique de trajectoires optimales dans l'espace atteignable. Il s'agit de partitionner l'espace des configurations par rapport aux différents types de trajectoires optimales qui peuvent relier l'origine à un point dans cet espace. Deux points appartiennent à une même cellule si les trajectoires parcourues sont de même type. Dans la plupart des cas le passage entre deux cellules adjacentes se fait par une déformation continue des trajectoires. Il est remarquable de noter que les rares cas de discontinuités du modèle proposé correspondent précisément aux changements de stratégies observées chez les sujets.

Cette thèse présente une approche neuro-robotique du contrôle du mouvement d'atteinte pour des systèmes anthropomorphes tels que les robots humanoïdes. L'objectif de cette étude est double. D'une part, elle présente un état de l'art des modèles de commande existant en neurosciences du mouvement et décrit un ensemble de principes de contrôle moteur pouvant être utilisés pour la commande des robots humanoïdes. D'autre part, elle propose une utilisation de formalismes issus de la robotique pour la modélisation des processus de transformations sensori-moteurs nécessaires à l'exécution d'un mouvement volontaire. En particulier, il est mis en évidence que le formalisme de la commande référencée capteur et les modèles cinématiques et dynamiques des chaînes articulées, qui jouent un rôle essentiel pour la modélisation du problème de commande du mouvement en robotique, peuvent apporter des éléments clés pour répondre à des questions ouvertes en neurosciences. Sur le premier aspect du travail, nous avons développé une méthode de contrôle, basée sur un modèle d'optimisation du mouvement proposé en neurosciences, que nous avons ensuite appliquée à la commande des mouvements d'atteinte du robot HRP2. Les mouvements produits par cette méthode paraissent très ressemblants aux mouvements observés chez l'homme et présentent les caractéristiques principales des mouvements humains, à savoir : trajectoire quasirectiligne de la main avec profil de vitesse en forme de cloche. Nous avons également développé une autre méthode de contrôle inspirée de la théorie des primitives motrices en neurosciences. Cette méthode permet de simplifier la complexité du problème de commande en produisant rapidement des mouvements réalistes du robot à partir d'un ensemble de mouvements de référence. Ces différents résultats montrent que les théories du contrôle moteur humain peuvent être utilisées avec succès pour élaborer des méthodes de contrôle du mouvement d'atteinte des robots humanoïdes. Sur le deuxièm e aspect du travail, nous avons développé un modèle de coordination main-oeil pour tester et comparer des mouvements produits à partir d'un référentiel oculo-centré et d'un référentiel corps-centré. Ce modèle, qui repose sur des contrôleurs biologiquement inspirés de l'oeil et du bras, en boucle fermée sur les informations sensorielles, permet de commander simultanément le mouvement de la main vers la cible mobile et la direction du regard vers la cible. En comparant les trajectoires obtenues avec ce modèle en utilisant tour à tour le référentiel du corps et de l'oeil, nous montrons que les mouvements produits à partir du référentiel oculo-centré sont plus robustes par rapport aux erreurs de perception. Alors que la question de l'identification du référentiel utilisé par le cerveau pour le codage du mouvement fait l'objet d'un le débat controversé en neurosciences, ce résultat apporte des arguments de nature computationnelle en faveur d'un codage oculo-centré du mouvement d'atteinte visuellement guidé.

L'autonomie d'un robot mobile se caractérise par sa capacité à agir et à se déplacer dans l'environnement sans intervention humaine. La planification de mission pour un robot mobile fait intervenir un raisonnement symbolique pour le choix des actions permettant d'accomplir la mission et un raisonnement géométrique pour le calcul des déplacements du robot afin de réaliser ces actions. Dans un premier temps, nous comparons différentes approches permettant de coupler un planificateur de tâches et un planificateur de mouvements. Les résultats obtenus en termes de messages échangés entre les deux modules de raisonnement et en termes de temps de calcul tendent à montrer qu'un couplage dans lequel les exécutions des deux planificateurs sont entrelacées est l'approche offrant les meilleures performances. À partir de ce constat, nous proposons une architecture de planification hybride mettant en oeuvre un planificateur de tâches et un planificateur de mouvements dont les exécutions sont entrelacées. Nous avons été amenés à étendre le concept d'opérateur de planification afin de permettre l'expression et la prise en compte de préconditions géométriques ainsi que d'effets géométriques. Ces préconditions, définissant géométriquement la manière de réaliser les actions, sont ensuite envoyées au module de raisonnement géométrique sous la forme de requêtes de planification. Les contraintes géométriques sont extraites des préconditions, traduites en fonctions mathématiques, puis satisfaites à l'aide d'un algorithme de programmation non linéaire. Un chemin est ensuite calculé entre la configuration actuelle du robot et la configuration solution à l'aide d'un algorithme de planification de mouvement appelé Cell-RRT. Les effets géométriques permettent de transmettre les modifications des ressources partagées au module de raisonnement symbolique et fournissent des références sur les configurations du robot en début ou en fin de réalisation d'une action. Ces références peuvent ensuite intervenir lors de la planification d'une nouvelle action. L'algorithme de planification de mouvements mis en oevre est un algorithme probabiliste incrémental qui s'appuie sur le principe de l'algorithme RRT. Il est couplé avec une phase de réduction de l'espace de recherche. Durant cette phase, l'environnement est décomposé en un ensemble de cellules puis un algorithme de recherche de plus court chemin est appliqué afin de définir un sous-ensemble de l'espace de recherche. Les échanges entre les deux planificateurs font également appel à la notion de conseil afin de permettre le guidage de la construction du plan par des heuristiques géométriques ainsi que de permettre des phases d'optimisation du plan. Cette architecture hybride est finalement testée sur des scénarios de missions mettant ainsi en avant la validité de nos propositions. Le planificateur de déplacement Cell-RRT est également évalué afin d'étudier les gains réalisés, en termes de distances parcourues et de temps de calcul, en fonction de l'ajustement de ses différents paramètres de configuration.

Il y a une trentaine d'années, l'apparition de la technologie endoscopique a ouvert la voie à la chirurgie mini-invasive. Cette nouvelle approche permet de diminuer fortement la taille des incisions et des cicatrices, réduisant le traumatisme per- et post-opératoire et le risque d'infection. Les avantages en termes de douleur et d'esthétique ont contribué à l'expansion rapide de la laparoscopie en urologie, gynécologie et chirurgie digestive. Mais si cette technique offre de nombreux avantages au patient, elle complique les gestes chirurgicaux. En particulier, la manipulation manuelle du laparoscope pose de nombreux problèmes ergonomiques. Notre objectif est de concevoir un dispositif porte-laparoscope robotisé permettant au chirurgien de télécommander celui-ci. Partant de cette demande initiale, cette thèse s'attache tout d'abord à étudier en détail la chirurgie laparoscopique, en collaboration avec des praticiens. Par la clarification des problèmes auxquels ils sont confrontés, un cahier des charges de dispositif est construit. Ensuite, les choix fondamentaux de la structure du robot sont posés. La conception des différents sous-ensembles de la solution suit une démarche rationnelle, jusqu'à la réalisation d'un prototype. Une attention particulière est portée à l'ergonomie générale du système et de son interface de commande. Un essai clinique expérimental clôture ce travail et valide le principe de solution retenu. Nous proposons enfin quelques pistes d'amélioration du robot et une série d'études et d'essais complémentaires, et revenons sur les objectifs initialement identifiés, à la lumière des résultats engrangés et de l'expérience acquise au long de cette recherche.

This habilitation thesis is first devoted to applications related to image representation and coding. If the image and video coding community has been traditionally focused on coding standardization processes, advanced services and functionalities have been designed in particular to match content delivery system requirements. In this sense, the complete transmission chain of encoded images has now to be considered. To characterize the ability of any communication network to insure end-to-end quality, the notion of Quality of Service (QoS) has been introduced. First defined by the ITU-T as the set of technologies aiming at the degree of satisfaction of a user of the service, QoS is rather now restricted to solutions designed for monitoring and improving network performance parameters. However, end users are usually not bothered by pure technical performances but are more concerned about their ability to experience the desired content. In fact, QoS addresses network quality issues and provides indicators such as jittering, bandwidth, loss rate... An emerging research area is then focused on the notion of Quality of Experience (QoE, also abbreviated as QoX), that describes the quality perceived by end users. Within this context, QoE faces the challenge of predicting the behaviour of any end users. When considering encoded images, many technical solutions can considerably enhance the end user experience, both in terms of services and functionalities, as well as in terms of final image quality. Ensuring the effective transport of data, maintaining security while obtaining the desired end quality remain key issues for video coding and streaming. First parts of my work are then to be seen within this joint QoS/QoE context. From efficient coding frameworks, additional generic functionalities and services such as scalability, advanced entropy coders, content protection, error resilience, image quality enhancement have been proposed. Related to advanced QoE services, such as Region of Interest definition of object tracking and recognition, we further closely studied pseudo-semantic representation. First designed toward coding purposes, these representations aim at exploiting textural spatial redundancies at region level. Indeed, research, for the past 30 years, provided numerous decorrelation tools that reduce the amount of redundancies across both spatial and temporal dimensions in image sequences. To this day, the classical video compression paradigm locally splits the images into blocks of pixels, and processes the temporal axis on a frame by frame basis, without any obvious continuity. Despite very high compression performances such as AVC and forthcoming HEVC standards , one may still advocate the use of alternative approaches. Disruptive solutions have also been proposed, and offer notably the ability to continuously process the temporal axis. However, they often rely on complex tools (\emph{e.g.} Wavelets, control grids) whose use is rather delicate in practice. We then investigate the viability of alternative representations that embed features of both classical and disruptive approaches. The objective is to exhibit the temporal persistence of the textural information, through a time-continuous description. At last, from this pseudo-semantic level of representation, texture tracking system up to object tracking can be designed. From this technical solution, 3D object tracking is a logical outcome, in particular when considering vision robotic issues.

Cette thèse s'intéresse aux problèmes de localisation en robotique mobile, et plus particulièrement à l'intérêt d'une approche ensembliste pour ces problèmes. Actuellement les méthodes probabilistes sont les plus utilisées pour localiser un robot dans son environnement, cette thèse propose des approches alternatives basées sur l'analyse par intervalles. Dans un premier temps, une méthode ensembliste s'intéressant au problème de localisation globale est proposée. Le problème de localisation globale correspond à la localisation d'un robot dans son environnement, sans connaissance à priori sur sa posture (position et orientation) initiale. La méthode proposée associe le problème de localisation à un problème de satisfaction de contraintes (CSP). Elle permet de localiser le robot en utilisant la connaissance de l'environnement, ainsi qu'un jeu de mesures LIDAR. Cette méthode est validée à l'aide de différentes expérimentations et est comparée à une approche probabiliste classique : la Localisation Monte Carlo (MCL). Dans un second temps une notion de visibilité est étudiée. Deux points sont supposés visibles, si le segment défini par ces deux points n'intersecte pas d'obstacle, autrement ils sont dit non-visibles. À l'aide de l'analyse par intervalles, des contracteurs associés à cette notion de visibilité sont développés. Après une présentation théorique de la visibilité, deux applications de ces contracteurs à la localisation en robotique mobile sont présentées : le suivi de posture d'une meute de robots à l'aide d'une information booléenne, et la prise en compte d'une contrainte supplémentaire dans le CSP associé à la localisation globale.