Sampling-Based Motion Planning With Differential Constraints

Since differential constraints which restrict admissible velocities and accelerations of robotic systems are ignored in path planning, solutions for kinodynamic and non-holonomic planning problems from classical methods could be either inexecutable or inefficient. Motion planning with differential constraints (MPD), which directly considers differential constraints, provides a promising direction to calculate reliable and efficient solutions. A large amount of recent efforts have been devoted to various sampling-based MPD algorithms, which iteratively build search graphs using sampled states and controls. This thesis addresses several issues in analysis and design of these algorithms. Firstly, resolution completeness of path planning is extended to MPD and the first quantitative conditions are provided. The analysis is based on the relationship between the reachability graph, which is an intrinsic graph representation of a given problem, and the search graph, which is built by the algorithm. Because of sampling and other complications, there exist mismatches between these two graphs. If a solution exists in the reachability graph, resolution complete algorithms must construct a solution path encoding the solution or its approximation in the search graph in finite time. Secondly, planners are improved with symmetry-based gap reduction algorithms to solve their gap problem, which dramatically increases time to return a high quality solution trajectory whose final state is in a small neighborhood of a goal state. The improved planners quickly obtain high quality solutions by minimizing gaps in solution path candidates, which is greatly accelerated using symmetries of robotic systems to avoid numerical integration. Finally, a heuristic is designed to solve metric sensitivity of RRT-based planners, which means that RRT-based methods have difficulties in escaping local minima when the given metric provides a poor approximation of the cost-to-go. Instead of designing a metric, the heuristic is obtained by collecting collision information online and assigning a real value to each node in the search graph. A node with a higher value means that the number of trajectories from the node that have been detected in collision is larger. Local minima are more likely to be avoided when nodes with smaller values are given higher probability to be extended.

[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]  K. Nomizu,et al.  Foundations of Differential Geometry , 1963 .

[3]  Nils J. Nilsson,et al.  A mobius automation: an application of artificial intelligence techniques , 1969, IJCAI 1969.

[4]  Nils J. Nilsson,et al.  A Mobile Automaton: An Application of Artificial Intelligence Techniques , 1969, IJCAI.

[5]  D. Bertsekas Convergence of discretization procedures in dynamic programming , 1975 .

[6]  J. S. Luh,et al.  Mininum-time along the path for a mechanical arm , 1977, 1977 IEEE Conference on Decision and Control including the 16th Symposium on Adaptive Processes and A Special Symposium on Fuzzy Set Theory and Applications.

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

[8]  C. Lin,et al.  Optimum Path Planning for Mechanical Manipulators , 1981 .

[9]  J. Schwartz,et al.  On the Piano Movers' Problem: III. Coordinating the Motion of Several Independent Bodies: The Special Case of Circular Bodies Moving Amidst Polygonal Barriers , 1983 .

[10]  J. Schwartz,et al.  On the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifolds , 1983 .

[11]  J. Hollerbach Dynamic Scaling of Manipulator Trajectories , 1983, 1983 American Control Conference.

[12]  Kang G. Shin,et al.  Minimum-time control of robotic manipulators with geometric path constraints , 1985 .

[13]  Lino Guzzella,et al.  Time-optimal motions of robots in assembly tasks , 1985, 1985 24th IEEE Conference on Decision and Control.

[14]  J. Bobrow,et al.  Time-Optimal Control of Robotic Manipulators Along Specified Paths , 1985 .

[15]  Jean-Paul Laumond,et al.  Feasible Trajectories for Mobile Robots with Kinematic and Environment Constraints , 1986, IAS.

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

[17]  Bruce Randall Donald,et al.  On the complexity of kinodynamic planning , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

[18]  James E. Bernard,et al.  Vehicle Rollover on Smooth Surfaces , 1989 .

[19]  John F. Canny,et al.  Time-optimal trajectories for a robot manipulator: a provably good approximation algorithm , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

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

[21]  Bruce Randall Donald,et al.  Provably good approximation algorithms for optimal kinodynamic planning for Cartesian robots and open chain manipulators , 1990, SCG '90.

[22]  Arthur E. Ryson,et al.  Efficient Algorithm for Time-Optimal Control of a Two-Link Manipulator , 1990 .

[23]  S. Sastry,et al.  Steering nonholonomic systems using sinusoids , 1990, 29th IEEE Conference on Decision and Control.

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

[25]  Gerardo Lafferriere,et al.  Motion planning for controllable systems without drift , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[26]  Steven Dubowsky,et al.  On computing the global time-optimal motions of robotic manipulators in the presence of obstacles , 1991, IEEE Trans. Robotics Autom..

[27]  Gregory Russell,et al.  Volumetric visualization of 3D data , 1991 .

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

[29]  Giuseppe Oriolo,et al.  Control of mechanical systems with second-order nonholonomic constraints: underactuated manipulators , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[30]  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.

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

[32]  Harald Niederreiter,et al.  Random number generation and Quasi-Monte Carlo methods , 1992, CBMS-NSF regional conference series in applied mathematics.

[33]  Bruce Randall Donald,et al.  Kinodynamic motion planning , 1993, JACM.

[34]  B. Donald,et al.  Kinodynamic Motion Planning 1 Kinodynamic Motion Planning 5 , 1993 .

[35]  M. Fliess,et al.  Flatness, motion planning and trailer systems , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[36]  S. Sastry,et al.  Nonholonomic motion planning: steering using sinusoids , 1993, IEEE Trans. Autom. Control..

[37]  J. Shewchuk An Introduction to the Conjugate Gradient Method Without the Agonizing Pain , 1994 .

[38]  M. Fliess,et al.  Flatness and defect of non-linear systems: introductory theory and examples , 1995 .

[39]  Ken Goldberg Completeness in robot motion planning , 1995 .

[40]  Mark H. Overmars,et al.  Coordinated motion planning for multiple car-like robots using probabilistic roadmaps , 1995, Proceedings of 1995 IEEE International Conference on Robotics and Automation.

[41]  Kevin M. Lynch,et al.  Stable Pushing: Mechanics, Controllability, and Planning , 1995, Int. J. Robotics Res..

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

[43]  B. Faverjon,et al.  Probabilistic Roadmaps for Path Planning in High-Dimensional Con(cid:12)guration Spaces , 1996 .

[44]  Hongyan Wang,et al.  Non-Uniform Discretization Approximations for Kinodynamic Motion Planning and its Applications , 1996 .

[45]  Hermann Kaindl,et al.  Bidirectional Heuristic Search Reconsidered , 1997, J. Artif. Intell. Res..

[46]  Antonio Bicchi,et al.  Steering driftless nonholonomic systems by control quanta , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[47]  Pierre Bessière,et al.  The Ariadne's Clew Algorithm , 1993, J. Artif. Intell. Res..

[48]  Jean-Paul Laumond,et al.  Topological property for collision-free nonholonomic motion planning: the case of sinusoidal inputs for chained form systems , 1998, IEEE Trans. Robotics Autom..

[49]  Jean-Paul Laumond,et al.  Guidelines in nonholonomic motion planning for mobile robots , 1998 .

[50]  S. LaValle Rapidly-exploring random trees : a new tool for path planning , 1998 .

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

[52]  Steven M. LaValle,et al.  Rapidly-Exploring Random Trees: Progress and Prospects , 2000 .

[53]  E. Feron,et al.  Robust hybrid control for autonomous vehicle motion planning , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[54]  Nancy M. Amato,et al.  Choosing good distance metrics and local planners for probabilistic roadmap methods , 2000, IEEE Trans. Robotics Autom..

[55]  A. Marigo,et al.  Reachability analysis for a class of quantized control systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[56]  Naoji Shiroma,et al.  Collision-Free Trajectory Planning for a 3-DoF Robot with a Passive Joint , 2000, Int. J. Robotics Res..

[57]  Jean-Claude Latombe,et al.  Kinodynamic motion planning amidst moving obstacles , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[58]  Thierry Siméon,et al.  Visibility-based probabilistic roadmaps for motion planning , 2000, Adv. Robotics.

[59]  Claire J. Tomlin,et al.  Nonlinear systems: analysis, stability, and control, Shankar Sastry, Springer‐Verlag, New York, NY, 1999, 667 pages. ISBN 0‐387‐98513‐1. , 2001 .

[60]  P. Cheng,et al.  RRT-based trajectory design for autonomous automobiles and spacecraft , 2001 .

[61]  Francesco Bullo,et al.  Motion Planning for Nonlinear Underactuated Vehicles using Hm Techniques , 2001 .

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

[63]  P. Krishnaprasad,et al.  Oscillations, SE(2)-snakes and motion control: A study of the Roller Racer , 2001 .

[64]  Benedetto Piccoli,et al.  Controllability for Discrete Systems with a Finite Control Set , 2001, Math. Control. Signals Syst..

[65]  Lydia E. Kavraki,et al.  Randomized path planning for linkages with closed kinematic chains , 2001, IEEE Trans. Robotics Autom..

[66]  Steven M. LaValle,et al.  Reducing metric sensitivity in randomized trajectory design , 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).

[67]  F. Bullo,et al.  Randomized searches and nonlinear programming in trajectory planning , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[68]  Kevin M. Lynch,et al.  Kinematic controllability for decoupled trajectory planning in underactuated mechanical systems , 2001, IEEE Trans. Robotics Autom..

[69]  Devin J. Balkcom,et al.  Time Optimal Trajectories for Bounded Velocity Differential Drive Vehicles , 2002, Int. J. Robotics Res..

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

[71]  Steven M. LaValle,et al.  Resolution complete rapidly-exploring random trees , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

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

[73]  Frédo Durand,et al.  Billboard clouds for extreme model simplification , 2003, ACM Trans. Graph..

[74]  Kostas E. Bekris,et al.  Multiple query probabilistic roadmap planning using single query planning primitives , 2003, Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453).

[75]  Sonia Martínez,et al.  A catalog of inverse-kinematics planners for underactuated systems on matrix Lie groups , 2003, Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453).

[76]  Emilio Frazzoli,et al.  Exploiting group symmetries to improve precision in kinodynamic and nonholonomic planning , 2003, Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453).

[77]  Florent Lamiraux,et al.  Kinodynamic motion planning: connecting exploration trees using trajectory optimization Methods , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[78]  Antonio Bicchi,et al.  Motion planning through symbols and lattices , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[79]  Kevin M. Lynch,et al.  Inverse kinematics-based motion planning for underactuated systems , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[80]  Florent Lamiraux,et al.  Reactive path deformation for nonholonomic mobile robots , 2004, IEEE Transactions on Robotics.

[81]  Emilio Frazzoli,et al.  Improving the performance of sampling-based planners by using a symmetry-exploiting gap reduction algorithm , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[82]  A. D. Lewis,et al.  Geometric Control of Mechanical Systems , 2004, IEEE Transactions on Automatic Control.

[83]  Colm Ó'Dúnlaing Motion planning with inertial constraints , 2005, Algorithmica.

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

[85]  Peng Cheng,et al.  Iteratively Locating Voronoi Vertices for Dispersion Estimation , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[86]  Vijay Kumar,et al.  RoboTrikke: A Novel Undulatory Locomotion System , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[87]  Steven M. LaValle,et al.  Algorithms for Planning under Uncertainty in Prediction and Sensing , 2006, Autonomous Mobile Robots.