Efficiency and abstraction in task and motion planning
Name
1196373635-MIT.pdf
Size
12.71 MB
Format
Adobe PDF
Checksum (MD5)
7e9f0b11555c1a9edb7c7cd6ac85d099
Author(s)
Vega-Brown, Will(William Robert)
Advisor(s)
Nicholas Roy.
Date Issued
2020
Publisher
Massachusetts Institute of Technology
Abstract
Modern robots are capable of complex and highly dynamic behaviors, yet the decisionmaking algorithms that drive them struggle to solve problems involving complex behaviors like manipulation. The combination of continuous and discrete dynamics induced by contact creates severe computational challenges, and most known practical approaches rely on hand-designed discrete representations to mitigate computational issues. However, the relationship between the discrete representation and the physical robot is poorly understood and cannot easily be empirically verified, and so many planning systems are brittle and prone to failure when the robot encounters situations not anticipated by the model designer. This thesis addresses the limitations of conventional representations for task and motion planning by introducing a constraint-based representation that explicitly places continuous and discrete dynamics on equal footing.
We argue that the challenges in modelling problems with both discrete and continuous dynamics can be reduced to a trade-off between model complexity and empirical accuracy. We propose the use of abstraction to combine models that balance those two constraints differently, and we claim that by using abstraction we can build systems that reliably generate high-quality plans, even in complex domains with many objects. Using our representation, we construct and analyze several new algorithms, providing new insight into long-standing open problems about the decidability and complexity of motion planning. We describe algorithms for sampling-based planning in hybrid domains, and show that these algorithms are complete and asymptotically optimal for systems that can defined by analytic constraints. We also show that the reachability problem can be decided using polynomial space for systems described by polynomial constraints satisfying a certain technical conditions.
This class of systems includes many important robotic planning problems, and our results show that the decision problem for several benchmark task and motion planning languages is PSPACE-complete.
Description
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Mechanical Engineering, 2020
Cataloged from PDF of thesis.
Includes bibliographical references (pages 142-157).
Subjects
Mechanical Engineering.
MIT Department
Massachusetts Institute of Technology. Department of Mechanical Engineering
Terms of Use
MIT theses may be protected by copyright. Please reuse MIT thesis content according to the MIT Libraries Permissions Policy, which is available through the URL provided.
Persistent DSpace Link
