Please use this identifier to cite or link to this item: https://hdl.handle.net/10356/159359
Title: Synthesis of covert actuator and sensor attackers
Authors: Lin, Liyong
Su, Rong
Keywords: Engineering::Electrical and electronic engineering
Issue Date: 2021
Source: Lin, L. & Su, R. (2021). Synthesis of covert actuator and sensor attackers. Automatica, 130, 109714-. https://dx.doi.org/10.1016/j.automatica.2021.109714
Project: 2018-T1-001-245 (RG 91/18)
Journal: Automatica
Abstract: In this work, we shall investigate the problem of covert attacker synthesis in the framework of supervisory control of discrete-event systems. Intuitively, the covertness property says that the attacker cannot reach a situation where its existence has been detected by the supervisor while no damage can be caused. We consider covert attackers that can exercise both actuator attacks (including enablement attacks and disablement attacks) and sensor attacks (restricted to sensor replacement attacks), where the (partial-observation) attackers may or may not eavesdrop the control commands issued by the supervisor. We shall develop an exponential time reduction from the covert attacker synthesis problem to the well studied Ramadge–Wonham supervisor synthesis problem, which generalizes our previous work on a reduction based approach for covert actuator attacker synthesis, for both the damage-reachable goal and the damage-nonblocking goal. We also provide discussions on conditions under which the exponential blowup in state sizes, due to the reduction construction, can be avoided.
URI: https://hdl.handle.net/10356/159359
ISSN: 0005-1098
DOI: 10.1016/j.automatica.2021.109714
Rights: © 2021 Elsevier Ltd. All rights reserved.
Fulltext Permission: none
Fulltext Availability: No Fulltext
Appears in Collections:EEE Journal Articles

Page view(s)

7
Updated on Jun 28, 2022

Google ScholarTM

Check

Altmetric


Plumx

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