Performance guarantees for C-WMD robot missions

@article{Jiang2013PerformanceGF,
  title={Performance guarantees for C-WMD robot missions},
  author={Shu Jiang and Ronald C. Arkin and Damian M. Lyons and Tsung-Ming Liu and Dagan Harrington},
  journal={2013 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR)},
  year={2013},
  pages={1-8}
}
  • Shu JiangR. Arkin D. Harrington
  • Published 1 October 2013
  • Computer Science
  • 2013 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR)
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… 

Figures and Tables from this paper

Automatic Verification of Autonomous Robot Missions

This paper overviews a software system for the verification of behavior-based controllers in context of chosen hardware and environmental models and demonstrates accurate verification for a mission related to the search for a biohazard.

9-2014 Verifying and Validating Multirobot Missions

We have developed an approach that can be used by mission designers to determine whether or not a performance guarantee for their mission software, when carried out under the uncertain conditions of

Verifying and validating multirobot missions

We have developed an approach that can be used by mission designers to determine whether or not a performance guarantee for their mission software, when carried out under the uncertain conditions of

Stochastic hybrid systems modeling and performance verification of behavior-based robots

This work proposes a formal model for BBR using a discrete-time controlled stochastic hybrid system (dt-cSHS) framework, and modeling and verification procedures are illustrated by examples of BBR applications.

Getting it Right the First Time: Verification of Behavior-based Multirobot Missions

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.

Multiarquitectura distribuida para el desarrollo de misiones multi-robot

La Robotica Autonoma es un campo en rapido crecimiento relacionado con un extenso grupo de lineas de investigacion, como localizacion, tracking, mapping, planificacion de caminos, algoritmos IA,

References

SHOWING 1-10 OF 46 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 mass

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

The scenarios under consideration, the performance measures and metrics being developed, and an outline of the mechanisms for providing performance guarantees for counter-Weapons of Mass Destruction missions are described.

Getting it right the first time: Robot mission guarantees in the presence of uncertainty

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.

Automatic Deployment of Robotic Teams

One of the major challenges in this area is the development of a computationally efficient frame work accommodating both the robot constraints and the complexity of the environment, while, at the same time, allowing for a large spectrum of task specifications.

Temporal logic control in dynamic environments with probabilistic satisfaction guarantees

This work derives a solution to the automatic deployment of a robot from a temporal logic specification assuming three different levels of knowledge and sensing capabilities of the robot, and describes an optimal solution in one setting and sub-optimal, reactive solutions in the other two.

Test arenas and performance metrics for urban search and rescue robots

In this paper, we discuss the development and proliferation of robot test arenas that provide tangible, realistic, and challenging environments for mobile robot researchers interested in urban search

Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees

We describe a computational framework for automatic deployment of a robot with sensor and actuator noise from a temporal logic specification over a set of properties that are satisfied by the regions

Towards automatic verification of autonomous systems

  • R. SimmonsC. PecheurG. Srinivasan
  • Computer Science
    Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000) (Cat. No.00CH37113)
  • 2000
Tools that automatically convert autonomy software into formal models that are then verified using model checking are described, to create tools that enable engineers and roboticists to use formal verification as part of the normal software development cycle.

Multi-robot planning : a timed automata approach

This paper describes how a network of interacting timed automata can be used to model, analyze, and verify motion planning problems in a scenario with multiple robotic vehicles. The method