YIP Formal Synthesis of Software-Based Control Protocols for Fractionated,Composable Autonomous Systems

Abstract : This project develops methods and tools for formally synthesizing distributed, software basedcontrol protocols for autonomous systems. It tackles the challenge of establishingtrust in autonomous systems through a shift from the traditional design verify approachto specify synthesize. Specifically, it focuses on fractionated system architectures, whereheterogeneous modules delivering distinct services are composed into a functional systemwhile sharing computing and power resources across networks. The architectural constraintsdue to fractionation are critical enablers of our strategy shift toward formal synthesis. Aspecify synthesize design flow begins with formal specification of system requirements,architectural constraints, and information flow patterns. These specifications are automaticallycompiled into control protocols that utilize multiscale models of the system and measurements of its dynamic environment in order to realize these specifications.