.png){kind=icon}
.png){kind=icon}
Return
Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks
.png){kind=icon}
PRE
AI
DOI：10.1109/JAS.2023.123702.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
In this paper, we study the supervisory control problem of discrete event systems assuming that cyber-attacks might occur. In particular, we focus on the problem of liveness enforcement and consider a sensor-reading modification attack (SM-attack) that may disguise the occurrence of an event as that of another event by intruding sensor communication channels. To solve the problem, we introduce non-deterministic supervisors in the paper, which associate to every observed sequence a set of possible control actions offline and choose a control action from the set randomly online to control the system. Specifically, given a bounded Petri net (PN) as the reference formalism and an SM-attack, an algorithm that synthesizes a liveness-enforcing non-deterministic supervisor tolerant to the SM-attack is proposed for the first time.
Keywords:
Petri nets
Communication channels
Supervisory control
Discrete-event systems
Cyberattack
Cyber-attacks
cyber-physical system (CPS)
liveness
non-deterministic supervisors
Petri net (PN)
Journal
I
IF:
19.2
Papers:
1.4K
Citations:
1.1W