Formal specification for behavior-based mobile robots

Douglas C. MacKenzie; Ronald C. Arkin

doi:10.1117/12.167486

1 February 1994 Formal specification for behavior-based mobile robots

Douglas C. MacKenzie, Ronald C. Arkin

Proceedings Volume 2058, Mobile Robots VIII; (1994) https://doi.org/10.1117/12.167486
Event: Optical Tools for Manufacturing and Advanced Automation, 1993, Boston, MA, United States

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.

Citation Download Citation

Douglas C. MacKenzie and Ronald C. Arkin "Formal specification for behavior-based mobile robots", Proc. SPIE 2058, Mobile Robots VIII, (1 February 1994); https://doi.org/10.1117/12.167486

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available