Differentially constrained mobile robot motion planning in state lattices

We present an approach to the problem of differentially constrained mobile robot motion planning in arbitrary cost fields. The approach is based on deterministic search in a specially discretized state space. We compute a set of elementary motions that connects each discrete state value to a set of its reachable neighbors via feasible motions. Thus, this set of motions induces a connected search graph. The motions are carefully designed to terminate at discrete states, whose dimensions include relevant state variables (e.g., position, heading, curvature, and velocity). The discrete states, and thus the motions, repeat at regular intervals, forming a lattice. We ensure that all paths in the graph encode feasible motions via the imposition of continuity constraints on state variables at graph vertices and compliance of the graph edges with a differential equation comprising the vehicle model. The resulting state lattice permits fast full configuration space cost evaluation and collision detection. Experimental results with research prototype rovers demonstrate that the planner allows us to exploit the entire envelope of vehicle maneuverability in rough terrain, while featuring real-time performance. © 2009 Wiley Periodicals, Inc.

[1]  L. Dubins On Curves of Minimal Length with a Constraint on Average Curvature, and with Prescribed Initial and Terminal Positions and Tangents , 1957 .

[2]  Nils J. Nilsson,et al.  A Formal Basis for the Heuristic Determination of Minimum Cost Paths , 1968, IEEE Trans. Syst. Sci. Cybern..

[3]  John H. Reif,et al.  Complexity of the mover's problem and generalizations , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).

[4]  Tomás Lozano-Pérez,et al.  An algorithm for planning collision-free paths among polyhedral obstacles , 1979, CACM.

[5]  Tomás Lozano-Pérez,et al.  Spatial Planning: A Configuration Space Approach , 1983, IEEE Transactions on Computers.

[6]  Judea Pearl,et al.  Heuristics : intelligent search strategies for computer problem solving , 1984 .

[7]  John Canny,et al.  The complexity of robot motion planning , 1988 .

[8]  Balas K. Natarajan The Complexity of Fine Motion Planning , 1988, Int. J. Robotics Res..

[9]  L. Shepp,et al.  OPTIMAL PATHS FOR A CAR THAT GOES BOTH FORWARDS AND BACKWARDS , 1990 .

[10]  Jean-Claude Latombe,et al.  A Monte-Carlo algorithm for path planning with many degrees of freedom , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[11]  Jean-Claude Latombe,et al.  Robot motion planning , 1970, The Kluwer international series in engineering and computer science.

[12]  Jean-Claude Latombe,et al.  Nonholonomic multibody mobile robots: Controllability and motion planning in the presence of obstacles , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[13]  John F. Canny,et al.  An exact algorithm for kinodynamic planning in the plane , 1991, Discret. Comput. Geom..

[14]  Anthony Stentz,et al.  The Focussed D* Algorithm for Real-Time Replanning , 1995, IJCAI.

[15]  Lydia E. Kavraki,et al.  Random networks in configuration space for fast path planning , 1994 .

[16]  Dinesh Manocha,et al.  OBBTree: a hierarchical structure for rapid interference detection , 1996, SIGGRAPH.

[17]  Lydia E. Kavraki,et al.  Probabilistic roadmaps for path planning in high-dimensional configuration spaces , 1996, IEEE Trans. Robotics Autom..

[18]  Thierry Fraichard,et al.  Collision-free and continuous-curvature path planning for car-like robots , 1997, Proceedings of International Conference on Robotics and Automation.

[19]  Dinesh K. Pai,et al.  Multiresolution rough terrain motion planning , 1998, IEEE Trans. Robotics Autom..

[20]  Christian Laugier,et al.  Planning sub-optimal and continuous-curvature paths for car-like robots , 1998, Proceedings. 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems. Innovations in Theory, Practice and Applications (Cat. No.98CH36190).

[21]  K. Murphy,et al.  Path planning for autonomous vehicles driving over rough terrain , 1998, Proceedings of the 1998 IEEE International Symposium on Intelligent Control (ISIC) held jointly with IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA) Intell.

[22]  Micha Sharir,et al.  Motion Planning for a Convex Polygon in a Polygonal Environment , 1999, Discret. Comput. Geom..

[23]  Moëz Cherif Kinodynamic motion planning for all-terrain wheeled vehicles , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

[24]  Jean-Claude Latombe,et al.  Autonomous agents for real-time animation , 1999 .

[25]  Lydia E. Kavraki,et al.  Path planning using lazy PRM , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[26]  David Hsu,et al.  Randomized single-query motion planning in expansive spaces , 2000 .

[27]  Robert Bohlin,et al.  Path planning in practice; lazy evaluation on a multi-resolution grid , 2001, Proceedings 2001 IEEE/RSJ International Conference on Intelligent Robots and Systems. Expanding the Societal Role of Robotics in the the Next Millennium (Cat. No.01CH37180).

[28]  Thierry Fraichard,et al.  Smooth path planning for cars , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[29]  Florent Lamiraux,et al.  Smooth motion planning for car-like vehicles , 2001, IEEE Trans. Robotics Autom..

[30]  Steven M. LaValle,et al.  Quasi-randomized path planning , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[31]  Jean-Claude Latombe,et al.  A Single-Query Bi-Directional Probabilistic Roadmap Planner with Lazy Collision Checking , 2001, ISRR.

[32]  E. Feron,et al.  Real-time motion planning for agile autonomous vehicles , 2000, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[33]  Jean-Claude Latombe,et al.  Reconfiguration planning for modular self-reconfigurable robots , 2001 .

[34]  Stephen M. Rock,et al.  Motion planning for free-flying robots in dynamic and uncertain environments , 2001 .

[35]  F. Jean Complexity of nonholonomic motion planning , 2001 .

[36]  Antonio Bicchi,et al.  On the reachability of quantized control systems , 2002, IEEE Trans. Autom. Control..

[37]  Maxim Likhachev,et al.  D*lite , 2002, AAAI/IAAI.

[38]  Jean-Claude Latombe,et al.  On Delaying Collision Checking in PRM Planning: Application to Multi-Robot Coordination , 2002, Int. J. Robotics Res..

[39]  Steven M. LaValle,et al.  On the Relationship between Classical Grid Search and Probabilistic Roadmaps , 2004, Int. J. Robotics Res..

[40]  David A. Anisi,et al.  Nearly time-optimal paths for a ground vehicle , 2003 .

[41]  Steven M. LaValle,et al.  Current Issues in Sampling-Based Motion Planning , 2005, ISRR.

[42]  Alonzo Kelly,et al.  Reactive Nonholonomic Trajectory Generation via Parametric Optimal Control , 2003, Int. J. Robotics Res..

[43]  Steven M. LaValle,et al.  Steps toward derandomizing RRTs , 2004, Proceedings of the Fourth International Workshop on Robot Motion and Control (IEEE Cat. No.04EX891).

[44]  Thierry Fraichard,et al.  From Reeds and Shepp's to continuous-curvature paths , 1999, IEEE Transactions on Robotics.

[45]  K. Mehlhorn,et al.  Approximate motion planning and the complexity of the boundary of the union of simple geometric figures , 1992, Algorithmica.

[46]  Alonzo Kelly,et al.  Constrained Motion Planning in Discrete State Spaces , 2005, FSR.

[47]  Bruce Randall Donald,et al.  Provably good approximation algorithms for optimal kinodynamic planning: Robots with decoupled dynamics bounds , 1995, Algorithmica.

[48]  David Silver,et al.  Towards Topological Exploration of Abandoned Mines , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[49]  Anthony Stentz,et al.  Multi-resolution Field D , 2006, IAS.

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

[51]  Ross A. Knepper,et al.  High Performance State Lattice Planning Using Heuristic Look-Up Tables , 2006, 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[52]  Alonzo Kelly,et al.  Optimal Rough Terrain Trajectory Generation for Wheeled Mobile Robots , 2007, Int. J. Robotics Res..

[53]  Alonzo Kelly,et al.  Toward Optimal Sampling in the Space of Paths , 2007, ISRR.

[54]  Alonzo Kelly,et al.  Differentially constrained motion replanning using state lattices with graduated fidelity , 2008, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems.