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={Damian M. Lyons and Ronald C. 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}
}
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

Citations

Publications citing this paper.
SHOWING 1-10 OF 14 CITATIONS

9-2014 Verifying and Validating Multirobot Missions

VIEW 3 EXCERPTS
CITES METHODS & BACKGROUND

Stochastic hybrid systems modeling and performance verification of behavior-based robots

  • 2015 American Control Conference (ACC)
  • 2015
VIEW 2 EXCERPTS
CITES METHODS & BACKGROUND

References

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

Designing autonomous robot missions with performance guarantees

  • 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems
  • 2012
VIEW 6 EXCERPTS

A Compositional Framework for Programming Stochastically Interacting Robots

P. P. Shenoy
  • IJRR .
  • 2011