基于观测辅助的未知监督器隐蔽攻击者启发式合成

本工作中，我们解决在如下设定中隐蔽攻击者的合成问题：对手可获得被控对象的模型，但监督器的模型未知。为弥补对监督器知识的缺失，我们假设对手已记录了一组（前缀闭的）闭环系统运行的有限观测集合，可用于辅助合成。我们基于被控对象模型与（有限）观测集合，通过将问题转化为求解一个部分观测监督器合成问题的实例，给出了一种用于合成可达隐蔽破坏攻击者的启发式算法。本文开发的启发式算法可使对手无需知晓监督器模型即可合成隐蔽攻击者，而该模型在实践中往往难以获取。为简洁起见，我们仅考虑能够实施传感器替换攻击与执行器禁用攻击的隐蔽攻击者。我们所提方法的有效性通过文献中改编的水箱示例加以说明。