Motion planning among time dependent obstacles

SummaryIn this paper we study the problem of motion planning in the presence of time dependent, i.e. moving, obstacles. More specifically, we will consider the problem: given a bodyB and a collection of moving obstacles inD-dimensional space decide whether there is a continuous, collision-free movement ofB from a given initial position to a target position subject to the condition thatB cannot move any faster than some fixed top-speedc. As a discrete, combinatorial model for the continuous, geometric motion planning problem we introduce time-dependent graphs. It is shown that a path existence problem in time-dependent graphs is PSPACE-complete. Using this result we will demonstrate that a version of the motion planning problem (where the obstacles are allowed to move periodically) is PSPACE-hard, even ifD=2, B is a square and the obstacles have only translational movement. ForD=1 it is shown that motion planning is NP-hard. Furthermore we introduce the notion of thec-hull of an obstacle: thec-hull is the collection of all positions in space-time at which a future collision with an obstacle cannot be avoided. In the low-dimensional situationD=1 andD=2 we develop polynomial-time algorithms for the computation of thec-hull as well as for the motion planning problem in the special case where the obstacles are polyhedral. In particular forD=1 there is aO(n lgn) time algorithm for the motion planning problem wheren is the number of edges of the obstacle.

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

[2]  Paul G. Spirakis,et al.  Strong NP-Hardness of Moving Many Discs , 1984, Inf. Process. Lett..

[3]  R. J. Schilling,et al.  Decoupling of a Two-Axis Robotic Manipulator Using Nonlinear State Feedback: A Case Study , 1984 .

[4]  G. Beni,et al.  A Torque-Sensitive Tactile Array for Robotics , 1983 .

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

[6]  John E. Hopcroft,et al.  On the movement of robot arms in 2-dimensional bounded regions , 1982, 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982).

[7]  J. Schwartz,et al.  Linear Operators. Part I: General Theory. , 1960 .

[8]  Micha Sharir,et al.  Motion planning in the presence of moving obstacles , 1985, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).

[9]  Leonidas J. Guibas,et al.  Computing the visibility graphs of n line segments in O(nn) time , 1985, Bull. EATCS.

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

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

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

[13]  J. Schwartz,et al.  On the “piano movers'” problem I. The case of a two‐dimensional rigid polygonal body moving amidst polygonal barriers , 1983 .