Performance guarantees for C-WMD robot missions

@article{Jiang2013PerformanceGF,
  title={Performance guarantees for C-WMD robot missions},
  author={Shu Jiang and Ronald C. Arkin and Damian M. Lyons and Tsung-Ming Liu and Dagan Harrington},
  journal={2013 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR)},
  year={2013},
  pages={1-8}
}
Robotics has been considered as one of the five key technology areas for defense against attacks with weapons of mass destruction (WMD). However, due to the mass impact nature of WMD, failures of counter-WMD (C-WMD) missions can have catastrophic consequences. To ensure robots' success in carrying out C-WMD missions, we have developed a novel verification framework in providing performance guarantees for behavior-based and probabilistic robot algorithms in complex real-world environments. This… CONTINUE READING

Figures, Tables, Results, and Topics from this paper.

Key Quantitative Results

  • The result indicates that the verifier predicted an 85% success probability for the Biohazard Search mission with the robot operating in the environment with respect to the performance criteria specified earlier.
  • C. Comparison of Verification and Validation Resutls Verification of Biohazard Search mission predicted an 85% mission success probability, while the validation experiments showed an actual robot succeeds 83% of the time based on 106 trials with 18 failures.
  • We DUH WKHQ VDIH WR FRQFOXGH WKDW WKH 9,3$56¶ SHUIRUPDQFH guarantee, the 85% probability of mission success with respect to the performance criteria, for the Biohazard Search mission is a valid prediction.

Citations

Publications citing this paper.

References

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

Designing autonomous robot missions with performance guarantees

  • 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems
  • 2012
VIEW 8 EXCERPTS

A brief history of process algebra

  • Theor. Comput. Sci.
  • 2004
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

Efficient reactive controller synthesis for a fragment of linear temporal logic

  • 2013 IEEE International Conference on Robotics and Automation
  • 2013
VIEW 1 EXCERPT

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