This paper considers the problem of planning collision-free motion of three disks in the plane. One of the three disks, the robot, can autonomously translate in the plane, the other two move only when in contact with the robot. This represents the abstract formulation of a manipulation planning problem. Despite the simplicity of the formulation, the decidability of the problem had remained unproven so far.We prove that the problem is decidable, i.e., there exists an exact algorithm that decides whether a solution exists in finite time.
CITATION STYLE
Vendittelli, M., Laumond, J. P., & Mishra, B. (2015). Decidability of robot manipulation planning: Three disks in the plane. In Springer Tracts in Advanced Robotics (Vol. 107, pp. 641–657). Springer Verlag. https://doi.org/10.1007/978-3-319-16595-0_37
Mendeley helps you to discover research relevant for your work.