Verifying and validating multirobot missions

@article{Lyons2014VerifyingAV,
  title={Verifying and validating multirobot missions},
  author={Damian M. Lyons and Ronald C. Arkin and Shu Jiang and Dagan Harrington and T. Liu},
  journal={2014 IEEE/RSJ International Conference on Intelligent Robots and Systems},
  year={2014},
  pages={1495-1502}
}
  • D. Lyons, R. Arkin, +2 authors T. Liu
  • Published 6 November 2014
  • Engineering, Computer Science
  • 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems
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.Β 
Automatic Verification of Autonomous Robot Missions
TLDR
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. Expand
Probabilistic Verification of Multi-robot Missions in Uncertain Environments
TLDR
A novel method to extend the Bayesian Network formulation to reason about random variables with different subpopulations is introduced to address the challenge of representing the effects of multiple sensory histories when verifying a robot mission. Expand
Establishing A-Priori Performance Guarantees for Robot Missions that Include Localization Software
One approach to determining whether an automated system is performing correctly is to monitor its performance, signaling when the performance is not acceptable; another approach is to automatically… Expand
Establishing A-Priori Performance Guarantees for Robot Missions that Include Localization Software
TLDR
Several approaches to incorporating pre-existing software into the authors’ probabilistic verification framework are presented, and one used to include Monte-Carlo based localization software is presented. Expand
Formal performance guarantees for an approach to human in the loop robot missions
TLDR
This work presents a novel approach to modelling the skill level of the operator and integrating it into automatic verification using a linear Gaussians model parameterized by experimental calibration, and demonstrates the effectiveness of this approach by comparing predicated performance to experimentally measured performance. Expand
Formal Performance Guarantees for Human in the Loop Robot Missions *
A key challenge in the automatic verification of robot mission software, especially critical mission software, is to be able to effectively model the performance of a human operator and factor that… Expand
Toward Formal Models and Languages for Verifiable Multi-Robot Systems
TLDR
The extent to which the considered languages captured the key features of MRSs in an adequate and intuitive way by using them to implement multi-robot systems case studies was assessed. Expand
SLAM-Based Spatial Memory for Behavior-Based Robots
TLDR
This paper presents an integration of SLAM into a behavior-based robotic system as a dynamically acquired spatial memory, which can be used to enable new behaviors and augment existing ones. Expand
An Analysis of Displays for Probabilistic Robotic Mission Verification Results
TLDR
This paper addresses the step after verification of autonomous behavior-based robotic missions, how to present this information to users, and suggests a different display paradigm. Expand
vTSL - A Formally Verifiable DSL for Specifying Robot Tasks
TLDR
A verifiable task specification language (vTSL) is introduced that enables to automatically prove that a task specification satisfies a set of predefined or task-specific constraints. Expand
...
1
2
...

References

SHOWING 1-10 OF 27 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… 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
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
Towards performance guarantees for emergent behavior
  • D. Lyons, R. Arkin
  • Engineering, Computer Science
  • IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004
  • 2004
TLDR
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. Expand
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
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
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
Bounding overwatch operations for robotic and semi-robotic ground vehicles
The coordination of teams of ground vehicles is a critical problem for many military operations. When moving in teams through enemy territory, one of the more important operations is that of the… Expand
Safety verification and failure analysis of goal-based hybrid control systems
TLDR
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. Expand
A compositional framework for programming stochastically interacting robots
TLDR
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. Expand
...
1
2
3
...