Modélisation et synchronisation de plans multi-agents contraints Application aux missions aériennes
Dans ce papier, nous présentons une modélisation des plans multi-agents fondée sur
le formalisme des automates hybrides que nous avons enrichi et étendu au contexte multi-agent.
Lintérêt de ces automates est la modélisation de différentes horloges évoluant à des vitesses
différentes. Dans le cadre des simulations aériennes, ces horloges peuvent modéliser les ressources
de chaque avion ainsi que le temps. Le plan multi-agent est un réseau dautomates
hybrides synchronisés où chaque automate représente un plan individuel. Le but de cette modélisation
est le contrôle de lexécution et la planification du plan multi-agent.
This paper represents a modeling of multi-agent plans by means of hybrid automata.
The interest of these automata is that they can model different clocks evolving with different
speeds. In our framework of tactical aircraft simulation, these clocks may be the resources
of each plane and the time. The multi-agent plan is also a network of synchronized hybrid
automata where each automaton represents an agent plan. The aim of this modeling is to
control the execution and the planning of the multi-agent plan.
I.DEGIRMENCIYAN-CARTAULT, F.MARC, A.EL FALLAH-SEGHROUCHNI
planification multi-agent, automates hybrides, systèmes complexes, coordination, coopération
multi-agent planning, hybrid automata, complex systems, coordination, cooperation
Français
|
