Towards Bounded Synthesis of Resilient Supervisors
Liyong Lin, Yuting Zhu, Rong Su · 2019
In this paper, we investigate the security approach of synthesizing resilient supervisors against combined actuator and sensor attacks, for the subclass of cyber-physical systems that can be modeled as discrete-event systems. A constraint-based approach for the bounded synthesis of resilient supervisors is developed by reducing it to the QBF problem.