Back to Search
Start Over
A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks.
- Source :
- IEEE Transactions on Systems, Man & Cybernetics. Systems; Apr2022, Vol. 52 Issue 4, p2398-2411, 14p
- Publication Year :
- 2022
-
Abstract
- In cyber–physical systems (CPSs), it is of great importance to handle network attack issues. In this article, we consider the supervisory control layer of CPSs, focusing on closed-loop control systems vulnerable to sensor-reading modification attacks (SM-attacks), which may disguise the occurrence of an event as a different event by modifying appropriately sensor readings in sensor communication channels. In particular, we consider the plant modeled as a bounded Petri net and the control specification consisting in liveness enforcing. Based on repeatedly computing a more restrictive liveness-enforcing supervisor under no attack and constructing a so-called basic supervisor, a method that synthesizes a liveness-enforcing supervisor tolerant to an SM-attack is proposed. [ABSTRACT FROM AUTHOR]
- Subjects :
- CLOSED loop systems
SUPERVISORY control systems
PETRI nets
SUPERVISORS
Subjects
Details
- Language :
- English
- ISSN :
- 21682216
- Volume :
- 52
- Issue :
- 4
- Database :
- Complementary Index
- Journal :
- IEEE Transactions on Systems, Man & Cybernetics. Systems
- Publication Type :
- Academic Journal
- Accession number :
- 155866474
- Full Text :
- https://doi.org/10.1109/TSMC.2021.3051096