Title:
Performance Verification for Behavior-Based Robot Missions

Thumbnail Image
Author(s)
Lyons, Damian M.
Arkin, Ronald C.
Jiang, Shu
Liu, Tsung-Ming
Nirmal, Paramesh
Authors
Advisor(s)
Advisor(s)
Editor(s)
Associated Organization(s)
Series
Supplementary to
Abstract
Certain robot missions need to perform predictably in a physical environment that may have significant uncertainty. One approach is to leverage automatic software verification techniques to establish a performance guarantee. The addition of an environment model and uncertainty in both program and environment, however, means the state-space of a model-checking solution to the problem can be prohibitively large. An approach based on behavior-based controllers in a process-algebra framework that avoids state-space combinatorics is presented here. In this approach, verification of the robot program in the uncertain environment is reduced to a filtering problem for a Bayesian Network. Validation results are presented for the verification of a multiple-waypoint and an autonomous exploration robot mission.
Sponsor
Date Issued
2015-06
Extent
Resource Type
Text
Resource Subtype
Proceedings
Rights Statement
Rights URI