Vérification-correction de programme pour la prise en compte des incertitudes en programmation automatique des robots
FR |
EN
Auteur / Autrice : | Pierre Puget |
Direction : | Philippe Jorrand, Jean Fonlupt |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 1989 |
Etablissement(s) : | Grenoble INPG |
Partenaire(s) de recherche : | Laboratoire : Institut d'informatique et mathématiques appliquées (Grenoble1989-2006) |
Mots clés
FR
Mots clés contrôlés
Résumé
FR
Le programme produit par un système de programmation automatique, est obtenu en planifiant séparément les opérations de saisie, transport et montage des objets, et en ignorant les incertitudes géométriques (introduisant des interdépendances entre les actions). L'approche de vérification-correction de programme s'appuie sur un modèle incluant une représentation des incertitudes et s'appuie sur une description des actions des robots