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

@article{Lyons2013GettingIR,
  title={Getting it right the first time: Robot mission guarantees in the presence of uncertainty},
  author={Damian M. Lyons and Ronald C. Arkin and Prem Nirmal and Shu Jiang and Tsung-Ming Liu and J. Deeb},
  journal={2013 IEEE/RSJ International Conference on Intelligent Robots and Systems},
  year={2013},
  pages={5292-5299}
}
  • D. Lyons, R. Arkin, J. Deeb
  • Published 1 November 2013
  • Computer Science
  • 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems
Certain robot missions need to perform predictably in a physical environment that may only be poorly characterized in advance. We have previously developed an approach to establishing performance guarantees for behavior-based controllers in a process-algebra framework. We extend that work here to include random variables, and we show how our prior results can be used to generate a Dynamic Bayesian Network for the coupled system of program and environment model. Verification is reduced to a… 

Figures and Tables from this paper

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.
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
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.
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.
Mission Accomplished: An Introduction to Formal Methods in Mobile Robot Motion Planning and Control
TLDR
A number of fundamental topics, such as temporal logic, model checking, bisimulation quotient transition systems and reachability controller design are reviewed and the key challenges and possible future directions in this area are briefly discussed.
Mission Accomplished : An Introduction to Formal Methods in Mobile Robot Motion Planning and Control
TLDR
A number of fundamental topics, such as temporal logic, model checking, bisimulation quotient transition systems and reachability controller design are reviewed and the key challenges and possible future directions in this area are briefly discussed.
Analyzing and revising synthesized controllers for robots with sensing and actuation errors
TLDR
A method for probabilistically analyzing the behavior of a robot controller that is synthesized from a set of temporal logic specifications, when the robot operates with uncertainty in its sensing and actuation is described.
Getting it Right the First Time: Verification of Behavior-based Multirobot Missions
TLDR
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.
ReFrESH : Dynamic Decision Making in the Presence of Faults and Uncertainty in Self-Adaptive Multi-Robot Systems
TLDR
The goal of ReFrESH is to provide diagnosability and maintainability infrastructure support, built into a real-time operating system, to manage task performance in the presence of unexpected uncertainties.
...
1
2
...

References

SHOWING 1-10 OF 34 REFERENCES
Getting it right the first time: predicted performance guarantees from the analysis of emergent behavior in autonomous and semi-autonomous systems
TLDR
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.
Characterizing Performance Guarantees for Real-Time Multiagent Systems Operating in Noisy and Uncertain Environments
TLDR
This paper reports on the initial research for the Defense Threat Reduction Agency (DTRA) in understanding what is required from a performance guarantee to give a mission designer the information necessary to understand how well a robot program will perform in a specific environment.
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.
A Software Tool for the Design of Critical Robot Missions with Performance Guarantees
Characterizing performance guarantees for multiagent, real-time systems operating in noisy and uncertain environments
TLDR
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.
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
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
Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees
TLDR
An algorithm inspired from probabilistic Computation Tree Logic (PCTL) model checking to find a control strategy that maximizes the probability of satisfying the specification is proposed.
Specification and planning of UAV missions: a Process Algebra approach
TLDR
This paper considers Process Algebras as a mission specification language for teams of UAVs and proposes a tree-search algorithm that computes a feasible plan in polynomial time.
Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error
TLDR
This paper considers robot controllers that are synthesized from a set of highlevel, temporal logic task specifications, such that the resulting robot behavior is guaranteed to satisfy these specifications when assuming perfect sensors and actuators.
...
1
2
3
4
...