Share Email Print
cover

Proceedings Paper

Formal specification for behavior-based mobile robots
Author(s): Douglas C. MacKenzie; Ronald C. Arkin
Format Member Price Non-Member Price
PDF $14.40 $18.00

Paper Abstract

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.

Paper Details

Date Published: 1 February 1994
PDF: 11 pages
Proc. SPIE 2058, Mobile Robots VIII, (1 February 1994); doi: 10.1117/12.167486
Show Author Affiliations
Douglas C. MacKenzie, Georgia Institute of Technology (United States)
Ronald C. Arkin, Georgia Institute of Technology (United States)


Published in SPIE Proceedings Vol. 2058:
Mobile Robots VIII
William J. Wolfe; Wendell H. Chun, Editor(s)

© SPIE. Terms of Use
Back to Top