Document Type
Article
Keywords
performance guarantee; verification; counter weapons of mass destruction; critical missions; mobile robot; formal methods
Disciplines
Computer Engineering | Robotics
Abstract
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 robot's 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 paper describes the system architecture and discusses how the verification framework can be used to provide pre-mission performance guarantees for robots in executing C-WMD missions.
Article Number
1044
Publication Date
10-2013
Recommended Citation
Jiang, Shu; Arkin, Ronald C.; Lyons, Damian M.; Liu, Tsung-Ming; and Harrington, Dagon, "Performance Guarantees for C-WMD Robot Missions" (2013). Faculty Publications. 35.
https://research.library.fordham.edu/frcv_facultypubs/35
Comments
11th IEEE Int. Sym. On Safety and Rescue Robots, Linkoping Sweden
This research was conducted at the Fordham University Robotics and Computer Vision Lab. For more information about graduate programs in Computer Science, see http://www.cis.fordham.edu/graduate.html, and the Fordham University Graduate School of Arts and Sciences, see http://www.fordham.edu/gsas.