Formal specification for behavior-based mobile robots
暂无分享,去创建一个
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.
[1] Ronald C. Arkin,et al. Motor Schema — Based Mobile Robot Navigation , 1989, Int. J. Robotics Res..
[2] Jonathan H. Connell,et al. A colony architecture for an artificial creature , 1989 .
[3] Rodney A. Brooks,et al. A Robust Layered Control Syste For A Mobile Robot , 2022 .
[4] Robert James Firby,et al. Adaptive execution in complex dynamic worlds , 1989 .