Sampling based Computation of Viability Domain to Prevent Safety Violations by Attackers

Kunal Garg, Ricardo G. Sanfelice, Alvaro A. Cardenas

This paper studies the security of cyber-physical systems under attacks. Our goal is to design system parameters, such as a set of initial conditions and input bounds so that it is…