Automatic Verification of Autonomous Robot Missions


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 verification 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.

DOI: 10.1007/978-3-319-11900-7_39

Extracted Key Phrases

8 Figures and Tables

Showing 1-10 of 19 references

Performance Verification for behavior-based Robot Missions

  • D Lyons, R Arkin, S Jiang, T-L Liu, P Nirmal, J Deeb
  • 2013

Synthesis of provably-correct control and communication strategies for distributed mobile systems

  • C Belta
  • 2010