• Corpus ID: 1578315

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

  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},
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



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

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.

Getting it right the first time: predicted performance guarantees from the analysis of emergent behavior in autonomous and semi-autonomous systems

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.

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

Specification and planning of UAV missions: a Process Algebra approach

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.

Towards performance guarantees for emergent behavior

  • D. LyonsR. Arkin
  • Computer Science
    IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004
  • 2004
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.

Performance guarantees for C-WMD robot missions

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.

Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error

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.

Multiagent Mission Specification and Execution

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.

Automated deduction for verification

Some of the basic deduction techniques used in software and hardware verification are introduced and the theoretical and engineering issues in building deductive verification tools are outlined.