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…
13 Citations
Getting it right the first time: Robot mission guarantees in the presence of uncertainty
- Computer Science2013 IEEE/RSJ International Conference on Intelligent Robots and Systems
- 2013
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.
Designing autonomous robot missions with performance guarantees
- Computer Science2012 IEEE/RSJ International Conference on Intelligent Robots and Systems
- 2012
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 mass…
Performance guarantees for C-WMD robot missions
- Computer Science2013 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR)
- 2013
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.
A Software Tool for the Design of Critical Robot Missions with Performance Guarantees
- Computer ScienceCSER
- 2013
A Software Tool for the Design of Critical Robot Missions with Performance Guarantees
- Computer Science
- 2013
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.
Performance Verification for Behavior-Based Robot Missions
- Computer ScienceIEEE Trans. Robotics
- 2015
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.
Verifying Performance for Autonomous Robot Missions with Uncertainty
- Computer Science
- 2013
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.
Getting it Right the First Time: Verification of Behavior-based Multirobot Missions
- Computer Science
- 2014
Getting it right the first time: Verification of Behavior-based Multirobot Missions is demonstrated in real-time with real-world examples of cooperation between robots and humans.
The complete integration of MissionLab and CARMEN
- Computer Science
- 2017
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.
Meaningful Human Control of Lethal Autonomous Weapon Systems: The CCW-Debate and Its Implications for VSD
- Political ScienceIEEE Technology and Society Magazine
- 2020
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.
References
SHOWING 1-10 OF 22 REFERENCES
Designing autonomous robot missions with performance guarantees
- Computer Science2012 IEEE/RSJ International Conference on Intelligent Robots and Systems
- 2012
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 mass…
Characterizing performance guarantees for multiagent, real-time systems operating in noisy and uncertain environments
- Computer SciencePerMIS
- 2012
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.
Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system
- Computer Science2007 IEEE/RSJ International Conference on Intelligent Robots and Systems
- 2007
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.
A robot system for unstructured environments based on an environment model and manipulation skills
- EngineeringProceedings. 1991 IEEE International Conference on Robotics and Automation
- 1991
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.
Using competitions to advance the development of standard test methods for response robots
- Computer SciencePerMIS
- 2012
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.
Multiagent Mission Specification and Execution
- Environmental ScienceAuton. Robots
- 1997
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.
Usability evaluation of high-level user assistance for robot mission specification
- Computer ScienceIEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews)
- 2004
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.
Mission Effectiveness Model for A System with Several Mission Types
- BusinessIEEE Transactions on Reliability
- 1984
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 developed…
The Need for a Military System Effectiveness Framework: The System of Systems Approach
- Business
- 2001
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
- PhysicsProceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292)
- 2002
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.