Formal Behavior Specification of Multi-Robot Systems Using Hierarchical State Machines in XABSL ∗

@inproceedings{Risler2008FormalBS,
  title={Formal Behavior Specification of Multi-Robot Systems Using Hierarchical State Machines in XABSL ∗},
  author={Max Risler},
  year={2008}
}
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… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-10 of 22 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 25 references

GermanTeam RoboCup 2005

T. Röfer
Technical report, HU Berlin, Universität Bremen, TU Darmstadt, Universität Dortmund, • 2005
View 6 Excerpts
Highly Influenced

Petri Net Plans

Autonomous Agents and Multi-Agent Systems • 2010
View 2 Excerpts

A translator for cooperative strategies of mobile agents for four-legged robots

F. Ruh
Master thesis. Hochschule Harz • 2007
View 1 Excerpt

Cooperation of heterogeneous, autonomous robots: A case study of humanoid and wheeled robots

2007 IEEE/RSJ International Conference on Intelligent Robots and Systems • 2007
View 1 Excerpt

and M

M. Lötzsch, M. Risler
Jüngel. XABSL web site • 2007
View 2 Excerpts

B-smart

O. Birbach, A. Burchardt, +4 authors K. Stoye
team description for robocup 2006. In RoboCup 2006: Robot Soccer World Cup X Preproceedings • 2006
View 1 Excerpt

Similar Papers

Loading similar papers…