[论文解读] A Survey of Graph-Theoretic Approaches for Analyzing the Resilience of Networked Control Systems

Mohammad Pirani, Aritra Mitra+1 more|arXiv (Cornell University)|May 25, 2022

Smart Grid Security and Resilience被引用 4

一句话总结

本综述提出基于图论的框架，用于分析和增强网络化控制系统（NCS）在对抗性攻击下的弹性。通过利用网络结构特性，如鲁棒性、等周常数和可控性Gramian谱，本文重新诠释了系统理论中的鲁棒性概念，并识别出在针对特定攻击下实现最小通信量与最大容错能力的分布式安全算法的关键设计原则。

ABSTRACT

As the scale of networked control systems increases and interactions between different subsystems become more sophisticated, questions of the resilience of such networks increase in importance. The need to redefine classical system and control-theoretic notions using the language of graphs has recently started to gain attention as a fertile and important area of research. This paper presents an overview of graph-theoretic methods for analyzing the resilience of networked control systems. We discuss various distributed algorithms operating on networked systems and investigate their resilience against adversarial actions by looking at the structural properties of their underlying networks. We present graph-theoretic methods to quantify the attack impact, and reinterpret some system-theoretic notions of robustness from a graph-theoretic standpoint to mitigate the impact of the attacks. Moreover, we discuss miscellaneous problems in the security of networked control systems which use graph-theory as a tool in their analyses. We conclude by introducing some avenues for further research in this field.

研究动机与目标

• 解决大规模、分布式NCS在面对智能、有针对性的对抗性攻击而非随机故障时日益严峻的安全挑战。
• 通过利用网络结构特性重新诠释鲁棒性与弹性，弥合系统与控制理论和图论之间的鸿沟。
• 确定实现分布式算法所需弹性水平的最小通信需求。
• 探索新的研究方向，如非线性相互作用、多智能体强化学习以及攻击能量最小化。

提出的方法

• 使用图论度量，如网络鲁棒性、等周常数（i(G)）和代数连通性（λ₂(L)），量化弹性。
• 应用r-鲁棒性的概念，确保在对抗节点移除或错误信息传播下，分布式算法仍能正常运行。
• 通过可控性Gramian W_F 的谱分析攻击影响，以建模攻击能量和系统脆弱性。
• 利用图结构重新诠释经典控制概念（如可观测性和可控性），以指导弹性算法设计。
• 研究点对点通信中的漏洞，攻击者可注入不一致的数据，这与一致的故障传播不同。
• 提出在保持弹性的同时最小化边数，将网络设计与可控性和鲁棒性约束相联系。

实验结果

研究问题

• RQ1 如何利用图论特性（如等周常数和r-鲁棒性）量化NCS中分布式算法的弹性？
• RQ2 代数连通性（λ₂(L)）与网络鲁棒性之间的关系是什么？它如何指导弹性网络的设计？
• RQ3 如何利用可控性Gramian的谱来建模和最小化对抗性攻击的能量？
• RQ4 在针对特定节点移除或错误信息的背景下，无标度网络和随机网络的结构性漏洞是什么？
• RQ5 在具有非线性动力学（如Kuramoto振子或群体机器人系统）的NCS中，如何维持弹性？

主要发现

• 若等周常数 i(G) > r−1，则网络至少为r-鲁棒，这为抵御对抗性攻击提供了结构性条件。
• 当 λ₂(L) > r−1 时，网络鲁棒性的下界为 ⌊r/2⌋，但该下界通常较松，如星形图示例所示（λ₂(L)=1，仅1-鲁棒）。
• 可控性Gramian的谱为量化攻击能量提供了工具，表明可通过优化网络设计来最大化该能量，从而提高攻击难度。
• 可设计出通信量最小的弹性网络，但如何在保持网络鲁棒性的同时最小化边数仍是开放问题。
• 无标度网络极易受到针对枢纽节点的有针对性攻击，攻击者可仅以极小代价使网络断开，凸显了结构加固的必要性。
• 将当前基于图论的弹性方法扩展至非线性系统（如Kuramoto振子）和多智能体强化学习，仍是开放且关键的研究前沿。