TU Darmstadt / ULB / TUbiblio

Formal behavior specification of multi-robot systems using hierarchical state machines in XABSL

Risler, Max and Stryk, Oskar von (2008):
Formal behavior specification of multi-robot systems using hierarchical state machines in XABSL.
In: AAMAS08-Workshop on Formal Models and Methods for Multi-Robot Systems, Estoril, Portugal, [Conference or Workshop Item]

Abstract

This paper presents the latest developments of the Extensible Agent Behavior Specification Language (XABSL), a modular and scalable tool for engineering complex multiagent behavior. It is based on hierarchical finite state machines. By the new extensions the development of cooperative multi agent behavior is supported through language elements which allow to conveniently specify how the state machines of multiple agents interact. Basic properties of XABSL are illustrated in direct comparison with Petri Net Plans and the COLBERT language using examples of basic robot behavior. More complex examples from robot soccer are used to illustrate the new extensions of XABSL. The complete system is available online on the XABSL website (http://www.xabsl.de).

Item Type: Conference or Workshop Item
Erschienen: 2008
Creators: Risler, Max and Stryk, Oskar von
Title: Formal behavior specification of multi-robot systems using hierarchical state machines in XABSL
Language: English
Abstract:

This paper presents the latest developments of the Extensible Agent Behavior Specification Language (XABSL), a modular and scalable tool for engineering complex multiagent behavior. It is based on hierarchical finite state machines. By the new extensions the development of cooperative multi agent behavior is supported through language elements which allow to conveniently specify how the state machines of multiple agents interact. Basic properties of XABSL are illustrated in direct comparison with Petri Net Plans and the COLBERT language using examples of basic robot behavior. More complex examples from robot soccer are used to illustrate the new extensions of XABSL. The complete system is available online on the XABSL website (http://www.xabsl.de).

Title of Book: AAMAS08-Workshop on Formal Models and Methods for Multi-Robot Systems
Place of Publication: Estoril, Portugal
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Simulation, Systems Optimization and Robotics Group
Date Deposited: 20 Jun 2016 23:26
Identification Number: 2008:RislervonStryk
Related URLs:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item