Accession Number:

ADA612440

Title:

Automatic Verification of Autonomous Robot Missions

Descriptive Note:

Corporate Author:

GEORGIA INST OF TECH ATLANTA

Report Date:

2014-01-01

Pagination or Media Count:

13.0

Abstract:

Before autonomous robotics can be used for dangerous or critical missions, performance guarantees should be made available. This paper overviews a software system for the veri cation of behavior-based controllers in context of chosen hardware and environmental models. Robotic controllers are automatically translated to a process algebra. The system comprising both the robot and the environment are then evaluated by VIPARS, a verification software module in development and compared to specific performance criteria. The user is returned a probability that the performance criteria will hold in the uncertainty of real-world conditions. Experimental results demonstrate accurate verification for a mission related to the search for a biohazard.

Subject Categories:

  • Bionics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE