TY - GEN A1 - Furbach, Ulrich A1 - Murray, Jan A1 - Schmidsberger, Falk A1 - Stolzenburg, Frieder T1 - Hybrid multiagent systems with timed synchronization N2 - 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 not only shown how multi-robot systems can be modeled by a combination of hybrid automata and hierarchical state machines, but also 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. T3 - Arbeitsberichte, FB Informatik - 2007,14 KW - UML KW - Multiagent System KW - Multi-robot System Y1 - 2007 UR - https://kola.opus.hbz-nrw.de/frontdoor/index/index/docId/121 UR - https://nbn-resolving.org/urn:nbn:de:kola-1214 ER -