{"id":{"repo_id":"mit","oai_identifier":"oai:dspace.mit.edu:1721.1/155366"},"canonical_url":"https://search.dev.ndltd.org/etd/mit/oai:dspace.mit.edu:1721.1/155366","repository":{"repo_id":"mit","name":"MIT","base_url":"https://dspace.mit.edu/oai/request"},"display":{"title":"Safe and Efficient Motion Planning in Robotic Manipulation through Formal Methods","abstract":"Manipulating rigid body objects in crowded environments poses significant challenges due to the need for rapid, real-time planning and the assurance of safe operational paths. The challenges come from varying shapes of the manipulated objects and high-dimensional nature of manipulators. This thesis addresses these issues by developing (1) a mixed-integer linear programming (MILP)-based approach to plan safe paths for rigid-body objects; and (2) a learned control barrier function (CBF) tailored for manipulators with multiple degrees of freedom (DoF) and an associated framework CBF-RRT to enable efficient planning for robotic manipulators. Comprehensive experimental results have shown that the proposed methods outperform baseline methods, providing tools for improving the safety and efficiency of robotic manipulators in complex environments.","abstract_html":"Manipulating rigid body objects in crowded environments poses significant challenges due to the need for rapid, real-time planning and the assurance of safe operational paths. The challenges come from varying shapes of the manipulated objects and high-dimensional nature of manipulators. This thesis addresses these issues by developing (1) a mixed-integer linear programming (MILP)-based approach to plan safe paths for rigid-body objects; and (2) a learned control barrier function (CBF) tailored for manipulators with multiple degrees of freedom (DoF) and an associated framework CBF-RRT to enable efficient planning for robotic manipulators. Comprehensive experimental results have shown that the proposed methods outperform baseline methods, providing tools for improving the safety and efficiency of robotic manipulators in complex environments.","abstract_has_math":false,"creators":["Yu, Mingxin"],"institution":"Massachusetts Institute of Technology","degree_name":"Master","degree_level":null,"degree_discipline":null,"degree_department":"Massachusetts Institute of Technology. Department of Aeronautics and Astronautics","school":null,"contributors":[],"advisors":["Fan, Chuchu"],"committee_chairs":[],"committee_members":[],"year":2024,"date_issued":"2024-05","date_published":"2024-05","updated_at":"2026-07-22T22:21:21Z","subjects":[],"languages":[],"rights":["In Copyright - Educational Use Permitted","Copyright retained by author(s)"],"rights_urls":["https://rightsstatements.org/page/InC-EDU/1.0/"],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/1721.1/155366","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Fan, Chuchu"]},{"key":"dc:contributor.department","label":"Department","values":["Massachusetts Institute of Technology. Department of Aeronautics and Astronautics"]},{"key":"dc:creator","label":"Author","values":["Yu, Mingxin"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2024-06-27T19:48:09Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2024-06-27T19:48:09Z"]},{"key":"dc:date.issued","label":"Date","values":["2024-05"]},{"key":"dc:publisher","label":"Institution","values":["Massachusetts Institute of Technology"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Master","Master of Science in Aeronautics and Astronautics"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:rights","label":"Dc Rights","values":["In Copyright - Educational Use Permitted","Copyright retained by author(s)"]},{"key":"dc:rights.uri","label":"Rights URI","values":["https://rightsstatements.org/page/InC-EDU/1.0/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://hdl.handle.net/1721.1/155366"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["Manipulating rigid body objects in crowded environments poses significant challenges due to the need for rapid, real-time planning and the assurance of safe operational paths. The challenges come from varying shapes of the manipulated objects and high-dimensional nature of manipulators. This thesis addresses these issues by developing (1) a mixed-integer linear programming (MILP)-based approach to plan safe paths for rigid-body objects; and (2) a learned control barrier function (CBF) tailored for manipulators with multiple degrees of freedom (DoF) and an associated framework CBF-RRT to enable efficient planning for robotic manipulators. Comprehensive experimental results have shown that the proposed methods outperform baseline methods, providing tools for improving the safety and efficiency of robotic manipulators in complex environments."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["S.M."]},{"key":"dc:title","label":"Title","values":["Safe and Efficient Motion Planning in Robotic Manipulation through Formal Methods"]}]}],"canonical_facts":{"dc:contributor.advisor":["Fan, Chuchu"],"dc:contributor.department":["Massachusetts Institute of Technology. Department of Aeronautics and Astronautics"],"dc:creator":["Yu, Mingxin"],"dc:date.accessioned":["2024-06-27T19:48:09Z"],"dc:date.available":["2024-06-27T19:48:09Z"],"dc:date.issued":["2024-05"],"dc:description.abstract":["Manipulating rigid body objects in crowded environments poses significant challenges due to the need for rapid, real-time planning and the assurance of safe operational paths. The challenges come from varying shapes of the manipulated objects and high-dimensional nature of manipulators. This thesis addresses these issues by developing (1) a mixed-integer linear programming (MILP)-based approach to plan safe paths for rigid-body objects; and (2) a learned control barrier function (CBF) tailored for manipulators with multiple degrees of freedom (DoF) and an associated framework CBF-RRT to enable efficient planning for robotic manipulators. Comprehensive experimental results have shown that the proposed methods outperform baseline methods, providing tools for improving the safety and efficiency of robotic manipulators in complex environments."],"dc:description.degree":["S.M."],"dc:identifier.uri":["https://hdl.handle.net/1721.1/155366"],"dc:publisher":["Massachusetts Institute of Technology"],"dc:rights":["In Copyright - Educational Use Permitted","Copyright retained by author(s)"],"dc:rights.uri":["https://rightsstatements.org/page/InC-EDU/1.0/"],"dc:title":["Safe and Efficient Motion Planning in Robotic Manipulation through Formal Methods"],"dc:type":["Thesis"],"thesis:degree_name":["Master","Master of Science in Aeronautics and Astronautics"]},"updated_at":"2026-07-22T22:21:21Z"}