Using source code to solve control problems
Planning for long-horizon tasks in environments with non-discrete state spaces and dynamics with discontinuities remains a core challenge in robotics. In this setting, fully automatic search methods do not yet scale to many real-world problems of interest, and because of this, specialized planning a...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Published: |
Massachusetts Institute of Technology
2024
|
| Online Access: | https://hdl.handle.net/1721.1/153777 |
| _version_ | 1826190779219968000 |
|---|---|
| author | Hernandez Cano, Leonardo |
| author2 | Solar-Lezama, Armando |
| author_facet | Solar-Lezama, Armando Hernandez Cano, Leonardo |
| author_sort | Hernandez Cano, Leonardo |
| collection | MIT |
| description | Planning for long-horizon tasks in environments with non-discrete state spaces and dynamics with discontinuities remains a core challenge in robotics. In this setting, fully automatic search methods do not yet scale to many real-world problems of interest, and because of this, specialized planning algorithms (e.g., hierarchical planners) have been developed that leverage domain knowledge to organize the search for a successful plan. However, these specialized algorithms rely on representations tailored to specific problems and domains, which imposes additional workload. Recent work, however, has studied scalable techniques for finding concrete control inputs using a given control specification alone in the form of a logical formula, which reduces the burden on the user.
This thesis studies the application of program analysis techniques to the aforementioned planning problem, in conjunction with local formulae and hybrid search spaces in the style of hierarchical planners. Our observation is that the high-level structure of problem domains can often be coded into domain-specific simulators that model the high-level dynamics of the domain. This presents an opportunity to reuse that structure when describing the planning domain. We argue, this decreases the effort required to implement a planning system when a domain expert can relate domain knowledge to simulator source code. Thus, we design a planning system which can leverage simulator source code when describing a planning domain. |
| first_indexed | 2024-09-23T08:45:33Z |
| format | Thesis |
| id | mit-1721.1/153777 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T08:45:33Z |
| publishDate | 2024 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/1537772024-03-16T04:01:08Z Using source code to solve control problems Hernandez Cano, Leonardo Solar-Lezama, Armando Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science Planning for long-horizon tasks in environments with non-discrete state spaces and dynamics with discontinuities remains a core challenge in robotics. In this setting, fully automatic search methods do not yet scale to many real-world problems of interest, and because of this, specialized planning algorithms (e.g., hierarchical planners) have been developed that leverage domain knowledge to organize the search for a successful plan. However, these specialized algorithms rely on representations tailored to specific problems and domains, which imposes additional workload. Recent work, however, has studied scalable techniques for finding concrete control inputs using a given control specification alone in the form of a logical formula, which reduces the burden on the user. This thesis studies the application of program analysis techniques to the aforementioned planning problem, in conjunction with local formulae and hybrid search spaces in the style of hierarchical planners. Our observation is that the high-level structure of problem domains can often be coded into domain-specific simulators that model the high-level dynamics of the domain. This presents an opportunity to reuse that structure when describing the planning domain. We argue, this decreases the effort required to implement a planning system when a domain expert can relate domain knowledge to simulator source code. Thus, we design a planning system which can leverage simulator source code when describing a planning domain. S.M. 2024-03-15T19:23:18Z 2024-03-15T19:23:18Z 2024-02 2024-02-21T17:10:10.938Z Thesis https://hdl.handle.net/1721.1/153777 In Copyright - Educational Use Permitted Copyright retained by author(s) https://rightsstatements.org/page/InC-EDU/1.0/ application/pdf Massachusetts Institute of Technology |
| spellingShingle | Hernandez Cano, Leonardo Using source code to solve control problems |
| title | Using source code to solve control problems |
| title_full | Using source code to solve control problems |
| title_fullStr | Using source code to solve control problems |
| title_full_unstemmed | Using source code to solve control problems |
| title_short | Using source code to solve control problems |
| title_sort | using source code to solve control problems |
| url | https://hdl.handle.net/1721.1/153777 |
| work_keys_str_mv | AT hernandezcanoleonardo usingsourcecodetosolvecontrolproblems |