Synthesis of Covert Actuator and Sensor Attackers as Supervisor Synthesis
作者： Liyong Lin , Rong Su
DOI: 10.1016/J.IFACOL.2021.04.047
关键词:
摘要: … , where the (partial-observation) attackers may or may not eavesdrop the control commands … covert attacker synthesis problem to the Ramadge-Wonham supervisor synthesis problem, …
sci-hub.st 参考文章(15)
A. Bergeron, A unified approach to control problems in discrete event processes Theoretical Informatics and Applications. ,vol. 27, pp. 555- 573 ,(1993) , 10.1051/ITA/1993270605551
A. Arnold, A. Vincent, I. Walukiewicz, Games for synthesis of controllers with partial observation computer science logic. ,vol. 303, pp. 7- 34 ,(2003) , 10.1016/S0304-3975(02)00442-5
Públio M Lima, Marcos VS Alves, Lilian K Carvalho, Marcos V Moreira, None, Security Against Network Attacks in Supervisory Control Systems IFAC-PapersOnLine. ,vol. 50, pp. 12333- 12338 ,(2017) , 10.1016/J.IFACOL.2017.08.2161
Romulo Meira Goes, Eunsuk Kang, Raymond Kwong, Stephane Lafortune, Stealthy deception attacks for cyber-physical systems 2017 IEEE 56th Annual Conference on Decision and Control (CDC). pp. 4224- 4230 ,(2017) , 10.1109/CDC.2017.8264281
Lilian Kawakami Carvalho, Yi-Chin Wu, Raymond Kwong, Stéphane Lafortune, Detection and mitigation of classes of attacks in supervisory control systems Automatica. ,vol. 97, pp. 121- 133 ,(2018) , 10.1016/J.AUTOMATICA.2018.07.017
Públio M Lima, Lilian K Carvalho, Marcos V Moreira, None, Detectable and Undetectable Network Attack Security of Cyber-physical Systems IFAC-PapersOnLine. ,vol. 51, pp. 179- 185 ,(2018) , 10.1016/J.IFACOL.2018.06.298
Miroslav Pajic, Yu Wang, Alper Kamil Bozkurt, Attack-Resilient Supervisory Control of Discrete-Event Systems. arXiv: Formal Languages and Automata Theory. ,(2019)
Paulo Tabuada, Joao P. Hespanha, Masashi Wakaiki, Supervisory Control of Discrete-event Systems under Attacks arXiv: Systems and Control. ,(2017)
Rong Su, Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations Automatica. ,vol. 94, pp. 35- 44 ,(2018) , 10.1016/J.AUTOMATICA.2018.04.006
Aida Rashidinejad, Bart Wetzels, Michel Reniers, Liyong Lin, Yuting Zhu, Rong Su, Supervisory Control of Discrete-Event Systems under Attacks: An Overview and Outlook european control conference. pp. 1732- 1739 ,(2019) , 10.23919/ECC.2019.8795849