• search hit 1 of 1
Back to Result List

Hybrid multiagent systems with timed synchronization

  • 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.

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Author:Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
Subtitle (English):specification and model checking
Series (Volume no.):Arbeitsberichte, FB Informatik (2007,14)
Document Type:Part of Periodical
Date of completion:2007/07/06
Date of publication:2007/07/06
Publishing institution:Universität Koblenz, Universitätsbibliothek
Release Date:2007/07/06
Tag:Multi-robot System; Multiagent System; UML
Number of pages:14
Institutes:Fachbereich 4 / Fachbereich 4
Fachbereich 4 / Institut für Informatik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):License LogoEs gilt das deutsche Urheberrecht: § 53 UrhG