6 citations · 6 across the 2 of their papers we have counts for
2 papers
eess.SY2023
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…
cs.FL2016★ 6 cited
Supervisor Synthesis to Thwart Cyber Attack with Bounded Sensor Reading Alterations
Rong Su
One of the major challenges about cyber physical systems is how to prevent cyber attacks to ensure system integrity. There has been a large number of different types of attacks dis…