Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks

Wenli Duo; Shouguang Wang; Meng Chu Zhou; Dan You; Remigiusz Wisniewski; Grzegorz Bazydlo

doi:10.1109/ICNSC58704.2023.10318985

Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks

Wenli Duo, Shouguang Wang, Meng Chu Zhou, Dan You, Remigiusz Wisniewski, Grzegorz Bazydlo

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

In this paper, we examine the supervisory control problem for cyber-physical systems vulnerable to actuator jamming attacks, which cause control command loss during transmission. We study this issue within the framework of discrete event systems. First, an attack structure is constructed by analyzing the closed-loop control behavior under jamming attacks. We then explore a solution to the supervisory control problem by introducing a concept of dynamically controllable language. In particular, an existence condition for a robust and nonblocking supervisor is obtained, and an algorithm deriving a supervisor capable of defending against actuator jamming attacks is proposed. An automated guided vehicle system is used as an example to demonstrate the proposed concepts and algorithm.

Original language	English (US)
Title of host publication	ICNSC 2023 - 20th IEEE International Conference on Networking, Sensing and Control
Publisher	Institute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)	9798350369502
DOIs	https://doi.org/10.1109/ICNSC58704.2023.10318985
State	Published - 2023
Externally published	Yes
Event	20th IEEE International Conference on Networking, Sensing and Control, ICNSC 2023 - Marseille, France Duration: Oct 25 2023 → Oct 27 2023

Publication series

Name	ICNSC 2023 - 20th IEEE International Conference on Networking, Sensing and Control

Conference

Conference	20th IEEE International Conference on Networking, Sensing and Control, ICNSC 2023
Country/Territory	France
City	Marseille
Period	10/25/23 → 10/27/23

All Science Journal Classification (ASJC) codes

Strategy and Management
Computer Networks and Communications
Computer Vision and Pattern Recognition
Human-Computer Interaction
Control and Optimization

Keywords

Cyber-physical systems
actuator attacks
automated guided vehicle (AGV)
automaton
discrete event systems
supervisory control

Access to Document

10.1109/ICNSC58704.2023.10318985

Cite this

Duo, W., Wang, S., Zhou, M. C., You, D., Wisniewski, R., & Bazydlo, G. (2023). Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks. In ICNSC 2023 - 20th IEEE International Conference on Networking, Sensing and Control (ICNSC 2023 - 20th IEEE International Conference on Networking, Sensing and Control). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICNSC58704.2023.10318985

Duo, Wenli ; Wang, Shouguang ; Zhou, Meng Chu et al. / Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks. ICNSC 2023 - 20th IEEE International Conference on Networking, Sensing and Control. Institute of Electrical and Electronics Engineers Inc., 2023. (ICNSC 2023 - 20th IEEE International Conference on Networking, Sensing and Control).

@inproceedings{a61e0e48b70d425d837c4ede172e7a9f,

title = "Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks",

abstract = "In this paper, we examine the supervisory control problem for cyber-physical systems vulnerable to actuator jamming attacks, which cause control command loss during transmission. We study this issue within the framework of discrete event systems. First, an attack structure is constructed by analyzing the closed-loop control behavior under jamming attacks. We then explore a solution to the supervisory control problem by introducing a concept of dynamically controllable language. In particular, an existence condition for a robust and nonblocking supervisor is obtained, and an algorithm deriving a supervisor capable of defending against actuator jamming attacks is proposed. An automated guided vehicle system is used as an example to demonstrate the proposed concepts and algorithm.",

keywords = "Cyber-physical systems, actuator attacks, automated guided vehicle (AGV), automaton, discrete event systems, supervisory control",

author = "Wenli Duo and Shouguang Wang and Zhou, {Meng Chu} and Dan You and Remigiusz Wisniewski and Grzegorz Bazydlo",

note = "Publisher Copyright: {\textcopyright} 2023 IEEE.; 20th IEEE International Conference on Networking, Sensing and Control, ICNSC 2023 ; Conference date: 25-10-2023 Through 27-10-2023",

year = "2023",

doi = "10.1109/ICNSC58704.2023.10318985",

language = "English (US)",

series = "ICNSC 2023 - 20th IEEE International Conference on Networking, Sensing and Control",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

booktitle = "ICNSC 2023 - 20th IEEE International Conference on Networking, Sensing and Control",

address = "United States",

}

Duo, W, Wang, S, Zhou, MC, You, D, Wisniewski, R & Bazydlo, G 2023, Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks. in ICNSC 2023 - 20th IEEE International Conference on Networking, Sensing and Control. ICNSC 2023 - 20th IEEE International Conference on Networking, Sensing and Control, Institute of Electrical and Electronics Engineers Inc., 20th IEEE International Conference on Networking, Sensing and Control, ICNSC 2023, Marseille, France, 10/25/23. https://doi.org/10.1109/ICNSC58704.2023.10318985

Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks. / Duo, Wenli; Wang, Shouguang; Zhou, Meng Chu et al.
ICNSC 2023 - 20th IEEE International Conference on Networking, Sensing and Control. Institute of Electrical and Electronics Engineers Inc., 2023. (ICNSC 2023 - 20th IEEE International Conference on Networking, Sensing and Control).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks

AU - Duo, Wenli

AU - Wang, Shouguang

AU - Zhou, Meng Chu

AU - You, Dan

AU - Wisniewski, Remigiusz

AU - Bazydlo, Grzegorz

PY - 2023

Y1 - 2023

N2 - In this paper, we examine the supervisory control problem for cyber-physical systems vulnerable to actuator jamming attacks, which cause control command loss during transmission. We study this issue within the framework of discrete event systems. First, an attack structure is constructed by analyzing the closed-loop control behavior under jamming attacks. We then explore a solution to the supervisory control problem by introducing a concept of dynamically controllable language. In particular, an existence condition for a robust and nonblocking supervisor is obtained, and an algorithm deriving a supervisor capable of defending against actuator jamming attacks is proposed. An automated guided vehicle system is used as an example to demonstrate the proposed concepts and algorithm.

AB - In this paper, we examine the supervisory control problem for cyber-physical systems vulnerable to actuator jamming attacks, which cause control command loss during transmission. We study this issue within the framework of discrete event systems. First, an attack structure is constructed by analyzing the closed-loop control behavior under jamming attacks. We then explore a solution to the supervisory control problem by introducing a concept of dynamically controllable language. In particular, an existence condition for a robust and nonblocking supervisor is obtained, and an algorithm deriving a supervisor capable of defending against actuator jamming attacks is proposed. An automated guided vehicle system is used as an example to demonstrate the proposed concepts and algorithm.

KW - Cyber-physical systems

KW - actuator attacks

KW - automated guided vehicle (AGV)

KW - automaton

KW - discrete event systems

KW - supervisory control

UR - http://www.scopus.com/inward/record.url?scp=85179627924&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85179627924&partnerID=8YFLogxK

U2 - 10.1109/ICNSC58704.2023.10318985

DO - 10.1109/ICNSC58704.2023.10318985

M3 - Conference contribution

AN - SCOPUS:85179627924

T3 - ICNSC 2023 - 20th IEEE International Conference on Networking, Sensing and Control

BT - ICNSC 2023 - 20th IEEE International Conference on Networking, Sensing and Control

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 20th IEEE International Conference on Networking, Sensing and Control, ICNSC 2023

Y2 - 25 October 2023 through 27 October 2023

ER -

Duo W, Wang S, Zhou MC, You D, Wisniewski R, Bazydlo G. Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks. In ICNSC 2023 - 20th IEEE International Conference on Networking, Sensing and Control. Institute of Electrical and Electronics Engineers Inc. 2023. (ICNSC 2023 - 20th IEEE International Conference on Networking, Sensing and Control). doi: 10.1109/ICNSC58704.2023.10318985

Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks

Abstract

Publication series

Conference

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this