A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks
| Autor: | Shouguang Wang, Carla Seatzu, Dan You |
|---|---|
| Rok vydání: | 2022 |
| Předmět: |
Supervisor
Event (computing) Computer science Distributed computing Control (management) Liveness Petri net Computer Science Applications Human-Computer Interaction Supervisory control Control and Systems Engineering Control system Electrical and Electronic Engineering Layer (object-oriented design) Software |
| Zdroj: | IEEE Transactions on Systems, Man, and Cybernetics: Systems. 52:2398-2411 |
| ISSN: | 2168-2232 2168-2216 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|