951. Contribution to the specification and the implementation of complex robotic tasks
- Author
-
Lefebvre, Jean Marc, Institut d'Informatique et de Mathématiques Appliquées de Grenoble (IMAG), Université Joseph Fourier - Grenoble 1 (UJF)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Institut National Polytechnique de Grenoble - INPG, Emmanuel Mazer, and Imag, Thèses
- Subjects
trajectoire ,communication ,coopération ,capteur ,robotique ,[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation ,asservissement ,[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation ,parallélisme - Abstract
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
- Published
- 1989