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 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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jul 08, 2016
- Accession Number
- AD1012267
Entities
People
- Richard M. Murray
Organizations
- California Institute of Technology