| Title | Modeling and Control of Discrete Event Systems under Joint Sensor-Actuator Cyber Attacks |
| Publication Type | Conference Paper |
| Year of Publication | 2021 |
| Authors | Zheng, Shengbao, Shu, Shaolong, Lin, Feng |
| Conference Name | 2021 6th International Conference on Automation, Control and Robotics Engineering (CACRE) |
| Keywords | actuator security, actuators, Automation, composability, Cyber Attacks, discrete event systems, discrete-event systems, Human Behavior, Metrics, Network security, pubcrawl, Resiliency, resilient control, Robot sensing systems, Sensor systems, Sensors, supervisory control |
| Abstract | In this paper, we investigate joint sensor-actuator cyber attacks in discrete event systems. We assume that attackers can attack some sensors and actuators at the same time by altering observations and control commands. Because of the nondeterminism in observation and control caused by cyber attacks, the behavior of the supervised systems becomes nondeterministic and deviates from the target. We define two bounds on languages, an upper-bound and a lower-bound, to describe the nondeterministic behavior. We then use the upper-bound language to investigate the safety supervisory control problem under cyber attacks. After introducing CA-controllability and CA-observability, we successfully solve the supervisory control problem under cyber attacks. |
| DOI | 10.1109/CACRE52464.2021.9501323 |
| Citation Key | zheng_modeling_2021 |
Modeling and Control of Discrete Event Systems under Joint Sensor-Actuator Cyber Attacks