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

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.

Subject Categories:

  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE