DeMAS

DeMAS

Roboterfußball Labor Mobile Systeme

Deductive design, analyses and verification of multiagent systems in the RoboCup

Brief description
Specifying behaviors for collaborative (physical) multiagent systems and multiĀ­robot systems is a sophisticated and demanding task. Due to the high complexity of the interactions among agents and the dynamics of the environment the need for precise modeling arises. Formal design and verification methods barely exists. In this project, a method will be enveloped to design the software of such systems in a formal matter. In our approach, these designs are directly executable specifications. Therefore we use methods from deduction and logic-programing (Prolog) and the Unified Modeling Language (especially statecharts). With this approach, it is possible to verify and to analyze multiagent systems. For these tasks, temporal and dynamic logics and model checking methods will be used and developed further. By this, a system design is possible, which can be integrated in multiĀ­robot systems. The concrete integration will be realized in a RoboCup simulation team and a real robot team (Type Sony Aibo). Finally, we will have a system wich allows the design, implementation, formal analysis, and verification of collaborative multi-agent systems and mobile robots. In cooperation with other teams in the DFG reserach programme, the usage of our method in related approaches and system architectures is intended.

project leader: Prof. Dr. Frieder Stolzenburg
member: Dipl.-Inf. Falk Schmidsberger
project duration: 2001--2008
funded by: German Research Foundation, within the DFG-program 1125: Collaborative multi-robot teams in dynamical environments
project partner: university Koblenz-Landau, Prof. Dr. Ulrich Furbach