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 (discrete/continuous)planning 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.
展开▼