A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks

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 o...

Full description

Saved in:
Bibliographic Details
Published inIEEE transactions on systems, man, and cybernetics. Systems Vol. 52; no. 4; pp. 2398 - 2411
Main Authors You, Dan, Wang, Shouguang, Seatzu, Carla
Format Journal Article
LanguageEnglish
Published New York IEEE 01.04.2022
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects
Actuators
Attacks
Control systems
Cyber-physical systems
cyber–physical systems (CPSs)
Directed graphs
discrete-event systems (DESs)
Feedback control
liveness
Petri nets
Petri nets (PNs)
Robot sensing systems
Security
Sensors
Supervisors
Supervisory control
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:2168-2216
2168-2232
DOI:10.1109/TSMC.2021.3051096