Title

Automatic verification of autonomous robot missions

Degree of Contribution

Lead

Document Type

Conference Proceeding

Keywords

Robotics, Formal Verification, Validation, Behavior-Based

Disciplines

Artificial Intelligence and Robotics | Computer Engineering | Robotics

Abstract

bstract. 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 verifcation 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 verication 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.

Keywords: mobile robots, formal verification, performance guarantees, automatic translation

Publication Title

M. O’Brien, R.C. Arkin, D. Harrington, D.M. Lyons and S. Jiang, “Automatic verification of autonomous robot missions" Simulation, Modelling and Programming for Autonomous Robots (Springer Lecture Notes in AI: 8810), Bergamo Italy, Oct. 2014.

Article Number

1070

Publication Date

10-2014

Language

English

Peer Reviewed

1

Version

Published

Creative Commons License

Creative Commons Attribution 4.0 License
This work is licensed under a Creative Commons Attribution 4.0 License.

This document is currently not available here.

Share

COinS