Designing autonomous robot missions with performance guarantees

  title={Designing autonomous robot missions with performance guarantees},
  author={D. Lyons and R. Arkin and P. Nirmal and Shu Jiang},
  journal={2012 IEEE/RSJ International Conference on Intelligent Robots and Systems},
  • D. Lyons, R. Arkin, +1 author Shu Jiang
  • Published 2012
  • 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… CONTINUE READING

    Figures and Topics from this paper.

    Automatic Verification of Autonomous Robot Missions
    • 25
    • PDF
    Performance Verification for Behavior-Based Robot Missions
    • 19
    • PDF
    A Software Tool for the Design of Critical Robot Missions with Performance Guarantees
    • 10
    • PDF
    Verifying Performance for Autonomous Robot Missions with Uncertainty
    • 20
    • PDF
    SLAM-Based Spatial Memory for Behavior-Based Robots
    • 7
    • PDF


    Publications referenced by this paper.
    ROS: an open-source Robot Operating System
    • 6,608
    • PDF
    Motor Schema — Based Mobile Robot Navigation
    • R. Arkin
    • Engineering, Computer Science
    • 1989
    • 1,153
    • PDF
    Supervisory control of a class of discrete event processes
    • 3,241
    • PDF
    Automatic Deployment of Robotic Teams
    • 68
    Multiagent Mission Specification and Execution
    • 291
    Usability evaluation of high-level user assistance for robot mission specification
    • 92
    • PDF
    The Player/Stage Project: Tools for Multi-Robot and Distributed Sensor Systems
    • 1,683
    • PDF
    Microsoft robotics studio: A technical introduction
    • 234