Hybrid automata are used as standard means for the specification andanalysis of dynamical systems. Several researches have approached them to formallyspecify reactive Multi-agent systems situated in a physical environment,where the agents react continuously to their environment. The specified...