• Publications
  • Influence
Leveraging area bounds information for autonomous decentralized multi-robot exploration
TLDR
The D-SBPF approach yields a simple potential field control strategy for all robots but nonetheless has good dispersion and overlap performance in exploring areas with convex geometry while avoiding potential minima. 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
Performance Verification for Behavior-Based Robot Missions
TLDR
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. 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
Leveraging Area Bounds Information for Autonomous Multirobot Exploration
TLDR
The SBPF method is based on a potential field approach that leverages knowledge of the overall bounds of the area to be explored to allow a simpler potential field control strategy for all robots but which nonetheless has good dispersion and overlap performance in all the multirobot scenarios while avoiding potential minima. Expand
Fusion of ranging data from robot teams operating in confined areas
TLDR
The problem of fusing laser ranging data from multiple mobile robots that are surveying an area as part of a robot search and rescue or area surveillance mission, specifically in the case where members of the robot team are working in close proximity to each other is addressed. 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