Robot Manipulation Planning Under Linear Temporal Logic Specifications
dc.contributor.advisor | Kavraki, Lydia E | |
dc.contributor.committeeMember | Vardi, Moshe Y | |
dc.contributor.committeeMember | Chaudhuri, Swarat | |
dc.creator | He, Keliang | |
dc.date.accessioned | 2016-01-22T17:34:58Z | |
dc.date.available | 2016-01-22T17:34:58Z | |
dc.date.created | 2016-05 | |
dc.date.issued | 2015-12-07 | |
dc.date.submitted | May 2016 | |
dc.date.updated | 2016-01-22T17:34:59Z | |
dc.description.abstract | Automated planning for manipulation tasks is highly desirable, for it enables robot manipulators to be used by none robotics experts. This thesis presents one approach to solving manipulation planning for tasks expressed in linear temporal logic (ltl). This approach is based on the synergistic framework, which provides probabilistic completeness guarantees. Even though the synergistic framework has shown to work well for planning for ltl tasks in the navigation domain, it lacked an abstraction that can capture the high dimensionality of manipulation. This thesis enables manipulation planning using the synergistic framework by introducing a manipulation abstraction and modifying the interaction between task and motion planning in the framework. The modified framework is shown to be effectively in case studies in both simulation and physical systems. The case studies also show that the synergistic framework plans for manipulation problems more effective using the manipulation abstraction in comparison with a naive abstraction. | |
dc.format.mimetype | application/pdf | |
dc.identifier.citation | He, Keliang. "Robot Manipulation Planning Under Linear Temporal Logic Specifications." (2015) Master’s Thesis, Rice University. <a href="https://hdl.handle.net/1911/88079">https://hdl.handle.net/1911/88079</a>. | |
dc.identifier.uri | https://hdl.handle.net/1911/88079 | |
dc.language.iso | eng | |
dc.rights | Copyright is held by the author, unless otherwise indicated. Permission to reuse, publish, or reproduce the work beyond the bounds of fair use or other exemptions to copyright law must be obtained from the copyright holder. | |
dc.subject | Robot Manipulation | |
dc.subject | Integrated Task and Motion Planning | |
dc.title | Robot Manipulation Planning Under Linear Temporal Logic Specifications | |
dc.type | Thesis | |
dc.type.material | Text | |
thesis.degree.department | Computer Science | |
thesis.degree.discipline | Engineering | |
thesis.degree.grantor | Rice University | |
thesis.degree.level | Masters | |
thesis.degree.name | Master of Science |
Files
Original bundle
1 - 1 of 1