Resilient Output Synchronization of Heterogeneous Multi-agent Systems under Cyber-Physical Attacks
In this paper, we first describe, supported with analysis, the adverse effects of cyber-physical attacks on distributed synchronization of multi-agent systems. We provide necessary and sufficient conditions under which local neighborhood tracking errors of intact agents converge to zero, despite attacks. We also provide necessary and sufficient conditions under which the attacker can destabilize the entire network. Based on this analysis, we propose a Kullback-Liebler divergence based criterion in view of which each agent detects its neighbors' misbehavior and, consequently, forms a self-belief about the trustworthiness of the information it receives. Agents continuously update their self-beliefs and communicate them with their neighbors to inform them of the significance of their outgoing information. Moreover, if the self-belief of an agent is low, it forms beliefs on the type of its neighbors (intact or compromised) by updating its trust on its neighbors. Agents incorporate their neighbors' self-beliefs and their own trust values on their control protocols to slow down and mitigate attacks. It is shown that using the proposed resilient approach, an agent discards the information it receives from a neighbor only if its neighbor is compromised, and not solely based on the discrepancy among neighbors' information, which might be caused by legitimate changes, and not attacks. The proposed approach is guaranteed to work under a mild connectivity assumption.
READ FULL TEXT