Safety Analysis and Fault Detection Isolation and Recovery (SAFIR) Synthesis for Time-Sensitive Cyber-Physical Systems

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 15, 2022
Accession Number
AD1183613

Entities

People

  • Jérôme Hugues
  • Keaton Hanna

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Autonomy
  • Cyber

DTIC Thesaurus Topics

  • Air Transportation
  • Artificial Intelligence
  • Autonomous Systems
  • Department Of Defense
  • Detection
  • Detectors
  • Engineering
  • Engineers
  • Guarantees
  • Intrusion Detection
  • Language
  • Materials
  • Robotics
  • Safety
  • Safety Analysis
  • Software Development
  • Systems Engineering

Technology Areas

  • Cyber