performance guarantee; verification; counter weapons of mass destruction; critical missions; mobile robot; formal methods
Computer Engineering | Robotics
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.
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.