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...
Saved in:
| Main Authors: | , |
|---|---|
| 其他作者: | |
| 格式: | Article |
| 語言: | English |
| 出版: |
2021
|
| 主題: | |
| 在線閱讀: | https://hdl.handle.net/10356/152242 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 機構: | Nanyang Technological University |
| 語言: | English |
| 總結: | 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. |
|---|