Formal Specification and Correct-by-Construction Synthesis of Control Protocols for Adaptable, Human-Embedded Autonomous Systems
Abstract
This project developed methods and computational tools for formal specification, analysis, and correct-by-construction synthesis of adaptable, hierarchical control protocols for human-embedded, multi-vehicle autonomous systems. The work made novel connections between controls, computer science formal methods, convex optimization, learning theory, and human factors. Its main research thrusts included 1) efficient and reliable computation engines for high-fidelity dynamic modeling, 2) formally embedding the operators into the execution of autonomy protocols, 3) automated feedback generation and inference of specifications, and 4) learning-based adaptation with provable correctness guarantees.
Document Details
- Document Type
- Technical Report
- Publication Date
- May 31, 2019
- Accession Number
- AD1086859
Entities
People
- Ufuk Topcu