Framework for multi-agent planning based on hybrid automata

Abstract

This paper presents a modeling of multi-agent plans by means of hybrid automata. The interest of those automata is that they can model different clocks evolving with different speeds. In our framework of aircraft simulation, those 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's plan. The aim of this modeling is to control the execution and the planning of the multi-agent plan.