MASL, Langage de controle multi-agents robotiques

MASL : a control language for multi-robotic agent system

• Auteur / Autrice : Michel Dubois
• Direction : Dominique Duhaut
• Type : Thèse de doctorat
• Discipline(s) : Sciences et technologies de l'information et de la communication
• Date : Soutenance en 2008
• Etablissement(s) : Lorient

Mots clés

Mots clés contrôlés

Robots -- Systèmes de commande

Reconfiguration ( informatique)

Robots -- Programmation

Mots clés libres

Masl

Systèmes multi-agents

Langage de contrôle

Langage synchrone

Résumé

L'approche classique des langages pour le contrôle de Systèmes Multi-Agents (SMA), a fortiori robotiques et autonomes, consiste d'abord en un point de vue microscopique : chaque agent dispose de son propre programme de contrôle contenant des primitives de communication / synchronisation permettant la coopération / collaboration entre agents. L'émergence d'un comportement global, le point de vue macroscopique du calcul, ne peut qu'être observé a posteriori. Dans ce contexte, MASL propose une approche unifiée et macroscopique à l'expression de calculs hétérogènes et distribués sur des agents conçus en suivant le modèle délibératif, réactif ou hybride. C'est un langage de haut niveau indépendant de l'exécutif où chaque agent, vu comme une entité concurrente, détermine localement sa participation à des blocs d'exécution collectifs (e-blocs). Chaque e-bloc est un programme collectif anonyme pouvant s'exécuter sur un réseau d'agents selon des critères locaux. Le mode d'orchestration (scalaire, synchrone, asynchrone) est déterminé statiquement par un attribut du bloc, les communications supportent le modèle à mémoire partagée, le modèle à envoi de messages et le modèle d'évènements. L'hétérogénéité des agents est assurée par héritage et polymorphisme alors que l'autonomie est proposée par un mécanisme (appelé perméabilité) de filtrage où chaque agent peut masquer/ouvrir son interface dynamiquement et selon la position de l'émetteur dans la hiérarchie d'e-blocs. Dans un contexte d'allocation dynamique des agents, de reprise après échec ou de remplacement d'un agent robotique dans une flotte de robots (cas d'une panne ou perte de fonctionnalité compromettant la mission), le ebloc propose une perspective de point d'entrée d'un traitement collectif. Dans le cas d'e-bloc synchrones, le paradigme sous-jacent est issu du modèle data-parallèle, permettant ici des traitements itératifs par vagues successives d'agents. Au final, MASL propose des avancées dans le domaine des SMA (appartenance dynamique à des groupes, précision du rythme des actions à entreprendre pour permettre une coopération désirée) et au niveau de la gestion des erreurs.

The classical approach for Multi-Agent System (MAS) Control, especially autonomous and robotic ones, deals first from a microscopic point of view: each agent embed a control program with communication/synchronization primitives that enable cooperation between agents. The emergence of a global behaviour from a macroscopic point of view can only be observed afterwards. In this context, MASL offers a macroscopic and unified approach with heterogeneous and distributed calculations over deliberative, reactive or hybrid agents. In this high level language, regardless of the runtime, each concurrent agent locally decides its participation in a collective execution block named an e-block. Each e-block is an anonymous collective program that runs over an agent network following local conditions. The orchestral mode (scalar, asynchronous, synchronous) is statically fixed by a shared block attribute. The communication use shared memory, events, synchronous messages passing, and asynchronous messages passing. Heterogeneous agents are managed with heritage and polymorphism. Permeability mechanism, dealing with agent autonomy, allows an agent to dynamically filter calls to its interface in respects to the sender position in the e-block hierarchy. In dynamic task allocation of agents, auto failover and recovery, agent replacement in a robot fleet (case of agent failure, loss of a mandatory functionality for the mission) an e-block is an entry point of a collaborative work. In the case of synchronous e-block, the programming paradigm is the data parallel model with iterative task for waves of agents. Finally, MASL offers advances in the field of MAS (dynamic belonging to groups, accuracy of the pace of actions to undertake to enable a desired cooperation) and for the management of errors.