On Decidability of Existence of Fortified Supervisors Against Covert Actuator Attackers

Ruochen Tai, Liyong Lin, Rong Su

This work investigates the problem of synthesizing fortified supervisors against covert actuator attackers. For a non-resilient supervisor S, i.e., there exists at least a covert a…