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

@article{Lyons2013GettingIR,
  title={Getting it right the first time: Robot mission guarantees in the presence of uncertainty},
  author={D. Lyons and R. Arkin and P. Nirmal and Shu Jiang and Tsung-Ming Liu and J. Deeb},
  journal={2013 IEEE/RSJ International Conference on Intelligent Robots and Systems},
  year={2013},
  pages={5292-5299}
}
  • D. Lyons, R. Arkin, +3 authors J. Deeb
  • Published 2013
  • Computer Science
  • 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems
  • Certain robot missions need to perform predictably in a physical environment that may only be poorly characterized in advance. We have previously developed an approach to establishing performance guarantees for behavior-based controllers in a process-algebra framework. We extend that work here to include random variables, and we show how our prior results can be used to generate a Dynamic Bayesian Network for the coupled system of program and environment model. Verification is reduced to a… CONTINUE READING
    Automatic Verification of Autonomous Robot Missions
    • 25
    • PDF
    Mission Accomplished: An Introduction to Formal Methods in Mobile Robot Motion Planning and Control
    • 11
    • PDF
    A Survey on Domain-specific Modeling and Languages in Robotics
    • 40
    • PDF
    9-2014 Verifying and Validating Multirobot Missions

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 32 REFERENCES