| Title | Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors |
| Publication Type | Conference Paper |
| Year of Publication | 2019 |
| Authors | Lin, Liyong, Thuijsman, Sander, Zhu, Yuting, Ware, Simon, Su, Rong, Reniers, Michel |
| Conference Name | 2019 American Control Conference (ACC) |
| Keywords | actuator attack, actuator attack model, actuator attacker, actuator security, actuators, attackable events, closed-loop system, composability, control command, Cyber-physical systems, discrete event systems, discrete-event systems, Human Behavior, Metrics, normal supervisors, partial observation, pubcrawl, Resiliency, security of data, supervisory control, supremal successful normal actuator attackers |
| Abstract | In this paper, we propose and develop an actuator attack model for discrete-event systems. We assume the actuator attacker partially observes the execution of the closed-loop system and eavesdrops the control commands issued by the supervisor. The attacker can modify each control command on a specified subset of attackable events. The goal of the actuator attacker is to remain covert until it can establish a successful attack and lead the attacked closed-loop system into generating certain damaging strings. We then present a characterization for the existence of a successful attacker and prove the existence of the supremal successful attacker, when both the supervisor and the attacker are normal. Finally, we present an algorithm to synthesize the supremal successful normal attackers. |
| DOI | 10.23919/ACC.2019.8814712 |
| Citation Key | lin_synthesis_2019 |
Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors