Control Barrier Function based Attack-Recovery with Provable Guarantees

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

This paper studies provable security guarantees for cyber-physical systems (CPS) under actuator attacks. In particular, we consider CPS safety and propose a new attack detection me…