Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime

Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra. Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime. TAAS, 18(3), September 2023. [doi]

Abstract

Abstract is missing.