Please use this identifier to cite or link to this item: https://hdl.handle.net/10356/137887
Title: Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
Authors: Su, Rong
Keywords: Engineering::Electrical and electronic engineering
Issue Date: 2018
Source: Su, R. (2018). Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations. Automatica, 94, 35-44. doi:10.1016/j.automatica.2018.04.006
Journal: Automatica
Abstract: One of the major challenges about cyber–physical systems is how to protect system integrity from cyber attacks. There has been a large number of different types of attacks discussed in the literature. In this paper we aim to investigate one special type of attacks in the discrete-event system framework, where an attacker can arbitrarily alter sensor readings after intercepting them from a target system, aiming to trick a given supervisor to issue improper control commands, which can drive the system to an undesirable state. We first consider the cyber attack problem from an attacker’s point of view, and formulate an attack-with-bounded-sensor-reading-alterations (ABSRA) problem. We then show that the supremal (or least restrictive) ABSRA exists and can be computed, as long as the plant model and the supervisor model are regular, i.e., representable by finite-state automata. Upon the synthesis of the supremal ABSRA, we present a synthesis algorithm, which computes a supervisor that is ABSRA-robust in the sense that any ABSRA will either be detectable or inflict no damage to the system.
URI: https://hdl.handle.net/10356/137887
ISSN: 0005-1098
DOI: 10.1016/j.automatica.2018.04.006
Rights: © 2018 Elsevier Ltd. All rights reserved. This paper was published in Automatica and is made available with permission of Elsevier Ltd.
Fulltext Permission: open
Fulltext Availability: With Fulltext
Appears in Collections:EEE Journal Articles

Files in This Item:
File Description SizeFormat 
Automatica_16_0975_doublecolumn.pdf5 MBAdobe PDFView/Open

SCOPUSTM   
Citations

17
checked on Jul 21, 2020

WEB OF SCIENCETM
Citations

17
checked on Oct 17, 2020

Page view(s)

15
checked on Oct 21, 2020

Download(s)

6
checked on Oct 21, 2020

Google ScholarTM

Check

Altmetric


Plumx

Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.