13 citations · 31 across the 18 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
eess.SY2019
Synthesis of Covert Actuator Attackers for Free
Liyong Lin, Yuting Zhu, Rong Su
In this paper, we shall formulate and address a problem of covert actuator attacker synthesis for cyber-physical systems that are modelled by discrete-event systems. We assume the…
eess.SY2019★ 5 cited
Bounded Synthesis of Resilient Supervisors
Liyong Lin, Rong Su
In this paper, we investigate the problem of synthesizing resilient supervisors against combined actuator and sensor attacks, for the subclass of cyber-physical systems that can be…