Motion Planning for Multiple Robots

We study the motion-planning problem for pairs and triples of robots operating in a shared workspace containing n obstacles. A standard way to solve such problems is to view the collection of robots as one composite robot, whose number of degrees of freedom is d, the sum of the numbers of degrees of freedom of the individual robots. We show that it is su cient to consider a constant number of robot systems whose number of degrees of freedom is at most d 1 for pairs of robots, and d 2 for triples. (The result for a pair assumes that the sum of the number of degrees of freedom of the robots constituting the pair reduces by at least one if the robots are required to stay in contact; for triples a similar assumption is made. Moreover, for triples we need to assume that a solution with positive clearance exists.) We use this to obtain an O(n) time algorithm to solve the motion-planning problem for a pair of robots; this is one order of magnitude faster than what the standard method would give. For a triple of robots the running time becomes O(n ), which is two orders of magnitude faster than the standard method. We also apply our method to the case of a collection of bounded-reach robots moving in a low-density environment. Here the running time of our algorithm becomes O(n log n) both for pairs and triples.

[1]  George E. Collins,et al.  Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975 .

[2]  George E. Collins,et al.  Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975, Automata Theory and Formal Languages.

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

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

[5]  John E. Hopcroft,et al.  Motion of Objects in Contact , 1984 .

[6]  Steven Fortune,et al.  Coordinated motion of two robot arms , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[7]  Micha Sharir,et al.  On the union of Jordan regions and collision-free translational motion amidst polygonal obstacles , 1986, Discret. Comput. Geom..

[8]  John E. Hopcroft,et al.  Reducing Multiple Object Motion Planning to Graph Searching , 1984, SIAM J. Comput..

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

[10]  Micha Sharir,et al.  Coordinated motion planning for two independent robots , 1991, SCG '88.

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

[12]  Charles W. Warren,et al.  Multiple robot path coordination using artificial potential fields , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[13]  A. Frank van der Stappen,et al.  Motion planning amidst fat obstacles , 1993 .

[14]  Mark H. Overmars,et al.  The Complexity of the Free Space for a Robot Moving Amidst Fat Obstacles , 1993, Comput. Geom..

[15]  John F. Canny,et al.  Computing Roadmaps of General Semi-Algebraic Sets , 1991, Comput. J..

[16]  Rachid Alami,et al.  Multi-robot cooperation through incremental plan-merging , 1995, Proceedings of 1995 IEEE International Conference on Robotics and Automation.

[17]  Otfried Cheong,et al.  Range Searching in Low-Density Environments , 1996, Inf. Process. Lett..

[18]  S. Basu,et al.  COMPUTING ROADMAPS OF SEMI-ALGEBRAIC SETS ON A VARIETY , 1999 .

[19]  Marie-Françoise Roy,et al.  On Computing a Set of Points Meeting Every Cell Defined by a Family of Polynomials on a Variety , 1995, J. Complex..

[20]  Mark de Berg,et al.  Realistic input models for geometric algorithms , 1997, SCG '97.

[21]  S. Basu,et al.  Computing roadmaps of semi-algebraic sets on a variety (extended abstract) , 1997 .

[22]  S. Basu,et al.  On Computing a Set of Points meeting every Semi-algebraically Connected Component of a Family of Pol , 1997 .

[23]  Mark de Berg,et al.  Motion Planning in Environments with Low Obstacle Density , 1998, Discret. Comput. Geom..