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.
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
R. Alami, F. Robert, F. Ingrand, and S. Suzuku. 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, March 1994.
J. F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11), 1983.
R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126(3):183–235, November 1994.
I. Degirmenciyan-Cartault and F. Marc. Scala: Une approche pour la simulation de systemes complexes application a la simulation de missions aeriennes. JFIAD 2002, October 2002.
E. H. Durfee. Distributed problem solving and planning. Multiagent Systems A Modern Approach to Distributed Artificial Intelligence, 1(3):121–164, November 1999.
A. ElFallah-Seghrouchni and S. Haddad. A coordination algorithm for multiagent planning. In Proceedings of MAAMAW’96. LNAI 1038, Springer-Verlag, Eindhoven,Pays-Bas 1996.
A. ElFallah-Seghrouchni and S. Haddad. A recursive model for distributed planning. In Proceedings of ICMAS’96. AAAI Press, Japon 1996.
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.
T.A. Henzinger. The theory of hybrid automata. In Proceedings 11th IEEE Symposium Logic in Computer Science, pages 278–292. LCAIS’96, July 1996.
F.V. Martial. Coordinating Plans of Autonomous Agents. Springer-Verlag, LNAI, 1992.
D. J. Musliner. CIRCA: The Cooperative Intelligent Real-Time Control Architecture. PhD Thesis, University of Michigan, 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fallah-Seghrouchni, A.E., Degirmenciyan-Cartault, I., Marc, F. (2003). Framework for Multi-agent Planning Based on Hybrid Automata. In: Mařík, V., Pěchouček, M., Müller, J. (eds) Multi-Agent Systems and Applications III. CEEMAS 2003. Lecture Notes in Computer Science(), vol 2691. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45023-8_22
Download citation
DOI: https://doi.org/10.1007/3-540-45023-8_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40450-7
Online ISBN: 978-3-540-45023-8
eBook Packages: Springer Book Archive