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

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 analyzin...

Full description

Saved in:
Bibliographic Details
Published inIEEE International Conference on Networking, Sensing and Control (Online) Vol. 1; pp. 1 - 6
Main Authors Duo, Wenli, Wang, Shouguang, Zhou, MengChu, You, Dan, Wisniewski, Remigiusz, Bazydlo, Grzegorz
Format Conference Proceeding
LanguageEnglish
Published IEEE 25.10.2023
Subjects
actuator attacks
Actuators
automated guided vehicle (AGV)
automaton
Cyber-physical systems
discrete event systems
Heuristic algorithms
Propagation losses
Remotely guided vehicles
Sensors
Supervisory control
Online AccessGet full text
ISSN2766-8665
DOI10.1109/ICNSC58704.2023.10318985

Cover

More Information
Summary: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.
ISSN:2766-8665
DOI:10.1109/ICNSC58704.2023.10318985