Performance Guarantees for C - WMD Robot Missions

View/ Open
Date
2013Author
Jiang, Shu
Arkin, Ronald C.
Lyons, Damian M.
Liu, Tsung-Ming
Harrington, Dagan
Metadata
Show full item recordAbstract
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 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.