Please use this identifier to cite or link to this item:
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-.
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.
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)

Updated on Jun 28, 2022

Google ScholarTM




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