Fast execution of temporal plans with mixed discrete-continuous state constraints

There has been a dramatic rise in networked embedded systems that play a central role in complex tasks. To achieve high performance and robustness, these systems need to configure and reconfigure on the fly, in light of the task requirements and system states. Communications networks, for example, plan routes and allocate bandwidth resources over time for different communication activities, while respecting through-put, delay, loss, and deadline constraints. However, existing approaches use simple discrete models to achieve goal sequences and thus cannot provide a high-fidelity plan for complex plan specifications in terms of time and state. In this thesis, we deliver Amundsen, an efficient configuration manager that supports complex concurrent tasks over time and state by reasoning over high-fidelity models. These models can encode different actuation modes with discrete and continuous specifications and temporal influences.

Name thesis:degree_name

Master

Department dc:contributor.department

Massachusetts Institute of Technology. Department of Aeronautics and Astronautics

Grantor dc:publisher

Massachusetts Institute of Technology

Year dc:date.issued

2019

Author dc:creator

• Chen, Jingkai(Scientist in aeronautics and astronautics)Massachusetts Institute of Technology.

Advisor dc:contributor.advisor

• Brian C. Williams.

• Aeronautics and Astronautics.

Statement dc:rights

• MIT theses are protected by copyright. They may be viewed, downloaded, or printed from this source but further reproduction or distribution in any format is prohibited without written permission.

Licence dc:rights.uri

• http://dspace.mit.edu/handle/1721.1/7582

Language dc:language.iso

eng

Handle dc:identifier.uri

https://hdl.handle.net/1721.1/122406

OAI identifier oai:identifier

oai:dspace.mit.edu:1721.1/122406