Automatic verification of autonomous robot missions
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
Recommended Citation
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.
Version
Published
Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.
