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

Search Google Scholar
Metadaten
Author:Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
URN:urn:nbn:de:kola-1214
Subtitle (English):specification and model checking
Series (Serial Number):Arbeitsberichte, FB Informatik (2007,14)
Document Type:Part of Periodical
Language:English
Date of Publication (online):2007/07/06
Date of first Publication:2007/07/06
Publishing Institution:Universität Koblenz, Universitätsbibliothek
Release Date:2007/07/06
Tag:Multi-robot System; Multiagent System; UML
Page Number: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):Es gilt das deutsche Urheberrecht: § 53 UrhG
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.