2026-09-19T00:00:16Zhttps://dspace.mit.edu/server/oai/requestoai:dspace.mit.edu:1721.1/1537772024-03-16T04:01:08Zcom_1721.1_7582com_1721.1_7581col_1721.1_131023
Solar-Lezama, Armando
Hernandez Cano, Leonardo
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
2024-03-15T19:23:18Z
2024-03-15T19:23:18Z
2024-02
2024-02-21T17:10:10.938Z
https://hdl.handle.net/1721.1/153777
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.
Massachusetts Institute of Technology
In Copyright - Educational Use Permitted
Copyright retained by author(s)
https://rightsstatements.org/page/InC-EDU/1.0/
Using source code to solve control problems
Thesis
application/pdf
Master
Master of Science in Electrical Engineering and Computer Science
Publication
unknown
unknown
<Publication xmlns="https://www.openaire.eu/cerif-profile/1.1/" id="1795fc33-b95e-4a13-b05a-d64df3ed7929">
<Type xmlns="https://www.openaire.eu/cerif-profile/vocab/COAR_Publication_Types">http://purl.org/coar/resource_type/c_1843</Type>
<Title>Using source code to solve control problems</Title>
<PublishedIn>
<Publication>
</Publication>
</PublishedIn>
<PublicationDate>2024-02</PublicationDate>
<Authors>
<Author>
<DisplayName>Hernandez Cano, Leonardo</DisplayName>
<Affiliation>
<OrgUnit>
</OrgUnit>
</Affiliation>
</Author>
</Authors>
<Editors>
</Editors>
<Publishers>
<Publisher>
<DisplayName>Massachusetts Institute of Technology</DisplayName>
<OrgUnit />
</Publisher>
</Publishers>
<License>https://rightsstatements.org/page/InC-EDU/1.0/</License>
<Abstract>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.</Abstract>
<Access xmlns="http://purl.org/coar/access_right"
>
</Access>
</Publication>