HyCIRCA: Formal Synthesis and Verification Techniques of Autonomous Cyber-Physical Systems

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 (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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 26, 2019
Accession Number
AD1071389

Entities

People

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

Organizations

  • Smart Information Flow Technologies

Tags

Communities of Interest

  • Autonomy
  • C4I
  • Cyber
  • Human Systems
  • Materials and Manufacturing Processes
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Aircrafts
  • Artificial Intelligence
  • Autonomous Systems
  • Complex Systems
  • Computational Science
  • Contracts
  • Control Systems
  • Hybrid Systems
  • Landing Gear
  • Language
  • Probability
  • Spacecraft
  • Supervisory Control
  • Unmanned Aerial Vehicles
  • Unmanned Systems

Readers

  • Distributed Systems and Data Platform Development
  • Software Engineering.

Technology Areas

  • Autonomy
  • Autonomy - Autonomous System Control
  • Cyber