Formal Synthesis of Software-Based Control Protocols for Fractionated, Composable Autonomous Systems
Period of activity: 2012-2016
Overview of the Project
The project develops methods and tools for formally synthesizing distributed, software-based control protocols for autonomous systems. More specifically, it seeks answers to how we can specify system requirements, architectural constraints, and information flow patterns, and synthesize control protocols that utilize multiscale models of the system and measurements of its dynamic environment in order to realize these specifications.
The effort focuses on fractionated system architectures, where heterogeneous modules delivering distinct services are composed into a functional system while sharing computing and power resources across networks. The architectural constraints due to fractionation are critical enablers of our strategy shift toward formal synthesis. The project has three thrusts: (i) Synthesis of embedded, reactive control protocols that account for heterogeneity in dynamics and requirements, measurement-based reconfiguration in dynamically changing adversarial as well as cooperative environments, faults and latency in communication and computing. (ii) Developing computable robustness characterizations and metrics for these protocols. (iii) Composing systems from reusable components, and incrementally constructing system-level performance and robustness certificates from a library of subsystem certificates.