This paper presents formalisms for describing societies of cooperating behavior-based mobile robots, including the coordination between members of homogeneous teams, members of heterogeneous castes, assemblages of behaviors on individual robots, as well as perceptual strategies within primitive sensorimotor behaviors. This formal language is intended to facilitate proving properties about systems described in it.
Formal specification for behavior-based mobile robots
Mobile Robots VIII ; 1993 ; Boston,MA,United States
Proc. SPIE ; 2058
01.02.1994
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties
BASE | 2023
|Probabilistic planning with formal performance guarantees for mobile service robots
BASE | 2019
|Evolutionary Behavior-Based Control of Mobile Robots
Springer Verlag | 2004
|Adaptive Behavior for Mobile Robots
NTRS | 2009
|