Designing autonomous robot missions with performance guarantees

@article{Lyons2012DesigningAR,
  title={Designing autonomous robot missions with performance guarantees},
  author={Damian M. Lyons and Ronald C. Arkin and Prem Nirmal and Shu Jiang},
  journal={2012 IEEE/RSJ International Conference on Intelligent Robots and Systems},
  year={2012},
  pages={2583-2590}
}
  • D. LyonsR. Arkin Shu Jiang
  • Published 24 December 2012
  • Computer Science
  • 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems
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 destruction (c-WMD) operations, as part of a 3-year effort for the Defense Threat Reduction Agency. The overall system architecture is described. The principal tool for verification is a process algebra, PARS, based on port automata theory. PARS is introduced, emphasizing its ability to represent… 

Figures 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.

A Software Tool for the Design of Critical Robot Missions with Performance Guarantees

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

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.

Performance guarantees for C-WMD robot missions

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.

Toward Performance Guarantee for Autonomous Mobile Robotic Mission: An Approach for Hardware and Software Resources Management

A generic framework addressing the concept of performance for autonomous mobile robotic mission is proposed and an approach to manage the mobile robot hardware and software resources during the mission execution according to performance objectives is presented.

An Approach for Fault Tolerant and Performance Guarantee Autonomous Robotic Mission

A new methodology using performance points of view to guide hardware and software resources management according to mission execution and fault occurrence is presented and experimental results on a patrolling mission are presented.

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.

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

References

SHOWING 1-10 OF 32 REFERENCES

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.

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.

Towards performance guarantees for emergent behavior

  • D. LyonsR. Arkin
  • Computer Science
    IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004
  • 2004
A modeling framework based on port automata and asynchronous communication is introduced and an analysis approach is developed that removes the combinatoric issues of looking at an asynchronous combination of robot and environment.

Usability evaluation of high-level user assistance for robot mission specification

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.

Line-of-sight constrained exploration for reactive multiagent robotic teams

  • R. ArkinJ. Diaz
  • Engineering
    7th International Workshop on Advanced Motion Control. Proceedings (Cat. No.02TH8623)
  • 2002
This paper reports on an investigation into how a team of robotic agents can self-organize for the exploration of a building, subject to the constraint of maintaining line-of-sight communications.

Multiagent Mission Specification and Execution

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.

Motor Schema — Based Mobile Robot Navigation

  • R. Arkin
  • Computer Science
    Int. J. Robotics Res.
  • 1989
A variant of the potential field method is used to produce the appropriate velocity and steering commands for the robot and demonstrates the feasibility of this approach.

Microsoft robotics studio: A technical introduction

  • Jared Jackson
  • Computer Science
    IEEE Robotics & Automation Magazine
  • 2007
The composition of MSRS is examined, looking generally at its architecture and specifically at its solutions for concurrency, distribution, abstraction, simulation, and programmer interaction.

ROS: an open-source Robot Operating System

This paper discusses how ROS relates to existing robot software frameworks, and briefly overview some of the available application software which uses ROS.

Evaluating the Usability of Robot Programming Toolsets

The issues of evaluating high-level robot programming toolsets as to their usability are examined, including how usability criteria are established and target values are chosen.