Title:
Performance Guarantees for C - WMD Robot Missions
Performance Guarantees for C - WMD Robot Missions
Author(s)
Jiang, Shu
Arkin, Ronald C.
Lyons, Damian M.
Liu, Tsung-Ming
Harrington, Dagan
Arkin, Ronald C.
Lyons, Damian M.
Liu, Tsung-Ming
Harrington, Dagan
Advisor(s)
Editor(s)
Collections
Supplementary to
Permanent Link
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 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.
Sponsor
Date Issued
2013
Extent
Resource Type
Text
Resource Subtype
Paper