Building High-Assurance Control Systems

Abstract

Building High-Assurance Control Systems Requires: Potentially Complex Behaviors / System. Sound Verification Techniques.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2020
Accession Number
AD1110447

Entities

People

  • Dionisio de Niz

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Control Systems
  • Cyber-Physical Systems
  • Department Of Defense
  • Engineering
  • Fail Safe
  • Governments
  • Materials
  • Rejuvenation
  • Safety
  • Simulations
  • Software Development
  • Universities
  • Verification

Fields of Study

  • Physics