This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system specification on different levels of abstraction on the one hand, and expressing real-time system behavior with continuous variables on the other hand. It is shown how multi-robot systems can be modeled by hybrid and hierarchical state machines and how model checking techniques for hybrid automata can be applied. An enhanced synchronization concept is introduced that allows synchronization taking time and avoids state explosion to a certain extent. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Furbach, U., Murray, J., Schmidsberger, F., & Stolzenburg, F. (2008). Model checking hybrid multiagent systems for the RoboCup. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5001 LNAI, pp. 262–269). https://doi.org/10.1007/978-3-540-68847-1_24
Mendeley helps you to discover research relevant for your work.