Automatic Verification of Autonomous Robot Missions

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2014
Accession Number
ADA612440

Entities

People

  • Dagan Harrington
  • Damian Lyons
  • Matthew N O'Brien
  • Ronald Arking
  • Shu Jiang

Organizations

  • Georgia Tech

Tags

Communities of Interest

  • Autonomy
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Automatic
  • Computer Programming
  • Detectors
  • Environment
  • Guarantees
  • Information Science
  • Language
  • Motion Planning
  • Probability
  • Programming Languages
  • Robotics
  • Robots
  • Specifications
  • Translations
  • Validation
  • Verification
  • Weapons Of Mass Destruction

Fields of Study

  • Computer science

Readers

  • Parallel and Distributed Computing.
  • Robotics and Automation.
  • Systems Analysis and Design

Technology Areas

  • AI & ML
  • AI & ML - Autonomous Systems
  • AI & ML - Bayesian Inference
  • Autonomy
  • Autonomy - Autonomous System Control