The following publications are possibly variants of this publication:
- Synthesis of covert actuator and sensor attackersLiyong Lin, Rong Su. automatica, 130:109714, 2021. [doi]
- Synthesis of optimal covert sensor-actuator attackers for discrete-event systemsRuochen Tai, Liyong Lin, Rong Su 0001. automatica, 151:110910, 2023. [doi]
- Supervisor Fortification Against Covert Actuator AttacksRuochen Tai, Liyong Lin, Rong Su 0001. cdc 2023: 7917-7922 [doi]
- Heuristic Synthesis of Covert Attackers Against Unknown SupervisorsLiyong Lin, Ruochen Tai, Yuting Zhu, Rong Su 0001. cdc 2021: 7003-7008 [doi]
- On Decidability of Existence of Fortified Supervisors Against Covert Actuator AttackersRuochen Tai, Liyong Lin, Rong Su 0001. tac, 69(3):1898-1905, March 2024. [doi]
- Observation-assisted heuristic synthesis of covert attackers against unknown supervisorsLiyong Lin, Ruochen Tai, Yuting Zhu, Rong Su 0001. deds, 32(3):495-520, 2022. [doi]
- Synthesis of the Supremal Covert Attacker Against Unknown Supervisors by Using ObservationsRuochen Tai, Liyong Lin, Yuting Zhu, Rong Su 0001. tac, 68(6):3453-3468, June 2023. [doi]