Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-68847-1_24 | RoboCup 2009 |
Keywords | Field | DocType |
model checking hybrid multiagent,multi-robot system,hierarchical state machine,real-time system behavior,formal system specification,enhanced synchronization concept,avoids state explosion,multiagent system,certain extent,uml statecharts,hybrid automaton,real time systems,model checking | Abstraction model checking,Synchronization,Model checking,Unified Modeling Language,Computer science,Simulation,Automaton,Multi-agent system,Finite-state machine,Distributed computing,Hybrid automaton | Conference |
Volume | ISSN | Citations |
5001 | 0302-9743 | 4 |
PageRank | References | Authors |
0.84 | 9 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ulrich Furbach | 1 | 639 | 88.23 |
Jan Murray | 2 | 81 | 7.27 |
Falk Schmidsberger | 3 | 13 | 2.91 |
Frieder Stolzenburg | 4 | 263 | 31.54 |