Validation du comportement dynamique d'un système multi-agents : Application de l'éco-résolution à une cellule de production manufacturière

Abstract

International audienceIn the reactive systems it could be difficult to plan tasks. Reactive multi agent system can solve this kind of problem. To skip planning work, multi agent system allows designers to distribute global system aim into local agent behaviour. Nevertheless it is difficult to get an actual idea of the global system behaviour. In this communication, we propose first a model of dynamic behaviour of an agent, and we shows how designers can deal with a tool of validation of discrete event system to validate a multi agent system. Un example in the filed of control of manufacturing cell of production will be used.Pour contrôler les systèmes fortement réactifs, il est difficile d'assurer une planification des tâches. Les systèmes multi-agents réactifs apportent une solution à cette classe de problème. En répartissant l'objectif général du système dans un ensemble de comportements individuels, le concepteur évite le recours à la planification. En revanche, il lui est difficile d'avoir une idée du comportement global du système. Dans cette communication, après avoir proposé un modèle de comportement d'un agent, nous montrons comment un concepteur peut tirer parti d'un outil de validation de comportement des systèmes dynamiques pour valider un système multi-agents. Un exemple concernant la commande d'une cellule de production manufacturière servira de support à notre exposé