Multiagent systems specification by UML statecharts aiming at intelligent manufacturing
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
What is in a Step: On the Semantics of Statecharts
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Hybrid multiagent systems with timed synchronization: specification and model checking
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Model Checking and Artificial Intelligence
Hi-index | 0.00 |
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.