Automatic Verification of Autonomous Robot Missions

@inproceedings{OBrien2014AutomaticVO,
  title={Automatic Verification of Autonomous Robot Missions},
  author={Matthew O'Brien and Ronald C. Arkin and Dagan Harrington and Damian M. Lyons and Shu Jiang},
  booktitle={SIMPAR},
  year={2014}
}
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… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 20 CITATIONS

Performance verification for robot missions in uncertain environments

  • Robotics and Autonomous Systems
  • 2017
VIEW 4 EXCERPTS
CITES METHODS

Formal Performance Guarantees for Behavior-Based Localization Missions

  • 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)
  • 2016
VIEW 4 EXCERPTS

Probabilistic Verification of Multi-robot Missions in Uncertain Environments

  • 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI)
  • 2015
VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS

An Approach for Fault Tolerant and Performance Guarantee Autonomous Robotic Mission

Pepin Lambert, L. Lapierre, D. Crestani
  • 2019 NASA/ESA Conference on Adaptive Hardware and Systems (AHS)
  • 2019
VIEW 1 EXCERPT
CITES BACKGROUND

Constraint-Based Testing of An Industrial Multi-Robot Navigation System

  • 2019 IEEE International Conference On Artificial Intelligence Testing (AITest)
  • 2019
VIEW 1 EXCERPT
CITES METHODS

References

Publications referenced by this paper.
SHOWING 1-10 OF 20 REFERENCES

Towards performance guarantees for emergent behavior

  • IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004
  • 2004
VIEW 3 EXCERPTS

Verifying and validating multirobot missions

  • 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems
  • 2014
VIEW 2 EXCERPTS

Getting it right the first time: Robot mission guarantees in the presence of uncertainty

  • 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems
  • 2013
VIEW 1 EXCERPT

Performance guarantees for C-WMD robot missions

  • 2013 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR)
  • 2013
VIEW 3 EXCERPTS

Designing autonomous robot missions with performance guarantees

  • 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems
  • 2012
VIEW 1 EXCERPT

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

C Belta
  • ICRA Workshop on Formal Methods,
  • 2010
VIEW 2 EXCERPTS

Software model checking

  • ACM Comput. Surv.
  • 2009
VIEW 1 EXCERPT