联合传感器-执行器网络攻击下离散事件系统的建模与控制
系统与控制
2023-01-12 v2 系统与控制
摘要
本文研究离散事件系统中的联合传感器-执行器网络攻击。我们假设攻击者可通过篡改观测与控制命令，同时攻击部分传感器与执行器。由于网络攻击导致的观测与控制中的不确定性，被监管系统的行为变得不确定，并可能偏离安全规范。我们定义被监管系统可生成的所有可能语言的上界，以研究网络攻击下的安全监督控制问题。在引入CA可控性与CA可观测性后，我们证明网络攻击下的监督控制问题可解，当且仅当给定规范语言是CA可控且CA可观测的。此外，我们得到了在传感器攻击下计算状态估计的方法，以及综合基于状态估计的监督器以在网络攻击下实现给定安全规范的方法。我们进一步表明，在所有解中，所提出的基于状态估计的监督器是最大容许的。
引用
@article{arxiv.2209.13318,
title = {Modeling and Control of Discrete Event Systems under Joint Sensor-Actuator Cyber Attacks},
author = {Shengbao Zheng and Shaolong Shu and Feng Lin},
journal= {arXiv preprint arXiv:2209.13318},
year = {2023}
}