An STREL-based Formulation of Spatial Resilience in Cyber-Physical Systems

Zeyu Zhang, Hongkai Chen, Nicola Paoletti +2

Resiliency is the ability of a system to quickly recover from a violation (recoverability) and avoid future violations for as long as possible (durability). In the spatial setting,…