• Corpus ID: 171091415

9-2014 Verifying and Validating Multirobot Missions

  title={9-2014 Verifying and Validating Multirobot Missions},
  author={Damian M. Lyons},
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 a real-world environment, will hold within a threshold probability. In this paper we demonstrate its utility for verifying multirobot missions, in particular a bounding overwatch mission. 



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.

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…

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.

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.

Bounding overwatch operations for robotic and semi-robotic ground vehicles

This paper presents a novel approach for coordinating multi-vehicle teams of robotic or semi-robotic ground vehicles performing bounding overwatch operations, which generates accurate and efficient routes and takes into account such factors as terrain features, threat exposure, as well as vehicle and mission parameters.

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.

Safety verification and failure analysis of goal-based hybrid control systems

Two significant example goal network control programs, one for a complex rover and another for a proposed aerobot mission to Titan, a moon of Saturn, are verified using the three novel verification methods presented.

A compositional framework for programming stochastically interacting robots

This work model robot behavior as a stochastic process and express concurrency and program composition using simple operations, showing how composition and other operations on programs can be used to specify increasingly complex behaviors of multi-robot systems.

LTLMoP: Experimenting with language, Temporal Logic and robot control

The Linear Temporal Logic MissiOn Planning (LTLMoP) toolkit is a software package designed to assist in the rapid development, implementation, and testing of high-level robot controllers. In this…