Getting it right the first time: predicted performance guarantees from the analysis of emergent behavior in autonomous and semi-autonomous systems

A crucially important aspect for mission-critical robotic operations is ensuring as best as possible that an autonomous system be able to complete its task. In a project for the Defense Threat Reduction Agency (DTRA) we are developing methods to provide such guidance, specifically for counter-Weapons of Mass Destruction (C-WMD) missions. In this paper, we describe the scenarios under consideration, the performance measures and metrics being developed, and an outline of the mechanisms for providing performance guarantees.

[1]  Adam Jacoff,et al.  Using competitions to advance the development of standard test methods for response robots , 2012, PerMIS.

[2]  Lansing E Dickinson.  Military Role in Countering Terrorist Use of Weapons of Mass Destruction , 2012 .

[3]  Ronald C. Arkin,et al.  Multiagent Mission Specification and Execution , 1997, Auton. Robots.

[4]  Stephen Fox,et al.  Characterizing performance guarantees for multiagent, real-time systems operating in noisy and uncertain environments , 2012, PerMIS.

[5]  Kunikatsu Takase,et al.  A robot system for unstructured environments based on an environment model and manipulation skills , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[6]  Way Kuo,et al.  Mission Effectiveness Model for A System with Several Mission Types , 1984, IEEE Transactions on Reliability.

[7]  Way Kuo,et al.  System Effectiveness Models: An Annotated Bibliography , 1980, IEEE Transactions on Reliability.

[8]  Richard M. Murray,et al.  Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system , 2007, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[9]  Michael A. Arbib,et al.  Port Automata and the Algebra of Concurrent Processes , 1983, J. Comput. Syst. Sci..

[10]  Dimitri N. Mavris,et al.  The Need for a Military System Effectiveness Framework: The System of Systems Approach , 2001 .

[11]  Damian M. Lyons,et al.  Designing autonomous robot missions with performance guarantees , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[12]  Christel Baier,et al.  Principles of model checking , 2008 .

[13]  Cang Ye,et al.  Characterization of a 2D laser scanner for mobile robot obstacle negotiation , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[14]  Ronald C. Arkin,et al.  Usability evaluation of high-level user assistance for robot mission specification , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[15]  James J. Higgins,et al.  A literature survey of the human reliability component in a man-machine system , 1988 .