Hybrid Multiagent Systems with Timed Synchronization – Specification and Model Checking

  • Ulrich Furbach
  • Jan Murray
  • Falk Schmidsberger
  • Frieder Stolzenburg
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4908)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Ulrich Furbach
    • 1
  • Jan Murray
    • 1
  • Falk Schmidsberger
    • 2
  • Frieder Stolzenburg
    • 2
  1. 1.Artificial Intelligence Research GroupUniversität Koblenz-LandauKoblenz 
  2. 2.Automation and Computer Sciences DepartmentHochschule HarzWernigerode 

Personalised recommendations