Manipulation planning for documented objects
Planification de mouvement pour objets documentés
Résumé
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.
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.
| Origine | Version validée par le jury (STAR) |
|---|