L'objet des recherches en planification de tâches est d'élaborer des algorithmes et des représentations qui participent à l'autonomie des robots en les dotant de capacités décisionnelles. Classiquement, un plan symbolique synthétisé par un planificateur permet au robot de décider des prochaines actions qu'il doit accomplir pour satisfaire sa mission. Dans cette thèse, nous développons l'idée que les planificateurs actuels, basés sur une représentation logique du monde, ne sont pas suffisants pour traiter des missions où les contraintes de mouvements des robots et celles liées à la manipulation d'objet ne peuvent pas être ignorées à cette étape. Souvent, en robotique, la faisabilité des mouvements et des manipulations est un pré-requis à la bonne exécution d'un plan. Dans cette thèse, nous introduisons un formalisme permettant de prendre en considération ces contraintes dans le modèle utilisé par un planificateur. En nous appuyant sur des résultats issus de la planification de mouvements et de manipulations autant que sur ceux de la planification de tâches, nous proposons un nouveau planificateur capable de raisonner sur ce formalisme. Nous produisons alors des plans définissant non seulement un ordre d'actions mais également les mouvements sans collision nécessaires à son exécution. L'implémentation de ce planificateur est présentée et évaluée.

Cette thèse traite du problème de planification de mouvement pour objets documentés. La difficulté du problème réside dans le couplage d’un problème symbolique et d’un problème géométrique. Les approches habituelles combinent la planification de tâche et la planification de mouvement. Elles sont complexes à implémenter et coûteuse en temps de calcul. Notre approche se différencie sur trois aspects. Le premier aspect est un cadre théorique modélisant les mouvements admissibles du robot et des objets. Ce modèle théorique utilise des contraintes pour lier tâche symbolique et chemins géométriques accomplissant cette tâche. Un graphe de contrainte permet de modéliser les règles de manipulation. Un algorithme de planification utilisant ce graphe est proposé. Le deuxième aspect est la gestion de chemin contraint. Dans le cadre de la manipulation, un définition abstraite sous forme de contrainte numérique est nécessaire. Un critère de continuité pour les méthodes de type Newton-Raphson est proposé pour assurer la continuité de trajectoire dans des sous-variétés. Le dernier aspect est la documentation des objets. Certaines informations, facile à définir pour l’être humain, accélère grandement la recherche d’une solution. Cette documentation, spécifique à chaque objet et préhenseur, est utilisée pour générer un graphe de contrainte, facilitant ainsi la spécification et la résolution du problème. / This thesis tackles the manipulation planning for documented objects. The difficulty of the problem is the coupling of a symbolic and a geometrical problem. Classical approaches combine task and motion planning. They are hard to implement and time consuming. This approach is different on three aspects. The first aspect is a theoretical framework to model admissible motions of the robot and objects. This model uses constraints to link symbolic task and motions achieving such task. A graph of constraint models the manipulation rules. A planning algorithm using this graph is proposed. The second aspect is the handling of constrained motion. In manipulation planning, an abstract definition of numerical constraint is necessary. A continuity criterion for Newton-Raphson methods is proposed to ensure the continuity of trajectories in sub-manifolds. The last aspect is object documentation. Some information, easy to define for human beings, greatly speeds up the search. This documentation, specific to each object and end-effector, is used to generate a graph of constraint, easing the problem specification and resolution.