An Efficient Motion Planner Based on Random Sampling Jean-Claude Latombe Computer Science Department Stanford University Main Collaborators Lydia Kavraki (Rice U.) David Hsu (U. of North Carolina, Chapel Hill) Gildardo Sanchez (ITESM, Mexico) James Kuffner (U. of Tokyo) Rajeev Motwani (Stanford U.) Goal of Motion Planning Answer queries about the connectivity of a space Possible Constraints Collision-free Stability Kino-dynamic Visibility The Beginning … Shakey (Nilsson, 1969): Visibility graph Configuration Space Represent the robot as a point in a parameter space Why Sampling-Based Planning? Computing an explicit representation of the collision-free space is extremely time consuming and impractical There exist fast collision-checking algorithms to test whether any given configuration or short path is collision-free, or not (0.001 sec or less) Outline General Approach Specific Planner Experimental Results Other Applications Probabilistic Roadmap (PRM) admissible space milestone mg mb [Kavraki, Svetska, Latombe,Overmars, 95] Relation to Art-Gallery Problems [Kavraki, Latombe, Motwani, Raghavan, 95] Narrow Passage Issue Difficult Easy Probabilistic Completeness Under generally satisfied assumptions, if a solution path exists, the probability that a PRM planner fails to find one goes to 0 exponentially in the number of milestones. Full completeness Too costly Heuristic Too unreliable Probabilistic completeness Fast and reliable Key Techniques Collision checking / Distance computation Sampling strategies Key Techniques Collision checking / Distance computation Hierarchical approach Feature-based approach Sampling strategies Hierarchical Collision Checking Three-Dimensional Case Collision Checking Collision Checking Performance Collision checking takes between 0.0001 and .002 seconds for 2 objects of 500,000 triangles each on a 1-GHz Pentium III Collision checking is faster when objects collide or are far apart, and gets slower when they get closer without colliding Overall collision checking time grows roughly as the log of the number of triangles Key Techniques Collision checking / Distance computation Sampling strategies Multi-stage strategies Obstacle-sensitive strategies Multiple vs. single query strategies Configuration vs. control sampling Single vs. bi-directional sampling Lazy collision checking Probabilistic biases (e.g., medial axis transform) Outline General Approach Specific Planner Experimental Results Other Applications SBL Planner Single-query Does not pre-compute a roadmap [Hsu, Latombe, Motwani, 1997] Bi-directional sampling Constructs a roadmap by growing two trees of milestones rooted at the input query configuration [Hsu, 2000] Lazy collision checking Postpone collision-checking operations until absolutely needed [Bohlin and Kavraki, 2000] SBL Planner SBL Planner m m is picked at random among the milestones with a probabilistic distribution inverse to the local density of sampling SBL Planner SBL Planner SBL Planner SBL Planner X SBL Planner The collision-checking work is memorized Why Postponing Collision Checking? The a priori probability that a short edge be collision-free is rather large 1.20 1.00 0.80 0.60 0.40 0.20 Length of the segm ent 0.7 0.66 0.62 0.58 0.5 0.54 0.46 0.42 0.38 0.3 0.34 0.26 0.22 0.18 0.14 0.1 0.06 0.00 0.02 Ratio of rejections / total Why Postponing Collision Checking? The a priori probability that a short edge be collision-free is rather large The test of an edge is most expensive when it is actually collision-free Most edges of a roadmap do not end up in a solution path Path Optimization Problems Remedy – too few vertices: get stuck – remove as many vertices as possible – too many vertices: slow – add vertices as needed Outline General Approach Specific Planner Experimental Results Other Applications Single-Robot Examples nrob = 5,000 and nobs = 21,000 nrob = 3,000 and nobs = 50,000 nrob = 3,000 and nobs = 100 nrob = 3,000; nobs = 50 nrob = 5,000; nobs = 83,000 Videos nrobot =5,000; nobst = 21,000 Tav = 0.6 s Videos nrobot =5,000; nobst = 83,000 Tav = 4.42 s nrobot =3,000; nobst = 50,000 Tav = 0.17 s Videos nrobot =3,000; nobst = 100 Tav = 6.99 s nrobot =3,000; nobst = 50,000 Tav = 4.45 s Experimental Data on One Example nrob = 5,000 nobs = 21,000 Running Time(secs) Milestones in Roadmap Milestones in Path 0.36 1.19 0.4 0.64 1.09 0.78 0.51 0.46 0.46 0.63 112 216 95 167 200 178 150 67 104 194 9 21 9 18 10 20 14 15 16 13 Total Nr of Collision Checks Collision Checks on the Path (1 GHz Pentium III processor) 934 3170 884 1701 2625 2038 1307 1112 1213 1499 247 602 234 461 272 520 411 377 420 322 Sampled Milestones Comput. Time for Coll-Check (secs) 174 334 148 265 311 260 239 100 156 329 0.36 1.17 0.4 0.64 1.06 0.76 0.5 0.45 0.46 0.62 Average Performance 1d 1c 1b 1a 1e Averages over 100 runs Example 1a 1b 1c 1d 1e Running Time(secs) 0.60 4.45 4.42 0.17 6.99 Milestones in Roadmap 159 1609 1405 33 4160 Milestones in Path 13 39 24 10 44 (1GHz Pentium III processor) Total Nr of Collision Checks 1483 11211 7267 406 12228 Collision Checks on the Path 342 411 277 124 447 Sampled Milestones 245 7832 3769 47 6990 Comput. Time for Coll-Check (secs) 0.58 4.21 4.17 0.17 6.30 Std. Deviation for running time 0.38 2.48 1.86 0.07 3.55 Convergence of SBL Manufacture Cell Metal Sheet Weld 250 250 200 200 200 150 150 150 100 100 100 50 50 50 250 0 0 0 0 500 1000 1500 0 500 1000 1500 0 100 200 300 400 Impact of Lazy Collision Checking Average performance with lazy collision checking Example 1a 1b 1c 1d 1e Running Time(secs) 0.60 4.45 4.42 0.17 6.99 Milestones in Roadmap 159 1609 1405 33 4160 Milestones in Path 13 39 24 10 44 Total Nr of Collision Checks 1483 11211 7267 406 12228 Collision Checks on the Path 342 411 277 124 447 Sampled Milestones Comput. Time for Coll-Check (secs) 245 7832 3769 47 6990 0.58 4.21 4.17 0.17 6.30 Std. Deviation for running time 0.38 2.48 1.86 0.07 3.55 Average performance without lazy collision checking Example 1a 1b 1c 1d 1e Running Milestones in Time(secs) Roadmap 2.82 106.20 18.46 1.03 293.77 22 3388 771 29 6737 Milestones in Path 5 32 16 9 24 Total Nr of Collision Checks 7425 300060 38975 2440 666084 Collision Checks on the Path 173 421 219 123 300 Sampled Milestones 83 9504 3793 46 11971 Comput. Time for Std. Deviation Coll-Check (secs) for running time 2.81 105.56 18.35 1.02 292.40 3.01 59.30 15.34 0.70 122.75 Multi-Robot Spot Welding Typical Problem Video Average Running Times Problem PI- 2 Robots PII- 2 Robots PIII-2 Robots Running time (secs) 0.26 0.25 2.44 PI-4 Robots PII-4 Robots PIII-4 Robots PI-6 Robots PII-6 Robots PIII-6 Robots Milestones in Roadmap Milestones in Path Total Nr of Collision Checks Collision Checks on the Path Sampled Milestones Comput. Time for Coll-Check (secs) Std. Deviation for running time 11 11 191 4 5 17 242 248 2356 58 76 243 18 13 718 0.26 0.25 2.41 0.52 0.17 1.57 3.97 3.94 30.82 62 56 841 7 10 32 1015 968 8895 106 166 542 193 112 2945 3.96 3.93 30.57 5.67 2.40 15.55 28.91 59.65 442.85 322 882 5648 14 30 91 3599 6891 47384 212 533 1525 1083 1981 24511 28.82 59.41 439.39 28.91 31.08 170.46 (1 GHz processor) Centralized vs. Decoupled Planning Averages over 20 runs PROBLEM I Planner PROBLEM II PROBLEM III 2 Robots 4 Robots 6 Robots 2 Robots 4 Robots 6 Robots 2 Robots 4 Robots 6 Robots Time(s) Failures Time(s) Failures Time(s) Failures Time(s) Failures Time(s) Failures Time(s) Failures Time(s) Failures Time(s) Failures Time(s) Failures Centralized 0.26 0 3.97 0 28.91 0 0.25 0 3.94 0 59.65 0 2.44 0 30.81 0 442.85 0 Dec. Global 0.22 1 2.74 3 29.53 7 0.37 2 6.59 4 65.45 6 4.32 5 16.23 6 267.81 13 Dec. Pairwise 0.30 3 4.85 5 19.23 9 0.42 3 5.63 7 28.92 6 3.42 9 25.35 13 182.63 17 Outline General Approach Specific Planner Experimental Results Other Applications Design for Manufacturing/Servicing General Motors General Motors General Electric [Hsu, 2000] Radio-Surgical Planning Cyberknife System (Accuray, Inc.) CARABEAMER Planner [Tombropoulos, Adler, and Latombe, 1997] Visibility constraints Radio-Surgical Planning • 2000 < Tumor < 2200 T B1 B2 2000 < B2 + B4 < 2200 2000 < B4 < 2200 2000 < B3 + B4 < 2200 2000 < B3 < 2200 2000 < B1 + B3 + B4 < 2200 2000 < B1 + B4 < 2200 2000 < B1 + B2 + B4 < 2200 2000 < B1 < 2200 2000 < B1 + B2 < 2200 C B4 B3 • 0 < Critical < 500 0 < B2 < 500 Radio-Surgical Planning 50% Isodose Surface 80% Isodose Surface Conventional system’s plan CARABEAMER’s plan Cyberknife Systems Stanford Report, July 25, 2001 Contact Stanford Report News Servic e /Press Releas es Patients gather to praise minimally invasive technique used in treating tumors By MICHELLE BRANDT When Jeanie Schmidt, a critical care nurse from Foster City, lost hearing in her left ear and experienced numbing in her face, she prayed that her first instincts were off. “I said to the doctor, `I think I have an acoustic neuroma (a brain tumor), but I'm hoping I'm wrong. Tell me it's wax, tell me it's anything,'” Schmidt recalled. It wasn't wax, however, and Schmidt – who wound up in the Stanford Hospital emergency room when her symptoms worsened – was quickly forced to make a decision regarding treatment for her tumor. On July 13, Schmidt found herself back at Stanford – but this time with a group of patients who were treated with the same minimally invasive treatment that Schmidt ultimately chose: the CyberKnife. She was one of 40 former patients who met with Stanford faculty and staff to discuss their experiences with the CyberKnife – a radiosurgery system designed at Stanford by John Adler Jr., MD, in 1994 for performing neurosurgeries without incisions. “I wanted the chance to thank everyone again and to share experiences with other patients,” said Schmidt, who had the procedure on June 20 and will have an MRI in six months to determine its effectiveness. “I feel really lucky that I came along when this technology was around.” The CyberKnife is the newest member of the radiosurgery family. Like its ancestor, the 33-year-old Gamma Knife, the CyberKnife uses 3-D computer targeting to deliver a single, large dose of radiation to the tumor in an outpatient setting. But unlike the Gamma Knife – which requires patients to wear an external frame to keep their head completely immobile during the procedure – the CyberKnife can make real-time adjustments to body movements so that patients aren't required to wear the bulky, uncomfortable head gear. The procedure provides patients an alternative to both difficult, risky surgery and conventional radiation therapy, in which small doses of radiation are delivered each day to a large area. The procedure is used to treat a variety of conditions – including several that can't be treated by any other procedure – but is most commonly used for metastases (the most common type of brain tumor in adults), meningomas (tumors that develop from Since January 1999, more than 335 patients have been treated at Stanford with the CyberKnife. the membranes that cover the brain), and acoustic neuromas. Modular Reconfigurable Robots Casal and Yim, 1999 Xerox, Parc Humanoid Robot [Kuffner and Inoue, 2000] (U. Tokyo) Stability constraints Space Robotics robot obstacles air thrusters gas tank air bearing [Kindel, Hsu, Latombe, and Rock, 2000] Dynamic constraints Total duration : 40 sec Autonomous Helicopter [Feron, 2000] (AA Dept., MIT) Interacting Nonholonomic Robots q2 y2 q1 d y1 x1 (Grasp Lab - U. Penn) x2 Map Building [Gonzalez, 2000] Next-Best View Computation Map Building [Gonzalez, 2000] Map Building [Gonzalez, 2000] Graphic Animation of Digital Actors The Motion Factory [Koga, Kondo, Kuffner, and Latombe, 1994] Prediction of Molecular Motions Ligand-protein binding [Singh, Latombe, and Brutlag, 1999] Outline General Approach Specific Planner Experimental Results Other Applications Conclusion Conclusion Probabilistic Roadmaps provide an efficient and reliable computational approach to motion planning PRM planners are rather easy to implement They have been experimented on very different problems Remaining Issues Relatively large standard deviation of planning time No rigorous termination criterion when no solution is found New challenging applications … Optimal Touring of Multiple Goals Surgical Planning with Soft Tissue Planning Nice-Looking Motions A Bug’s Life (Pixar/Disney) Tomb Raider 3 (Eidos Interactive) Toy Story (Pixar/Disney) The Legend of Zelda (Nintendo) Antz (Dreamworks) Final Fantasy VIII (SquareOne) 1,000s of Degrees of Freedom Protein folding