An STL-based Formulation of Resilience in Cyber-Physical Systems

Hongkai Chen, Shan Lin, Scott A. Smolka +1

Resiliency is the ability to quickly recover from a violation and avoid future violations for as long as possible. Such a property is of fundamental importance for Cyber-Physical S…