离散事件系统的抗攻击监督控制：一种有限状态 transducer 方法
形式语言与自动机理论
2023-06-30 v3 系统与控制
摘要
在网络物理系统（CPS）的离散事件监督控制中，对传感器与执行器攻击的韧性是一个主要关切。本工作中，我们提出一个新框架，使用有限状态 transducer（FST）对离散事件的影响建模，以设计攻击下的 CPS 监督器。FST 可捕获一类通用的正则重写攻击，其中攻击者可根据给定正则关系非确定性地重写感知/驱动事件。这些包括常见的插入、删除、事件级替换与有限记忆重放攻击。我们提出具有多项式复杂度的新定理与算法来设计抵御这些攻击的韧性监督器。我们还基于该结果用 Python 开发了一个开源工具，并通过案例研究说明了其适用性。
引用
@article{arxiv.1904.03264,
title = {Attack-Resilient Supervisory Control of Discrete-Event Systems: A Finite-State Transducer Approach},
author = {Yu Wang and Alper Kamil Bozkurt and Nathan Smith and Miroslav Pajic},
journal= {arXiv preprint arXiv:1904.03264},
year = {2023}
}