Accession Number:
AD1071389
Title:
HyCIRCA: Formal Synthesis and Verification Techniques of Autonomous Cyber-Physical Systems
Descriptive Note:
Technical Report,18 Apr 2016,31 Oct 2018
Corporate Author:
SMART INFORMATION FLOW TECHNOLOGIES MINNEAPOLIS MN MINNEAPOLIS United States
Personal Author(s):
Report Date:
2019-04-26
Pagination or Media Count:
71.0
Abstract:
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.
Descriptors:
Subject Categories:
- Cybernetics