Decidability of Motion Planning with Differential Constraints

13 years 11 months ago

Download www.cis.upenn.edu

— Classical path planning does not address many of the challenges of robotic systems subject to differential constraints. While there have been many recent efforts to develop motion planning algorithms for systems with differential constraints (MPD), very little has been said about the existence of exact algorithms. In other words, the decidability of MPD problems is still an open question. In this paper, we propose a partial answer to this question limiting ourselves to special cases where the trajectory functions of the systems under the ﬁnitedimensional piecewise-continuous controls have a closed-form al formulation. We deﬁne an abstract formulation for the MPD problem based on the concept of a control space. We provide an incremental decision algorithm to answer the decidability question and present sufﬁcient conditions for problems to which this algorithm can be applied. Decidability results for several non trivial MPD problems are presented. For example, we show that the ...

Peng Cheng, George J. Pappas, Vijay Kumar

Real-time Traffic