Towards a Formal Design of Behaviors for Autonomous Robots

In this article a new behavior-based robotic control approach for autonomous robots is presented. Our aim is to provide a formal procedure for designing behaviors that guarantee safety and performance of an autonomous robot under a behavior-based control. In this way we hope to overcome some of the shortcomings of other approaches to behavior-based control. An example is shown to illustrate the approach.