An STL-based Approach to Resilient Control for Cyber-Physical Systems.

Hongkai Chen Scott A. Smolka Nicola Paoletti Shan Lin

Published in: HSCC (2023)

Keyphrases

cyber physical systems
cyber physical
control system
physical world
cyber security
real time
information technology
embedded systems
critical infrastructure