Designing autonomous robot missions with performance guarantees

@article{Lyons2012DesigningAR,
  title={Designing autonomous robot missions with performance guarantees},
  author={Damian M. Lyons and Ronald C. Arkin and P. Nirmal and Shu Jiang},
  journal={2012 IEEE/RSJ International Conference on Intelligent Robots and Systems},
  year={2012},
  pages={2583-2590}
}
This paper describes the need and methods required to construct an integrated software verification and mission specification system for use in robotic missions intended for counter-weapons of mass destruction (c-WMD) operations, as part of a 3-year effort for the Defense Threat Reduction Agency. The overall system architecture is described. The principal tool for verification is a process algebra, PARS, based on port automata theory. PARS is introduced, emphasizing its ability to represent… CONTINUE READING

Citations

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

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 6 EXCERPTS

Performance guarantees for C-WMD robot missions

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

Verifying and validating multirobot missions

  • 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems
  • 2014
VIEW 4 EXCERPTS
CITES BACKGROUND

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

References

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