Accession Number:



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

Descriptive Note:

Technical Report,01 Jun 2012,31 May 2015

Corporate Author:

California Institute of Technology Pasadena United States

Personal Author(s):

Report Date:


Pagination or Media Count:



This project develops methods and tools for formally synthesizing distributed, software based control protocols for autonomous systems. It tackles the challenge of establishing trust in autonomous systems through a shift from the traditional design verify approach to specify synthesize. Specifically, it 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. A specify synthesize design flow begins with formal specification of system requirements, architectural constraints, and information flow patterns. These specifications are automatically compiled into control protocols that utilize multiscale models of the system and measurements of its dynamic environment in order to realize these specifications.

Subject Categories:

  • Computer Systems

Distribution Statement: