Abstract
The design of complex systems needs sophisticated coordination mechanisms. This paper proposes an approach based on multi-agent planning to coordinate such systems in the tactical aircraft simulation domain. This paper presents an integral cycle, from modelling to validation, that enables the building of feasible multi-agent plans as developped in a project named SCALA promoted at Dassault Aviation.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Martial, F.V.: Coordinating Plans of Autonomous Agents. LNCS (LNAI). Springer, Heidelberg (1992)
Alami, R., Robert, F., Ingrand, F., Suzuku, S.: A paradigm for plan-merging and its use for multi-robot cooperation. In: Proceedings of IEEE International Conference on Systems, Man and Cybernetics, San Antonio, Texas (1994)
Durfee, E.H.: Distributed problem solving and planning. Multiagent Systems A Modern Approach to Distributed Artificial Intelligence 1, 121–164 (1999)
El Fallah-Seghrouchni, A., Haddad, S.: A coordination algorithm for multi-agent planning. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol. 1038, Springer, Heidelberg (1996)
ElFallah-Seghrouchni, A., Haddad, S.: A recursive model for distributed planning. In: Proceedings of ICMAS 1996, AAAI Press, Menlo Park (1996)
ElFallah-Seghrouchni, A., Degirmenciyan-Cartault, I., Marc, F.: Framework for multi-agent planning based on hybrid automata. In: Mařík, V., Müller, J.P., Pěchouček, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol. 2691, pp. 226–235. Springer, Heidelberg (2003)
Marc, F., ElFallah-Seghrouchni, A., Degirmenciyan-Cartault, I.: Multi-agent planning as a coordination model for self-organized systems. In: IEEE, IAT 2003 (2003)
Henzinger, T.A.: The theory of hybrid automata. In: Proceedings 11th IEEE Symposium Logic in Computer Science. LCAIS 1996, pp. 278–292 (1996)
Musliner, D.J.: CIRCA: The Cooperative Intelligent Real-Time Control Architecture. PhD Thesis, University of Michigan (1993)
Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
Goldman, R.P., Musliner, D.J., Pelican, M.J.S.: Exploiting implicit representations in timed automaton verification for controller synthesis. In: Proceedings 2002 Hybrid Systems: Computation and Control Workshop (2002)
Howden, N., Ronnquist, R., Hodgson, A., Lucas, A.: Jack intelligent agents summary of an agent infrastructure. In: 5th Conference on Autonomous Agent (2001)
Henzinger, T.A., Ho, P.H., Wong-Toi, H.: Hytech: a model checker for hybrid systems. Journal of Software Tools for Technology Transfer 1, 110–122 (2001)
Raskin, J.F., Schobbens, P.Y.: The logic of event clocks, decidability, complexity and expressiveness. Journal of Automata, Languages and Combinatorics 4 (1999)
Degirmenciyan-Cartault, I., Marc, F., El Fallah-Seghrouchni, A.: Modeling multi-agent plans with hybrid automata. In: Proceedings of the Formal Approach for Multi-Agent Systems Workshop (FAMAS 2003), ETAPS 2003 (2003)
El Fallah-Seghrouchni, A., Marc, F., Degirmenciyan-Cartault, I.: Modelling, control and validation of multi-agent plans in highly dynamic context. In: AAMAS 2004, ACM, New York (2004) (to be published)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Marc, F., El Fallah-Seghrouchni, A., Degirmenciyan-Cartault, I. (2005). Coordination of Complex Systems Based on Multi-agent Planning: Application to the Aircraft Simulation Domain. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds) Programming Multi-Agent Systems. ProMAS 2004. Lecture Notes in Computer Science(), vol 3346. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-32260-3_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-32260-3_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24559-9
Online ISBN: 978-3-540-32260-3
eBook Packages: Computer ScienceComputer Science (R0)