弹性监督器的有界合成
系统与控制
2021-03-23 v2
摘要
本文研究针对可被建模为离散事件系统的信息物理系统子类，合成抵御执行器与传感器联合攻击的弹性监督器的问题。我们假设攻击者能够实施执行器启用与禁用攻击以及传感器替换攻击。我们考虑在（部分观测）攻击者可能或不可能窃听（监督器发出的）控制命令的设置下，存在风险型攻击者与隐蔽型攻击者。通过将问题归约为量化布尔公式（QBF）问题，开发了用于弹性监督器有界合成的基于约束的方法。该有界合成问题随后可使用 QBF 求解器或通过反复调用命题可满足性（SAT）求解器来求解，方法是采用最大容许攻击者（可利用现有部分观测监督器合成过程合成之）作为反例引导归纳合成循环中的反例。
引用
@article{arxiv.1903.08358,
title = {Bounded Synthesis of Resilient Supervisors},
author = {Liyong Lin and Rong Su},
journal= {arXiv preprint arXiv:1903.08358},
year = {2021}
}
备注
This paper has been submitted to IEEE Transactions on Automatic Control for review