<p>One of the ultimate goals in Robotics is to create autonomous robots. Such robots will accept high-level descriptions of tasks and will execute them without further human intervention. The input descriptions will specify what the user wants done rather than how to do it. The robots will be any ki
Complexity of Robot Motion Planning
โ Scribed by John F. Canny
- Publisher
- The MIT Press
- Year
- 1988
- Tongue
- English
- Leaves
- 220
- Series
- ACM Doctoral Dissertation Award
- Category
- Library
No coin nor oath required. For personal study only.
โฆ Synopsis
The Complexity of Robot Motion Planning makes original contributions both to robotics and to the analysis of algorithms. In this groundbreaking monograph John Canny resolves long-standing problems concerning the complexity of motion planning and, for the central problem of finding a collision free path for a jointed robot in the presence of obstacles, obtains exponential speedups over existing algorithms by applying high-powered new mathematical techniques.Canny's new algorithm for this "generalized movers' problem," the most-studied and basic robot motion planning problem, has a single exponential running time, and is polynomial for any given robot. The algorithm has an optimal running time exponent and is based on the notion of roadmaps - one-dimensional subsets of the robot's configuration space. In deriving the single exponential bound, Canny introduces and reveals the power of two tools that have not been previously used in geometric algorithms: the generalized (multivariable) resultant for a system of polynomials and Whitney's notion of stratified sets. He has also developed a novel representation of object orientation based on unnormalized quaternions which reduces the complexity of the algorithms and enhances their practical applicability.After dealing with the movers' problem, the book next attacks and derives several lower bounds on extensions of the problem: finding the shortest path among polyhedral obstacles, planning with velocity limits, and compliant motion planning with uncertainty. It introduces a clever technique, "path encoding," that allows a proof of NP-hardness for the first two problems and then shows that the general form of compliant motion planning, a problem that is the focus of a great deal of recent work in robotics, is non-deterministic exponential time hard. Canny proves this result using a highly original construction.John Canny received his doctorate from MIT And is an assistant professor in the Computer Science Division at the University of California, Berkeley. The Complexity of Robot Motion Planning is the winner of the 1987 ACM Doctoral Dissertation Award.
๐ SIMILAR VOLUMES
<p>Research on humanoid robots has been mostly with the aim of developing robots that can replace humans in the performance of certain tasks. Motion planning for these robots can be quite difficult, due to their complex kinematics, dynamics and environment. It is consequently one of the key research
<p>How can a robot decide what motions to perform in order to achieve tasks in the physical world? Robot motion planning encompasses several different disciplines, most notably robotics, computer science, control theory and mathematics. This volume presents an interdisciplinary account of recent dev