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

@inproceedings{Arkin2012GettingIR,
  title={Getting it right the first time: predicted performance guarantees from the analysis of emergent behavior in autonomous and semi-autonomous systems},
  author={Ronald C. Arkin and Damian M. Lyons and Jiang Shu and Prem Nirmal and Munzir Zafar},
  booktitle={Defense, Security, and Sensing},
  year={2012}
}
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… Expand
Getting it right the first time: Robot mission guarantees in the presence of uncertainty
TLDR
This work extends an approach to establishing performance guarantees for behavior-based controllers in a process-algebra framework to include random variables, and shows how this work can be used to generate a Dynamic Bayesian Network for the coupled system of program and environment model. Expand
Designing autonomous robot missions with performance guarantees
This paper describes the need and methods required to construct an integrated software verification and mission specification system for use in robotic missions intended for counter-weapons of massExpand
Performance guarantees for C-WMD robot missions
TLDR
A novel verification framework in providing performance guarantees for behavior-based and probabilistic robot algorithms in complex real-world environments in order to ensure robots' success in carrying out C-WMD missions. Expand
A Software Tool for the Design of Critical Robot Missions with Performance Guarantees
TLDR
The software development framework and the verification algorithm, VIPARS, are described in detail and results are presented for missions including motion and sensing uncertainty, interaction with obstacles, and the use of sensors to guide behavior. Expand
A Software Tool for the Design of Critical Robot Missions with Performance Guarantees
Deploying a robot as part of a counter-weapons of mass destruction mission demands that the robotic software operates with high assurance. A unique feature of robotic software development is the needExpand
Performance Verification for Behavior-Based Robot Missions
TLDR
An approach based on behavior-based controllers in a process-algebra framework that avoids state-space combinatorics is presented here, and verification of the robot program in the uncertain environment is reduced to a filtering problem for a Bayesian network. Expand
Verifying Performance for Autonomous Robot Missions with Uncertainty
TLDR
This work proposes an approach to verifying robot missions that shifts the focus from state-based analysis onto the solution of a set of flow equations (Lyons et al. 2012), and presents three validation results that show this approach has strong predictive power; that is, that the verifications it produces can be trusted. Expand
Getting it Right the First Time: Verification of Behavior-based Multirobot Missions
Position Paper Getting it right the first time: Verification of Behavior-based Multirobot Missions Damian Lyons, Ronald Arkin, Shu Jiang, Dagan Harrington and Matthew O'Brien Dept. Of Computer &Expand
The complete integration of MissionLab and CARMEN
TLDR
The proposed platform solves the proposed goal, that is, it simplifies the programmer’s job when developing control software for robot teams, and it further facilitates multi-robot deployment task in mission-critical situations. Expand
Meaningful Human Control of Lethal Autonomous Weapon Systems: The CCW-Debate and Its Implications for VSD
TLDR
The Group of Governmental Experts of the UN Convention of Certain Conventional Weapons (CCW) has dedicated itself to the purpose of finding common ground with respect to an understanding of LAWS, as well as to the necessary degree of human control. Expand
...
1
2
...

References

SHOWING 1-10 OF 22 REFERENCES
Designing autonomous robot missions with performance guarantees
This paper describes the need and methods required to construct an integrated software verification and mission specification system for use in robotic missions intended for counter-weapons of massExpand
Characterizing performance guarantees for multiagent, real-time systems operating in noisy and uncertain environments
TLDR
This paper is developing a software framework for verification of performance guarantees for C-WMD missions based on the MissionLab software system and a novel process algebra approach to representing robot programs and operating environments and links this to prior work on metrics for robot performance. Expand
Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system
TLDR
A method for converting goal network control programs into linear hybrid systems is developed that can be verified for safety in the presence of failures using existing symbolic model checkers. Expand
A robot system for unstructured environments based on an environment model and manipulation skills
TLDR
A model-based robot system was developed to replace and improve upon the conventional robot control scheme of teaching-by-showing and replay and consists of the combination of manipulation skills with an environment model. Expand
Using competitions to advance the development of standard test methods for response robots
TLDR
How international competitions, and in particular the RoboCupRescue Robot League competition, have played a crucial role in the development of standard test metrics for response robots are discussed as part of the ASTM International Committee of Homeland Security Applications; Operational Equipment; Robots. Expand
Multiagent Mission Specification and Execution
TLDR
The Configuration Description Language (CDL) is developed to capture the recursive composition of configurations in an architecture- and robot-independent fashion and the Societal Agent theory is presented as a basis for constructions of this form. Expand
Usability evaluation of high-level user assistance for robot mission specification
TLDR
The mission-planning wizard has been recently integrated into MissionLab, and testing for usability improvements in terms of speed of the mission planning process, accuracy of the produced mission plans, and ease of use is conducted. Expand
Mission Effectiveness Model for A System with Several Mission Types
Mission effectiveness, the probability of successfully completing an assigned mission, is an appropriate measure of effectiveness for a military system. A model of mission effectiveness is developedExpand
The Need for a Military System Effectiveness Framework: The System of Systems Approach
Presented at the 1st AIAA, Aircraft, Technology Integration, and Operations Forum, Los Angeles, CA, October 6-18, 2001
Characterization of a 2D laser scanner for mobile robot obstacle negotiation
  • C. Ye, J. Borenstein
  • Engineering, Computer Science
  • Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292)
  • 2002
TLDR
A probabilistic range measurement model is built based on the experimental results of the Sick LMS 200 laser scanner, and the mixed pixels problem of the scanner is analyzed. Expand
...
1
2
3
...