Abstract：This paper mainly studies the problem of intrusion detection, prevention and repair in discrete event systems. In this paper, we use formal language and automata to model a system that is under actuator-enablement attack. In this paper, we use formal language and automata to model a system that is under actuator-enablement attack.First, this paper uses a diagnoser algorithm to analyze the model and judge its safety after being attacked. Then, based on this, an algorithm is proposed to repair the system when it is not safe after being attacked, so that it can meet the requirements of system safety. Finally, the effectiveness of this method is verified by a traffic system.
闫安, 宋运忠. 离散事件系统中的攻击检测和修复[J]. 复杂系统与复杂性科学, 2022, 19(4): 99-106.
YAN An, SONG Yunzhong. Attack Detection and Repair in Discrete Event Systems. Complex Systems and Complexity Science, 2022, 19(4): 99-106.
[1] BANERJEE A, VENKATASUBRAMANIAN K K, MUKHERJEE T, et al. Ensuring safety, security, and sustainability of mission-critical cyber-physical systems[J]. Proceedings of the IEEE, 2011, 100(1): 283299. [2] CARDENAS A A, AMIN S, SASTRY S. Secure control: towards survivable cyber-physical systems[C]//2008 The 28th International Conference on Distributed Computing Systems Workshops. Beijing: IEEE, 2008: 495500. [3] ZHOU C V, LECKIE C, KARUNASEKERA S. A survey of coordinated attacks and collaborative intrusion detection[J]. Computers & Security, 2010, 29(1): 124140. [4] SABAHI F, MOVAGHAR A . Intrusion detection: a survey[C]//International Conference on Systems & Networks Communications. Sliema:IEEE, 2008:2326. [5] MODI C, PATEL D, BORISANIYA B, et al. A survey of intrusion detection techniques in cloud[J]. Journal of Network and Computer Applications, 2013, 36(1): 4257. [6] Thorsley D, Teneketzis D. Intrusion detection in controlled discrete event systems[C]//Proceedings of the 45th IEEE Conference on Decision and Control. San Diego: IEEE, 2006: 60476054. [7] MOOR T. Fault-tolerant supervisory control[J]. IFAC Papers On Line, 2015, 48(7): 124131. [8] WEN Q, KUMAR R, HUANG J. Framework for optimal fault-tolerant control synthesis: Maximize prefault while minimize post-fault behaviors[J]. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2013, 44(8): 10561066. [9] ROHLOFF K R. Sensor failure tolerant supervisory control[C]//Proceedings of the 44th IEEE Conference on Decision and Control. Seville: IEEE, 2005: 34933498. [10] SÜLEK A N, SCHMIDT K W. Computation of supervisors for fault-recovery and repair for discrete event systems[J]. IFAC Proceedings Volumes, 2014, 47(2): 428433. [11] CARVALHO L K, WU Y C, KWONG R, et al. Detection and mitigation of classes of attacks in supervisory control systems[J]. Automatica, 2018, 97: 121133. [12] RAMADGE P J G, WONHAM W M. The control of discrete event systems[J]. Proceedings of the IEEE, 1989, 77(1): 8198. [13] WONHAM W M, CAI K. Supervisory Control of Discrete-Event Systems[M]. USA: Springer, 2019. [14] CARVALHO L K, BASILIO J C, MOREIRA M V. Robust diagnosis of discrete event systems against intermittent loss of observations[J]. Automatica, 2012, 48(9): 20682078. [15] ALVES M V S, BASILIO J C, DA CUNHA A E C, et al. Robust supervisory control against intermittent loss of observations[J]. IFAC Proceedings Volumes, 2014, 47(2): 294299. [16] PAOLI A, SARTINI M, LAFORTUNE S. Active fault tolerant control of discrete event systems using online diagnostics[J]. Automatica, 2011, 47(4): 639649. [17] SAMPATH M, SENGUPTA R, LAFORTUNE S, et al. Diagnosability of discrete-event systems[J]. IEEE Transactions on Automatic Control, 1995, 40(9): 15551575. [18] CHRISTOS G. CASSANDRAS, LAFORTUNE S. Introduction to Discrete Event Systems[M]. USA: Springer, 2008. [19] YOO T S, LAFORTUNE S. Polynomial-time verification of diagnosability of partially observed discrete-event systems[J]. IEEE Transactions on Automatic Control, 2002, 47(9): 14911495.
