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.