|
|
|
| Attack Detection and Repair in Discrete Event Systems |
| YAN An, SONG Yunzhong
|
| College of Electrical Engineering & Automation, Henan Polytechnic University,Jiaozuo 454000,China |
|
|
|
|
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.
|
|
Received: 21 July 2021
Published: 09 January 2023
|
|
|
|
|
|
| No related articles found! |
|
|
|
|
