Designing autonomous robot missions with performance guarantees

  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},
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
Highly Cited
This paper has 18 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 12 extracted citations


Publications referenced by this paper.
Showing 1-10 of 28 references

Corrective, Reactive, Highlevel Control

  • H. Kress-Gazit, T. Wongpiromsarn
  • Robotics & Automation Magazine
  • 2011
1 Excerpt

Drought modeling and products of random variables with exponential kernals Stoch

  • D. W. Yang, S. Nadarajah
  • Env. Research and Risk Ass
  • 2006
2 Excerpts

Similar Papers

Loading similar papers…