RRT2.0 for Fast and Optimal Kinodynamic Sampling-Based Motion Planning

We present RRT2.0: a simple yet efficient tree-based planner for asymptotically-optimal motion planning with kinodynamic constraints. RRT2.0 uses forward propagation and does not rely on the availability of a two-point boundary-value solver. The latter is a limiting requirement for some kinodynamic planners that are asymptotically optimal. The proposed approach improves upon a technique by Hauser and Zhou (2016), who explore an augmented state space with an additional coordinate, which endows every point in space with its cost-to-come value. Importantly, our optimality proofs require a milder and easily-verifiable set of assumptions on the problem and system: Lipschitz-continuity of the cost function and the dynamics. In particular, we prove that for any system satisfying those assumptions, any trajectory having a piecewise-constant control function and positive clearance from obstacles can be approximated arbitrarily well by a trajectory found by RRT2.0. We provide experimental results demonstrating on a couple of robot models with kinodynamic constraints that RRT2.0 outperforms the existing alternatives in practice.

[1]  Leslie Pack Kaelbling,et al.  LQR-RRT*: Optimal sampling-based motion planning with automatically derived extension heuristics , 2012, 2012 IEEE International Conference on Robotics and Automation.

[2]  Dan Halperin,et al.  Asymptotically-optimal Motion Planning using lower bounds on cost , 2014, 2015 IEEE International Conference on Robotics and Automation (ICRA).

[3]  Jur P. van den Berg,et al.  Kinodynamic RRT*: Asymptotically optimal motion planning for robots with linear dynamics , 2013, 2013 IEEE International Conference on Robotics and Automation.

[4]  Nicholas M. Patrikalakis,et al.  Analysis of Asymptotically Optimal Sampling-based Motion Planning Algorithms for Lipschitz Continuous Dynamical Systems , 2014, ArXiv.

[5]  Dinesh Manocha,et al.  Collision and Proximity Queries , 2004, Handbook of Discrete and Computational Geometry, 2nd Ed..

[6]  Kris Hauser,et al.  Asymptotically Optimal Planning by Feasible Kinodynamic Planning in a State–Cost Space , 2015, IEEE Transactions on Robotics.

[7]  Steven M. LaValle,et al.  Randomized Kinodynamic Planning , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

[8]  L. S. Pontryagin,et al.  Mathematical Theory of Optimal Processes , 1962 .

[9]  Riccardo Bonalli,et al.  Continuity of Pontryagin Extremals with Respect to Delays in Nonlinear Optimal Control , 2018, SIAM J. Control. Optim..

[10]  Kostas E. Bekris,et al.  Asymptotically optimal sampling-based kinodynamic planning , 2014, Int. J. Robotics Res..

[11]  Yoshihiko Nakamura,et al.  Completeness of randomized kinodynamic planners with state-based steering , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

[12]  Siddhartha S. Srinivasa,et al.  Batch Informed Trees (BIT*): Sampling-based optimal planning via the heuristically guided search of implicit random geometric graphs , 2014, 2015 IEEE International Conference on Robotics and Automation (ICRA).

[13]  Mike Stilman,et al.  Kinodynamic RRTs with Fixed Time Step and Best-Input Extension Are Not Probabilistically Complete , 2014, WAFR.

[14]  Kostas E. Bekris,et al.  Probabilistic Completeness of RRT for Geometric and Kinodynamic Planning With Forward Propagation , 2018, IEEE Robotics and Automation Letters.

[15]  Howie Choset,et al.  Principles of Robot Motion: Theory, Algorithms, and Implementation ERRATA!!!! 1 , 2007 .

[16]  Jean-Claude Latombe,et al.  Randomized Kinodynamic Motion Planning with Moving Obstacles , 2002, Int. J. Robotics Res..

[17]  Marco Pavone,et al.  Optimal sampling-based motion planning under differential constraints: The driftless case , 2014, 2015 IEEE International Conference on Robotics and Automation (ICRA).

[18]  Emilio Frazzoli,et al.  Sampling-based algorithms for optimal motion planning , 2011, Int. J. Robotics Res..

[19]  Steven M. LaValle,et al.  Planning algorithms , 2006 .

[20]  S. LaValle,et al.  Motion Planning , 2008, Springer Handbook of Robotics.

[21]  Lydia E. Kavraki,et al.  The Open Motion Planning Library , 2012, IEEE Robotics & Automation Magazine.

[22]  A. Dmitruk On the development of Pontryagin's Maximum Principle in the works of A.Ya. Dubovitskii and A.A. Milyutin , 2009 .

[23]  Marco Pavone,et al.  Deterministic sampling-based motion planning: Optimality, complexity, and performance , 2015, ISRR.

[24]  Maxim Likhachev,et al.  Multi-Heuristic A* , 2014, Int. J. Robotics Res..

[25]  Dan Halperin,et al.  Sampling-Based Bottleneck Pathfinding with Applications to Fréchet Matching , 2016, ESA.

[26]  John M. Lee Introduction to Smooth Manifolds , 2002 .

[27]  Marco Pavone,et al.  Fast marching tree: A fast marching sampling-based method for optimal motion planning in many dimensions , 2013, ISRR.

[28]  H. Brezis Functional Analysis, Sobolev Spaces and Partial Differential Equations , 2010 .

[29]  Lydia E. Kavraki,et al.  Resolution Independent Density Estimation for motion planning in high-dimensional spaces , 2013, 2013 IEEE International Conference on Robotics and Automation.

[30]  Emmanuel Trélat,et al.  Convergence Results for Smooth Regularizations of Hybrid Nonlinear Optimal Control Problems , 2011, SIAM J. Control. Optim..

[31]  H. Hermes,et al.  Foundations of optimal control theory , 1968 .

[32]  Emilio Frazzoli,et al.  Sampling-based optimal motion planning for non-holonomic dynamical systems , 2013, 2013 IEEE International Conference on Robotics and Automation.

[33]  Emilio Frazzoli,et al.  Optimal kinodynamic motion planning using incremental sampling-based methods , 2010, 49th IEEE Conference on Decision and Control (CDC).

[34]  Pieter Abbeel,et al.  Toward asymptotically optimal motion planning for kinodynamic systems using a two-point boundary value problem solver , 2015, 2015 IEEE International Conference on Robotics and Automation (ICRA).

[35]  Marco Pavone,et al.  Optimal sampling-based motion planning under differential constraints: The drift case with linear affine dynamics , 2014, 2015 54th IEEE Conference on Decision and Control (CDC).

[36]  Emmanuel Trélat,et al.  Some Properties of the Value Function and Its Level Sets for Affine Control Systems with Quadratic Cost , 2000, math/0607424.