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

You, D;Seatzu, C
2022-01-01

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.
2022
Robot sensing systems
Control systems
Actuators
Petri nets
Directed graphs
Supervisory control
Security
Attacks
cyber-physical systems (CPSs)
discrete-event systems (DESs)
liveness
Petri nets (PNs)
Files in This Item:
There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Questionnaire and social

Share on:
Impostazioni cookie