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):

• Goldman,Robert P.
• Bryce,Daniel
• Musliner,David J.
• Pelican,Michael J.
• Islam,M. A.
• Pfenning,Frank
• Clarke,Edmund M.

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:

• control systems
• artificial intelligence
• unmanned aerial vehicles
• supervisory control
• spacecraft
• probability
• complex systems
• probabilistic models
• autonomous systems
• algorithms
• hybrid systems
• computational science

Subject Categories:

• Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE