Randomized single-query motion planning in expansive spaces

Random sampling is a fundamental technique for motion planning of objects with many degrees of freedom (dof). This thesis presents efficient randomized algorithms for single-query motion planning of objects with many dofs and under complex motion constraints. Unlike most other probabilistic roadmap planners, our algorithms perform no preprocessing of the environment. They sample collision-free configurations incrementally in the connected components of the space that contain the query configurations, thus avoiding the high cost of pre-computing a roadmap for the entire space. Two specific planners are discussed. One addresses the simpler problem of path planning. The other extends the basic idea and takes into account kinematic and dynamic constraints on motion as well. A control system is used to represent both types of constraints in a unified framework. Our algorithms have been tested extensively on both synthesized examples and real-life CAD data from the industry; they have shown strong performance on rigid-body and articulated objects with up to 18 dofs. We also demonstrate their generality and effectiveness in three practical applications: assembly maintainability checking, motion synthesis for animated characters, and kinodynamic motion planning for an integrated real-time robot system in environments with moving obstacles. The lack of theoretical explanation for the randomized motion planners' success in experiments has motivated us to introduce the notion of expansive spaces as a new way to characterize the complexity of input environments. It provides us a conceptual framework to understand why randomized motion planners work well and under what conditions. We prove that in an expansive space, our algorithms find a solution trajectory with probability that converges to 1 at an exponential rate, if a solution exists. An efficient motion planner is also useful as a primitive for accomplishing more complex tasks. An example of this is the robot placement problem, an important application from the manufacturing industry. By combining a randomized path planner with local iterative optimization, our placement algorithm computes simultaneously a base location and a corresponding collision-free path for a fixed-base robot manipulator to execute specified tasks as efficiently as possible.

[1]  S. M. Udupa,et al.  Collision Detection and Avoidance in Computer Controlled Manipulators , 1977, IJCAI.

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

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

[4]  Leonidas J. Guibas,et al.  A kinetic framework for computational geometry , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

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

[6]  J. Schwartz,et al.  On the Complexity of Motion Planning for Multiple Independent Objects; PSPACE- Hardness of the "Warehouseman's Problem" , 1984 .

[7]  Russell H. Taylor,et al.  Automatic Synthesis of Fine-Motion Strategies for Robots , 1984 .

[8]  John E. Hopcroft,et al.  Movement Problems for 2-Dimensional Linkages , 1984, SIAM J. Comput..

[9]  Ken Shoemake,et al.  Animating rotation with quaternion curves , 1985, SIGGRAPH.

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

[11]  Eugene L. Lawler,et al.  The Traveling Salesman Problem: A Guided Tour of Combinatorial Optimization , 1985 .

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

[13]  S. Zucker,et al.  Toward Efficient Trajectory Planning: The Path-Velocity Decomposition , 1986 .

[14]  John F. Canny,et al.  New lower bound techniques for robot motion planning problems , 1987, 28th Annual Symposium on Foundations of Computer Science (sfcs 1987).

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

[16]  John F. Canny,et al.  Some algebraic and geometric computations in PSPACE , 1988, STOC '88.

[17]  S. Shankar Sastry,et al.  On grasping and coordinated manipulation by a multifingered robot hand , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.

[18]  S. Sastry,et al.  Robot motion planning with nonholonomic constraints , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[19]  Tomás Lozano-Pérez,et al.  Deadlock-free and collision-free coordination of two robot manipulators , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[20]  John F. Canny,et al.  Planning smooth paths for mobile robots , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[21]  Bernhard Glavina,et al.  Solving findpath by combination of goal-directed and randomized search , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

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

[23]  David G. Kirkpatrick,et al.  Determining the Separation of Preprocessed Polyhedra - A Unified Approach , 1990, ICALP.

[24]  Bruce Randall Donald,et al.  Real-time robot motion planning using rasterizing computer graphics hardware , 1990, SIGGRAPH.

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

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

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

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

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

[30]  Ming C. Lin,et al.  A fast algorithm for incremental distance calculation , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[31]  Richard M. Karp,et al.  An introduction to randomized algorithms , 1991, Discret. Appl. Math..

[32]  Jean-Claude Latombe,et al.  Robot Motion Planning: A Distributed Representation Approach , 1991, Int. J. Robotics Res..

[33]  Jean-Claude Latombe,et al.  Robot motion planning with many degrees of freedom and dynamic constraints , 1991 .

[34]  Jean-Claude Latombe A Fast Path Planner for a Car-Like Indoor Mobile Robot , 1991, AAAI.

[35]  John F. Canny,et al.  Using skeletons for nonholonomic path planning among obstacles , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[36]  Mark H. Overmars,et al.  A random approach to motion planning , 1992 .

[37]  Jean-Claude Latombe,et al.  Motion planning in the presence of moving obstacles , 1992 .

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

[39]  Oussama Khatib,et al.  Elastic bands: connecting path planning and control , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

[40]  E. J. Stollnitz,et al.  Wavelets for Computer Graphics : A Primer , 1994 .

[41]  Henning Tolle,et al.  Motion planning with many degrees of freedom-random reflections at C-space obstacles , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[42]  Lydia E. Kavraki,et al.  Randomized preprocessing of configuration for fast path planning , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[43]  Sean Quinlan,et al.  Efficient distance computation between non-convex objects , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[44]  Jean-Claude Latombe,et al.  Planning motions with intentions , 1994, SIGGRAPH.

[45]  Jean-Claude Latombe,et al.  On multi-arm manipulation planning , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[46]  Norman I. Badler,et al.  Animated human agents with motion planning capability for 3D-space postural goals , 1994, Comput. Animat. Virtual Worlds.

[47]  Richard M. Murray,et al.  A motion planner for nonholonomic mobile robots , 1994, IEEE Trans. Robotics Autom..

[48]  Rachid Alami,et al.  Two manipulation planning algorithms , 1995 .

[49]  Mark H. Overmars,et al.  A probabilistic learning approach to motion planning , 1995 .

[50]  Homayoun Seraji Reachability analysis for base placement in mobile manipulators , 1995, J. Field Robotics.

[51]  Tsai-Yen Li,et al.  Assembly maintainability study with motion planning , 1995, Proceedings of 1995 IEEE International Conference on Robotics and Automation.

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

[53]  Kikuo Fujimura,et al.  Time-minimum routes in time-dependent networks , 1995, IEEE Trans. Robotics Autom..

[54]  Rajeev Sharma,et al.  A framework for motion planning in stochastic environments: applications and computational issues , 1995, Proceedings of 1995 IEEE International Conference on Robotics and Automation.

[55]  Krasimir D. Kolarov Algorithms for optimal design of robots in complex environments , 1995 .

[56]  Peter A. Watterberg,et al.  Optimizing robot placement for visit-point tasks , 1996 .

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

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

[59]  J. Laumond,et al.  Multi-Level Path Planning for Nonholonomic Robots using Semi-Holonomic Subsystems , 1996 .

[60]  Philip M. Hubbard,et al.  Approximating polyhedra with spheres for time-critical collision detection , 1996, TOGS.

[61]  Florent Lamiraux,et al.  On the expected complexity of random path planning , 1996, Proceedings of IEEE International Conference on Robotics and Automation.

[62]  Pierre Ferbach,et al.  A method of progressive constraints for nonholonomic motion planning , 1996, Proceedings of IEEE International Conference on Robotics and Automation.

[63]  Nancy M. Amato,et al.  A randomized roadmap method for path and manipulation planning , 1996, Proceedings of IEEE International Conference on Robotics and Automation.

[64]  Howie Choset,et al.  Sensor based motion planning: the hierarchical generalized Voronoi graph , 1996 .

[65]  John T. Feddema Kinematically optimal robot placement for minimum time coordinated motion , 1996, Proceedings of IEEE International Conference on Robotics and Automation.

[66]  Gert Vegter,et al.  In handbook of discrete and computational geometry , 1997 .

[67]  Rajeev Motwani,et al.  Nonholonomic path planning for pushing a disk among obstacles , 1997, Proceedings of International Conference on Robotics and Automation.

[68]  Gregory S. Chirikjian,et al.  Useful metrics for modular robot motion planning , 1997, IEEE Trans. Robotics Autom..

[69]  Fethi Ben Ouezdou,et al.  General method for kinematic synthesis of manipulators with task specifications , 1997, Robotica.

[70]  Lydia E. Kavraki,et al.  A Random Sampling Scheme for Path Planning , 1997, Int. J. Robotics Res..

[71]  A. D. Lewis,et al.  Configuration Controllability of Simple Mechanical Control Systems , 1997 .

[72]  Craig D. McGray,et al.  The self-reconfiguring robotic molecule: design and control algorithms , 1998 .

[73]  Thierry Fraichard,et al.  Trajectory planning in a dynamic workspace: a 'state-time space' approach , 1998, Adv. Robotics.

[74]  Lydia E. Kavraki,et al.  Towards planning for elastic objects , 1998 .

[75]  Leonidas J. Guibas,et al.  Motion Planning with Visibility Constraints: Building Autonomous Observers , 1998 .

[76]  Mark H. Overmars,et al.  Multilevel Path Planning for Nonholonomic Robots Using Semiholonomic Subsystems , 1998, Int. J. Robotics Res..

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

[78]  Brian Mirtich,et al.  V-Clip: fast and robust polyhedral collision detection , 1998, TOGS.

[79]  Daniel Vallejo,et al.  OBPRM: an obstacle-based PRM for 3D workspaces , 1998 .

[80]  Leonidas J. Guibas,et al.  H-Walk: hierarchical distance computation for moving convex bodies , 1999, SCG '99.

[81]  Mark H. Overmars,et al.  The Gaussian sampling strategy for probabilistic roadmap planners , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

[82]  Kevin M. Lynch,et al.  Controllability of a planar body with unilateral thrusters , 1999, IEEE Trans. Autom. Control..

[83]  Jean-Claude Latombe,et al.  Fast synthetic vision, memory, and learning models for virtual humans , 1999, Proceedings Computer Animation 1999.

[84]  Arancha Casal,et al.  Self-reconfiguration planning for a class of modular robots , 1999, Optics East.

[85]  David Hsu,et al.  Placing a robot manipulator amid obstacles for optimized execution , 1999, Proceedings of the 1999 IEEE International Symposium on Assembly and Task Planning (ISATP'99) (Cat. No.99TH8470).

[86]  Thierry Siméon,et al.  Visibility based probabilistic roadmaps , 1999, Proceedings 1999 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human and Environment Friendly Robots with High Intelligence and Emotional Quotients (Cat. No.99CH36289).

[87]  Vijay Kumar,et al.  Motion planning for cooperating mobile manipulators , 1999, J. Field Robotics.

[88]  Jean-Claude Latombe,et al.  A Motion Planning Approach to Flexible Ligand Binding , 1999, ISMB.

[89]  Jean-Claude Latombe,et al.  Motion Planning: A Journey of Robots, Molecules, Digital Actors, and Other Artifacts , 1999, Int. J. Robotics Res..

[90]  Rajeev Motwani,et al.  Path Planning in Expansive Configuration Spaces , 1999, Int. J. Comput. Geom. Appl..

[91]  Nancy M. Amato,et al.  MAPRM: a probabilistic roadmap planner with sampling on the medial axis of the free space , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

[92]  Nancy M. Amato,et al.  A Kinematics-Based Probabilistic Roadmap Method for Closed Chain Systems , 2001 .

[93]  Leonidas J. Guibas Controlled Module Density Helps Reconfiguration Planning , 2000 .

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

[95]  S. LaValle,et al.  Randomized Kinodynamic Planning , 2001 .

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

[97]  William H. Press,et al.  Numerical recipes in C , 2002 .