Framework for multi-agent planning based on hybrid automata

Authors:
Amal El Fallah-Seghrouchni;Irene Degirmenciyan-Cartault;Frederic Marc
Affiliations:
LIP6, University of Paris VI, Paris, France;Dassault Aviation, St Cloud cedex, France;LIP6, University of Paris VI, Paris, France and Dassault Aviation, St Cloud cedex, France
Venue:
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Year:
2003

Citing 8
Cited 5

A theory of timed automata

Theoretical Computer Science
CIRCA: the cooperative intelligent real-time control architecture

CIRCA: the cooperative intelligent real-time control architecture
A coordination algorithm for multi-agent planning

MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Distributed problem solving and planning

Multiagent systems
Maintaining knowledge about temporal intervals

Communications of the ACM
Coordinating Plans of Autonomous Agents

Coordinating Plans of Autonomous Agents
Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis

HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
The theory of hybrid automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science

Modelling, Control and Validation of Multi-Agent Plans in Dynamic Context

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
MARCoPlan: MultiAgent Remote Control for Robot Motion Planning

ICAISC '08 Proceedings of the 9th international conference on Artificial Intelligence and Soft Computing
Multi-agent systems: modeling and verification using hybrid automata

ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Coordination of complex systems based on multi-agent planning: application to the aircraft simulation domain

ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
MAS: qualitative and quantitative reasoning

ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

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.