Synthesis of covert actuator and sensor attackers as supervisor synthesis

In this work, we investigate the problem of covert attacker synthesis for supervisory control of discrete-event systems. In particular, we consider attackers that exercise both actuator attacks and sensor attacks, where the (partial-observation) attackers may or may not eavesdrop the control comm...

Full description

Saved in:

Bibliographic Details
Main Authors:	Lin, Liyong, Su, Rong
Other Authors:	School of Electrical and Electronic Engineering
Format:	Article
Language:	English
Published:	2021
Subjects:	Engineering::Electrical and electronic engineering Cyber Physical Systems Supervisory Control Discrete Event Systems
Online Access:	https://hdl.handle.net/10356/152242
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	Nanyang Technological University
Language:	English

id	sg-ntu-dr.10356-152242
record_format	dspace
spelling	sg-ntu-dr.10356-1522422021-08-16T06:41:34Z Synthesis of covert actuator and sensor attackers as supervisor synthesis Lin, Liyong Su, Rong School of Electrical and Electronic Engineering IFAC-PapersOnLine Engineering::Electrical and electronic engineering Cyber Physical Systems Supervisory Control Discrete Event Systems In this work, we investigate the problem of covert attacker synthesis for supervisory control of discrete-event systems. In particular, we consider attackers that exercise both actuator attacks and sensor attacks, where the (partial-observation) attackers may or may not eavesdrop the control commands issued by the supervisor. We develop a reduction from the covert attacker synthesis problem to the Ramadge-Wonham supervisor synthesis problem, which generalizes our previous work on a reduction based approach for covert actuator attacker synthesis. Ministry of Education (MOE) National Research Foundation (NRF) Published version This work is financially supported by Singapore Ministry of Education Tier 1 Academic Research Grant (2018-T1-001-245 (RG91/18)) and the National Research Foundation of Singapore Delta-NTU Corporate Lab Program with the project reference of DELTA-NTU CORP-SMA-RP2, which is gratefully acknowledged. 2021-08-16T05:45:19Z 2021-08-16T05:45:19Z 2021 Journal Article Lin, L. & Su, R. (2021). Synthesis of covert actuator and sensor attackers as supervisor synthesis. IFAC-PapersOnLine, 53, 1-6. https://dx.doi.org/10.1016/j.ifacol.2021.04.047 2405-8963 https://hdl.handle.net/10356/152242 10.1016/j.ifacol.2021.04.047 4 53 1 6 en 2018-T1-001-245 (RG91/18) DELTA-NTU CORP-SMA-RP2 IFAC-PapersOnLine © 2020 The Authors. This is an open access article under the CC-BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0). application/pdf
institution	Nanyang Technological University
building	NTU Library
continent	Asia
country	Singapore Singapore
content_provider	NTU Library
collection	DR-NTU
language	English
topic	Engineering::Electrical and electronic engineering Cyber Physical Systems Supervisory Control Discrete Event Systems
spellingShingle	Engineering::Electrical and electronic engineering Cyber Physical Systems Supervisory Control Discrete Event Systems Lin, Liyong Su, Rong Synthesis of covert actuator and sensor attackers as supervisor synthesis
description	In this work, we investigate the problem of covert attacker synthesis for supervisory control of discrete-event systems. In particular, we consider attackers that exercise both actuator attacks and sensor attacks, where the (partial-observation) attackers may or may not eavesdrop the control commands issued by the supervisor. We develop a reduction from the covert attacker synthesis problem to the Ramadge-Wonham supervisor synthesis problem, which generalizes our previous work on a reduction based approach for covert actuator attacker synthesis.
author2	School of Electrical and Electronic Engineering
author_facet	School of Electrical and Electronic Engineering Lin, Liyong Su, Rong
format	Article
author	Lin, Liyong Su, Rong
author_sort	Lin, Liyong
title	Synthesis of covert actuator and sensor attackers as supervisor synthesis
title_short	Synthesis of covert actuator and sensor attackers as supervisor synthesis
title_full	Synthesis of covert actuator and sensor attackers as supervisor synthesis
title_fullStr	Synthesis of covert actuator and sensor attackers as supervisor synthesis
title_full_unstemmed	Synthesis of covert actuator and sensor attackers as supervisor synthesis
title_sort	synthesis of covert actuator and sensor attackers as supervisor synthesis
publishDate	2021
url	https://hdl.handle.net/10356/152242
_version_	1709685327272083456

Synthesis of covert actuator and sensor attackers as supervisor synthesis

Similar Items