[论文解读] Strategic Topology Switching for Security-Part I: Consensus & Switching Times.

Yanbing Mao, Emrah Akyol+1 more|arXiv (Cornell University)|Nov 30, 2017

Distributed Control Multi-Agent Systems参考文献 40被引用 7

一句话总结

本文提出了一种针对二阶多智能体系统的去中心化、时变拓扑切换策略，在正常条件下实现渐近一致性的同时，能够检测隐蔽的零动态攻击（ZDA）。通过利用稳定切换线性系统理论，该文建立了确保一致性的充分驻留时间条件，并提出了一种仅依赖相对位置测量的简化控制协议，消除了对速度传感和耦合权重约束的需求。其核心贡献是一种可证明收敛的切换机制，可避免Zeno行为，并在无攻击情况下确保一致性。

ABSTRACT

In this two-part paper, we consider strategic topology switching for the second-order multi-agent systems under a special class of stealthy attacks, namely the "zero-dynamics" attack (ZDA). The main mathematical tool proposed here is to strategically switch the network topology to detect a possible ZDA. However, it is not clear a priori that such a switching strategy still yields consensus in this switched system, in the normal (un-attacked) operation mode. In Part I, we propose a strategy on the switching times that enables the topology-switching algorithm proposed in Part II to reach the second-order consensus in the absence of a ZDA. Utilizing the theory of stable switched linear systems with unstable subsystems, we characterize sufficient conditions for the dwell time of topology-switching signal to reach consensus. Building on this characterization, we then propose a decentralized time-dependent topology-switching algorithm. The proposed algorithm, used in conjunction with a simplified control protocol, achieves consensus while providing substantial advantages over other control approaches: it relies only on the relative position measurements (without any requirement for velocity measurements); and it does not impose any constraint on the magnitudes of coupling weights. We finally demonstrate our theoretical findings via the numerical simulation results.

研究动机与目标

• 解决在无需速度测量的情况下，通过战略性拓扑切换实现多智能体系统二阶一致性的挑战。
• 设计一种去中心化的切换算法，即使切换系统中存在不稳定子系统，也能在正常（未受攻击）运行时确保一致性。
• 在拓扑切换策略中消除不良的Zeno行为——包括颤振（零驻留时间）和真正的Zeno行为（有限时间内无限次切换）。
• 通过战略性地切换网络拓扑，实现对隐蔽零动态攻击（ZDA）的检测，同时在正常条件下保持一致性。
• 消除对耦合权重的限制性假设，并提供仅依赖相对位置测量的控制协议。

提出的方法

• 利用具有不稳定子系统的切换线性系统理论，推导出二阶多智能体系统实现一致性的充分驻留时间条件。
• 提出一种去中心化的、时变的拓扑切换算法，基于预设时间间隔调度切换，确保系统稳定与收敛。
• 采用简化控制协议：$ u_i(t) = \sum_{j=1}^n a_{ij}(x_j(t) - x_i(t)) $，该协议仅依赖于相对位置差。
• 通过拉普拉斯矩阵 $ L_r $ 的特征分解实施正交分解，将系统转换至模态坐标以分析稳定性。
• 利用范德蒙德矩阵行列式性质，证明模态分量中初始能量为零意味着平凡状态，从而在假设条件下导致矛盾。
• 建立模态能量关系与包含 $ \Lambda $、$ \Delta $ 和 $ H $ 的矩阵方程之间的等价性，从而实现反证法证明。

实验结果

研究问题

• RQ1 能否设计一种拓扑切换策略，以确保在具有不稳定子系统的切换多智能体系统中实现二阶一致性？
• RQ2 在无攻击情况下，拓扑切换的驻留时间条件为何种程度可充分保证一致性？
• RQ3 能否仅使用相对位置测量实现一致性，而无需速度测量或耦合权重约束？
• RQ4 在面向网络化控制系统的战略性拓扑切换框架中，如何避免Zeno行为？
• RQ5 所提出的切换策略能否在正常运行下保持系统一致性的同时检测零动态攻击？

主要发现

• 以驻留时间形式推导出实现一致性的充分条件：若切换信号具有最小驻留时间，则切换系统可实现渐近二阶一致性。
• 所提出的去中心化时变切换算法无需速度测量，也无需对耦合权重施加约束，即可确保一致性。
• 该方法成功消除了颤振Zeno行为（零驻留时间）和真正Zeno行为（有限时间内无限切换）。
• 在假设李雅普诺夫型函数 $ F(t) $ 的导数对所有时间均为零的条件下，证明了矛盾：唯一解为平凡状态，意味着非平凡初始条件无法满足该条件。
• 证明表明对所有 $ t \geq 0 $，有 $ \tilde{x}(t) = 0 $ 且 $ \tilde{v}(t) = 0 $，这与非零初始能量的假设相矛盾，从而验证了稳定性条件。
• 利用具有互异特征值的范德蒙德矩阵，确保方程组的唯一解为零向量，从而确认所推导条件的唯一性与正确性。