Automatic Verification of Autonomous Robot Missions

@inproceedings{OBrien2014AutomaticVO,
  title={Automatic Verification of Autonomous Robot Missions},
  author={M. O'Brien and R. Arkin and D. Harrington and D. Lyons and Shu Jiang},
  booktitle={SIMPAR},
  year={2014}
}
  • M. O'Brien, R. Arkin, +2 authors Shu Jiang
  • Published in SIMPAR 2014
  • Computer Science
  • Before autonomous robotics can be used for dangerous or critical missions, performance guarantees should be made available. This paper overviews a software system for the verification of behavior-based controllers in context of chosen hardware and environmental models. Robotic controllers are automatically translated to a process algebra. The system comprising both the robot and the environment are then evaluated by VIPARS, a verification software module in development, and compared to specific… CONTINUE READING

    Figures, Tables, and Topics from this paper.

    Explore Further: Topics Discussed in This Paper

    Formal Specification and Verification of Autonomous Robotic Systems: A Survey
    • 42
    • PDF
    Performance verification for robot missions in uncertain environments
    • 8
    • PDF
    Safety-critical advanced robots: A survey
    • 63
    • PDF
    Probabilistic Verification of Multi-robot Missions in Uncertain Environments
    • 10
    • PDF
    Formal Performance Guarantees for Behavior-Based Localization Missions
    • 3
    • PDF
    An Approach for Fault Tolerant and Performance Guarantee Autonomous Robotic Mission
    • 1
    • PDF
    A Survey on Domain-specific Modeling and Languages in Robotics
    • 40
    • Highly Influenced
    • PDF
    Formal verification of behaviour networks including sensor failures
    • 9
    • PDF
    Strategy Synthesis for Autonomous Agents Using PRISM
    • 9
    • PDF

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 24 REFERENCES
    Designing autonomous robot missions with performance guarantees
    • 23
    • 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
    Towards automatic verification of autonomous systems
    • 54
    • PDF
    Temporal-Logic-Based Reactive Mission and Motion Planning
    • 533
    • PDF
    Specification and planning of UAV missions: a Process Algebra approach
    • 29
    • PDF
    Performance guarantees for C-WMD robot missions
    • 6
    • PDF
    Verifying and validating multirobot missions
    • 12
    • PDF