Corpus ID: 1578315

Getting it Right the First Time: Verification of Behavior-based Multirobot Missions

@inproceedings{Lyons2014GettingIR,
  title={Getting it Right the First Time: Verification of Behavior-based Multirobot Missions},
  author={Damian M. Lyons and Ronald C. Arkin and Shu Jiang and Dagan Harrington and Matthew Joseph O'Brien},
  year={2014}
}
Position Paper Getting it right the first time: Verification of Behavior-based Multirobot Missions Damian Lyons, Ronald Arkin, Shu Jiang, Dagan Harrington and Matthew O'Brien Dept. Of Computer & Information Science, Fordham University, Bronx NY 10458 School of Interactive Computing, Georgia Institute of Technology, Atlanta GA 30332 {dlyons,dharrington5}@fordham.edu, {arkin, sjiang, mjobrien}@cc.gatech.edu 

Figures from this paper

References

SHOWING 1-10 OF 22 REFERENCES
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
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
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 massExpand
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
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
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. 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
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. 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
...
1
2
3
...