A Simple and E cient Procedure for Polyhedral Assembly Partitioning under In nitesimal Motions

We study the following problem: given a collection of polyhedral parts in 3D, determine whether there is a subset of the parts that can be moved as a rigid body by an in nitesimal translation and rotation, without colliding with the rest of the parts. A negative result implies that the object whose constituent parts are the given collection cannot be taken apart with two hands. A positive result, together with the list of movable parts and their direction of motion, can be used in an assembly sequence planner. This problem has attracted considerable attention within and outside of the robotics community. We devise an e cient algorithm to solve this problem. Our solution is based on the ability to focus only on selected portions of the tangent space of rigid motions and to e ciently access these portions. The algorithm is complete (in the sense that it is guaranteed to nd a solution if one exists), simple, and improves signi cantly over the best previously known solutions to this problem. We report preliminary experimental results of an implementation of our algorithm.

[1]  Bernard Roth,et al.  An Extension of Screw Theory , 1981 .

[2]  R. J. Dawson On Removing a Ball Without Disturbing the Others , 1984 .

[3]  Nimrod Megiddo,et al.  Linear Programming in Linear Time When the Dimension Is Fixed , 1984, JACM.

[4]  Balas K. Natarajan,et al.  On planning assemblies , 1988, SCG '88.

[5]  Richard A. Volz,et al.  On the automatic generation of plans for mechanical assembly , 1988 .

[6]  Arthur C. Sanderson,et al.  A correct and complete algorithm for the generation of mechanical assembly sequences , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[7]  Sukhan Lee,et al.  Computer-Aided Mechanical Assembly Planning , 1991 .

[8]  Pradeep K. Khosla,et al.  Motion constraints from contact geometry: representation and analysis , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[9]  Randall H. Wilson,et al.  On geometric assembly planning , 1992 .

[10]  Randall H. Wilson,et al.  Partitioning An Assembly For Infinitesimal Motions In Translation And Rotation , 1992, Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems.

[11]  Jorge Stolfi,et al.  Objects that cannot be taken apart with two hands , 1993, SCG '93.

[12]  Todd A. Cass Robust geometric matching for 3D object recognition , 1994, Proceedings of 12th International Conference on Pattern Recognition.

[13]  H. Hirukawa,et al.  Automatic determination of possible velocity and applicable force of frictionless objects in contact from a geometric model , 1994, IEEE Trans. Robotics Autom..

[14]  Jean-Claude Latombe,et al.  Geometric Reasoning About Mechanical Assembly , 1994, Artif. Intell..

[15]  Ketan Mulmuley,et al.  Computational geometry - an introduction through randomized algorithms , 1993 .