Synthesis of reactive controllers for reconfigurable networked systems
Institution: | University of Texas Austin |
---|---|
Department: | |
Year: | 2017 |
Keywords: | Networked systems; Formal synthesis; Linear temporal logic; Maximum satisfiability |
Posted: | 02/01/2018 |
Record ID: | 2153663 |
Full text PDF: | http://hdl.handle.net/2152/62937 |
Moving toward more autonomous fault-tolerant systems with robustness against unpredicted environment behavior, this thesis defines a set of high-level specifications on an abstract model of a heterogeneous system, composed of a power distribution network and a thermal management network, and proposes two different approaches for designing a reactive controller that satisfies those specifications. The first approach encodes the specifications in linear temporal logic (LTL) while the second one treats the specifications as clauses in a maximum satisfiability (Max-SAT) setting.To benchmark the schemes, a scaled interconnected model of the power distribution network and the thermal management network is created in MATLAB Simulink where these two methods are individually implemented.Furthermore, the two controller design methods are compared in terms of their capabilities and their performances are evaluated by conducting multiple simulation scenarios.Advisors/Committee Members: Topcu, Ufuk (advisor), Longoria, Raul G. (advisor).