IEEE - Institute of Electrical and Electronics Engineers, Inc. - Control of noisy differential-drive vehicles from time-bounded temporal logic specifications

2013 IEEE International Conference on Robotics and Automation (ICRA)

Author(s): Igor Cizelj ; Calin Belta
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 May 2013
Conference Location: Karlsruhe, Germany
Conference Date: 6 May 2013
Page(s): 2,021 - 2,026
ISBN (Electronic): 978-1-4673-5643-5
ISBN (Paper): 978-1-4673-5641-1
ISSN (Paper): 1050-4729
DOI: 10.1109/ICRA.2013.6630847
Regular:

We address the problem of controlling a noisy differential drive mobile robot such that the probability of satisfying a specification given as a Bounded Linear Temporal Logic (BLTL) formula over a... View More

Advertisement