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. Lyons, R. Arkin, +1 author Shu Jiang
  • Published 2012
  • Engineering, 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… 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
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
A Software Tool for the Design of Critical Robot Missions with Performance Guarantees
Deploying a robot as part of a counter-weapons of mass destruction mission demands that the robotic software operates with high assurance. A unique feature of robotic software development is the needExpand
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
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
Toward Performance Guarantee for Autonomous Mobile Robotic Mission: An Approach for Hardware and Software Resources Management
TLDR
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. Expand
An Approach for Fault Tolerant and Performance Guarantee Autonomous Robotic Mission
TLDR
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. Expand
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. 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
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 ofExpand
...
1
2
3
...

References

SHOWING 1-10 OF 35 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. Expand
Automatic Deployment of Robotic Teams
A major goal in robot motion planning and control is to be able to specify a task in a high-level, expressive language and have the robot(s) to automatically convert the specification into a set ofExpand
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
Usability evaluation of high-level user assistance for robot mission specification
TLDR
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. Expand
Line-of-sight constrained exploration for reactive multiagent robotic teams
  • R. Arkin, J. Diaz
  • Computer Science
  • 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.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
Correct, Reactive, High-Level Robot Control
In this article, we presented an overview of how temporal logic synthesis, coupled with abstractions and continuous bisimilar controllers, can be used to generate high-level, reactive robot control.Expand
Motor Schema — Based Mobile Robot Navigation
  • R. Arkin
  • Engineering, Computer Science
  • Int. J. Robotics Res.
  • 1989
TLDR
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. Expand
Microsoft robotics studio: A technical introduction
  • Jared Jackson
  • Computer Science
  • IEEE Robotics & Automation Magazine
  • 2007
TLDR
The composition of MSRS is examined, looking generally at its architecture and specifically at its solutions for concurrency, distribution, abstraction, simulation, and programmer interaction. Expand
ROS: an open-source Robot Operating System
TLDR
This paper discusses how ROS relates to existing robot software frameworks, and briefly overview some of the available application software which uses ROS. Expand
...
1
2
3
4
...