Enforcement-Based Verification of CPS

Abstract

Add simpler (verifiable) runtime enforcer to make algorithms predictable.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2021
Accession Number
AD1137195

Entities

People

  • Dionisio de Niz

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Computations
  • Computer Access Control
  • Computer Programming
  • Contracts
  • Control Theory
  • Copyrights
  • Cyber-Physical Systems
  • Cyberattacks
  • Department Of Defense
  • Device Drivers
  • Engineering
  • Governments
  • Guarantees
  • Hypervisors
  • Kernels (Operating System)
  • Materials
  • National Governments
  • Software Development
  • United States Government
  • Universities
  • Verification

Fields of Study

  • Computer science