Modelling, control and validation of multi-agent plans in dynamic context

Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004

Volumn 1, Issue , 2004, Pages 44-51

  El Fallah Seghrouchni, A ^a   Degirmenciyan Cartault, I ^b   Marc, F ^b  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^b DASSAULT AVIATION   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AIRCRAFT SIMULATION; CONTROL SETS; DYNAMIC CONTEXT;

AUTOMATA THEORY; CONTROL SYSTEM ANALYSIS; FLIGHT SIMULATORS; INTELLIGENT AGENTS; MATHEMATICAL MODELS; PROBLEM SOLVING;

MULTI AGENT SYSTEMS;

EID: 4544317429     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126(3):183-235, November 1994.
2. A. ElFallah-Seghrouchni, I. Degirmenciyan-Cartault, and F. Marc. Framework for multi-agent planning based on hybrid automata. In LNAI. CEEMAS 03, June 2003.
3. R. P. Goldman, D. J. Musliner, and M. J. S. Pelican. Exploiting implicit representations in timed automaton verification for controller synthesis. In Proceedings 2002 Hybrid Systems: Computation and Control Workshop, March 2002.
4. T. A. Henzinger. The theory of hybrid automata. In Proceedings 11th IEEE Symposium Logic in Computer Science, pages 278-292. LCAIS'96, July 1996.
5. F. Marc, A. ElFallah-Seghrouchni, and I. Degirmenciyan-Cartault. Multi-agent planning as a coordination model for self-organized systems. In IEEE, IAT 03, October 2003.
6. D. J. Musliner. CIRCA: The Cooperative Intelligent Real-Time Control Architecture. PhD Thesis, University of Michigan, 1993.
7. S. Russell and P. Norvig. Artificial Intelligence a Modern Approach. Prentice Hall, 1995.