IEEE - Institute of Electrical and Electronics Engineers, Inc. - Scalable lazy SMT-based motion planning

2016 IEEE 55th Conference on Decision and Control (CDC)

Author(s): Yasser Shoukry ; Pierluigi Nuzzo ; Indranil Saha ; Alberto L. Sangiovanni-Vincentelli ; Sanjit A. Seshia ; George J. Pappas ; Paulo Tabuada
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2016
Conference Location: Las Vegas, NV, USA
Conference Date: 12 December 2016
Page(s): 6,683 - 6,688
ISBN (Electronic): 978-1-5090-1837-6
ISBN (DVD): 978-1-5090-1844-4
DOI: 10.1109/CDC.2016.7799298
Regular:

We present a scalable robot motion planning algorithm for reach-avoid problems. We assume a discrete-time, linear model of the robot dynamics and a workspace described by a set of obstacles and a... View More

Advertisement