Risler, Max ; Stryk, Oskar von (2008)
Formal behavior specification of multi-robot systems using hierarchical state machines in XABSL.
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (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).
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2008 |
| Autor(en): | Risler, Max ; Stryk, Oskar von |
| Art des Eintrags: | Bibliographie |
| Titel: | Formal behavior specification of multi-robot systems using hierarchical state machines in XABSL |
| Sprache: | Englisch |
| Publikationsjahr: | Mai 2008 |
| Ort: | Estoril, Portugal |
| Buchtitel: | AAMAS08-Workshop on Formal Models and Methods for Multi-Robot Systems |
| Zugehörige Links: | |
| Kurzbeschreibung (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). |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Simulation, Systemoptimierung und Robotik |
| Hinterlegungsdatum: | 20 Jun 2016 23:26 |
| Letzte Änderung: | 06 Mai 2019 09:50 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum