Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking


Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg

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. This research is supported by the grants Fu 263/8 and Sto 421/2 from the German research foundation DFG within the special priority program 1125 on Cooperating Teams of Mobile Robots in Dynamic Environments.

Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers, Lecture Notes in Computer Science 4908,  2008, Springer.

@article{furbach08,
Author = {Furbach, Ulrich and Murray, Jan and Schmidsberger, Falk and Stolzenburg, Frieder},
Series = {Lecture Notes in Computer Science},
Title = {Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking},
Volume = {4908},
Year = {2008},
Publisher = {Springer},
DOI = {10.1007/978-3-540-79043-3_13},
Booktitle = {Programming Multi-Agent Systems
5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers}

}
Tags:

Pubblicazione

— autori/autrici

Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg

— stato

pubblicato

— tipo

articolo in atti

Sede di pubblicazione

— volume

Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers

— collana

Lecture Notes in Computer Science 4908

— data di pubblicazione

2008

— collana

Lecture Notes in Computer Science 4908

— data di pubblicazione

2008

URL & ID

pagina originale
PDF originale

— DOI

10.1007/978-3-540-79043-3_13

BibTeX

— BibTeX ID
furbach08
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY