HyCIRCA: Formal Synthesis and Verification Techniques of Autonomous Cyber-Physical Systems
Technical Report,18 Apr 2016,31 Oct 2018
SMART INFORMATION FLOW TECHNOLOGIES MINNEAPOLIS MN MINNEAPOLIS United States
Pagination or Media Count:
This report was developed under a SBIR contract for topic AF14A-T06 Formal Synthesis and Verification Techniques for Autonomous Cyber-Physical Systems. SIFT and CMU developed HyCIRCA, a novel method for correct-by-construction nonlinear hybrid discretecontinuousplanning and controller synthesis for autonomous systems. HyCIRCA was built by integrating mission planning and controller synthesis from SIFTs Cooperative Intelligent Real-time Control Architecture, its Playbook Human-Computer Interface, and CMUs dReal and dReach systems for hybrid systems verification. The resulting system provides a substantial advance in efficient controller synthesis for cyber-physical systems.