Contribution to the specification and the implementation of complex robotic tasks
Contribution à la spécification et à l'implantation de tâches robotiques complexes
Résumé
Nous abordons trois aspects de la commande des robots: 1) la gestion de mouvements complexes de bras manipulateurs; 2) la prise en compte active de données de capteurs dans la gestion des déplacements; 3) la gestion d'un ensemble multi-capteurs et multi-effecteurs. Nous pressentons un générateur de trajectoires qui transforme une représentation externe compréhensible par un opérateur en une représentation interne utilisable par un algorithme d'asservissement. Nous utilisons le concept de commande gardée pour décrire des modifications de mouvements en fonction de données de capteurs. La garde (surveillance de capteurs) et la commande (modification de mouvement) sont deux processus s'exécutant en parallèle. La methode que nous développons reprend les principes proposes par Hoare concernant les processus séquentiels communicants. Nous montrons que la commande d'un ensemble multi-effecteurs et multi-capteurs peut être spécifiée a l'aide de processus séquentiels communicants. Nous proposons un ensemble de primitives permettant la prise en compte des commandes gardées et du parallélisme pour le contrôle des robots. Nous proposons également une implantation expérimentale d'un interpréteur de ces primitive