[论文解读] Networked Constrained Cyber-Physical Systems subject to malicious attacks: a resilient set-theoretic control approach
该论文提出了一套针对受恶意攻击的网络化约束型网络物理系统（CPS）的集合论控制框架，通过融合物理水印技术和鲁棒控制，确保状态轨迹的统一最终有界性（UUB）和约束满足。通过利用一步可控制集与动态重加密机制，该方案可实时检测并缓解拒绝服务（DoS）和虚假数据注入（FDI）攻击，并在任何可接受的攻击场景下提供形式化保证。
In this paper a novel set-theoretic control framework for Networked Constrained Cyber-Physical Systems is presented. By resorting to set-theoretic ideas and the physical watermarking concept, an anomaly detector module and a control remediation strategy are formally derived with the aim to contrast severe cyber attacks affecting the communication channels. The resulting scheme ensures Uniformly Ultimate Boundedness and constraints fulfillment regardless of any admissible attack scenario. Simulation results show the effectiveness of the proposed strategy both against Denial of Service and False Data Injection attacks.
研究动机与目标
- 解决现有CPS在遭受网络攻击时缺乏集成化检测与控制缓解策略的问题。
- 确保在通信信道遭受恶意干扰的情况下，系统状态与输入约束仍能保持。
- 开发一种在部分与完整模型知识攻击下均能维持系统稳定性的弹性控制架构。
- 在任何可接受的攻击场景下，正式证明统一最终有界性（UUB）与鲁棒正不变性。
- 通过集合论与水印原理，将异常检测与控制修复整合进统一框架。
提出的方法
- 该框架采用时变物理水印机制，通过监测系统预测行为的偏差来检测隐蔽攻击。
- 异常检测通过检测器实现，检查测量输出是否位于由系统动力学与有界扰动导出的预测集 $ω^{+}$ 内。
- 控制策略利用一步可控制集，确保在任何攻击下状态均保持在鲁棒正不变（RPI）集内。
- 在检测到攻击后触发重加密协议，临时断开通信并重新初始化系统以恢复安全性。
- 预检与后检模块实时验证控制输入与输出，拒绝任何违反输入约束或预期行为的操作。
- 控制器通过时变指标动态调整控制律，防止攻击者利用模型可预测性。
实验结果
研究问题
- RQ1如何在不依赖模型或输入操纵的前提下，检测网络化CPS中的隐蔽网络攻击？
- RQ2如何确保在DoS与FDI攻击下控制动作仍保持可行且稳定？
- RQ3能否构建一个统一框架，同时在有界扰动与对抗性输入下实现异常检测与控制修复？
- RQ4在任意攻击场景下，可为状态有界性与约束满足提供何种形式化保证？
- RQ5如何将物理水印集成到集合论控制框架中以增强系统弹性？
主要发现
- 所提出的方案确保了在所有可接受攻击场景下闭环系统的统一最终有界性（UUB），包括DoS与FDI攻击。
- 如图4所示，攻击期间及恢复后，状态轨迹始终被限制在鲁棒正不变集 $\mathcal{T}^{i}(T_{\text{encry}})$ 内。
- 攻击1（DoS）于 $t=0.16$ 秒被检测到，触发通信中断与重加密，预检与后检模块未产生误报。
- 攻击2（传感器上的DoS）于 $t=0.34$ 秒被检测到，执行器采用最后有效的控制输入保持系统可行性。
- 攻击3（FDI）于 $t=0.52$ 秒被检测到，因输入 $\tilde{u}(0.52)=-2.91$ 违反输入约束 $\mathcal{U}^{0}$，触发系统阻塞。
- 攻击4（隐蔽FDI）于 $t=4.24$ 秒被检测到，因估计输入与实际输入不匹配，导致 $\tilde{u}(4.24) \notin \mathcal{U}^{0}$，证明了对先前未被检测到的攻击的识别能力。
更好的研究，从现在开始
从阅读论文到最终审阅，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。