Towards Bounded Synthesis of Resilient Supervisors Against Actuator Attacks
Liyong Lin, Yuting Zhu, Rong Su · arXiv (Cornell University) · 2019
In this work, we study the safety approach of synthesizing resilient supervisors against actuator attacks, for cyber-physical systems that can be modeled as discrete-event systems. A constraint based approach for the bounded synthesis of resilient supervisors is developed. The supervisor obfuscation problem, which is proposed in a specific setting of actuator attack, can be naturally modeled and solved using the same approach.