Table of Contents
Fetching ...

Dynamic Leader-Follower Consensus with Adversaries: A Multi-Hop Relay Approach

Liwei Yuan, Hideaki Ishii

TL;DR

The paper addresses resilient dynamic leader-follower consensus in directed multi-agent systems with adversaries, proposing distributed MW-MSR-based protocols for first- and second-order dynamics to track a time-varying leader reference $x_d[k]$. It establishes a tight, necessary-and-sufficient graph condition: the normal network must be $(f+1)$-robust following with $l$ hops, with multi-hop relays enabling relaxation of connectivity requirements. The authors derive explicit finite-time consensus-error bounds $\overline{\epsilon}$ and demonstrate improved performance over existing static/dynamic-reference methods, including extensions to insecure leaders. Numerical simulations validate the theoretical results, showing robust tracking and formation control under Byzantine disturbances and across one- and two-dimensional scenarios.

Abstract

This paper examines resilient dynamic leader-follower consensus within multi-agent systems, where agents share first-order or second-order dynamics. The aim is to develop distributed protocols enabling nonfaulty/normal followers to accurately track a dynamic/time-varying reference value of the leader while they may receive misinformation from adversarial neighbors. Our methodologies employ the mean subsequence reduced algorithm with agents engaging with neighbors using multi-hop communication. We accordingly derive a necessary and sufficient graph condition for our algorithms to succeed; also, our tracking error bounds are smaller than that of the existing method. Furthermore, it is emphasized that even when agents do not use relays, our condition is tighter than the sufficient conditions in the literature. With multi-hop relays, we can further obtain more relaxed graph requirements. Finally, we present numerical examples to verify the effectiveness of our algorithms.

Dynamic Leader-Follower Consensus with Adversaries: A Multi-Hop Relay Approach

TL;DR

The paper addresses resilient dynamic leader-follower consensus in directed multi-agent systems with adversaries, proposing distributed MW-MSR-based protocols for first- and second-order dynamics to track a time-varying leader reference . It establishes a tight, necessary-and-sufficient graph condition: the normal network must be -robust following with hops, with multi-hop relays enabling relaxation of connectivity requirements. The authors derive explicit finite-time consensus-error bounds and demonstrate improved performance over existing static/dynamic-reference methods, including extensions to insecure leaders. Numerical simulations validate the theoretical results, showing robust tracking and formation control under Byzantine disturbances and across one- and two-dimensional scenarios.

Abstract

This paper examines resilient dynamic leader-follower consensus within multi-agent systems, where agents share first-order or second-order dynamics. The aim is to develop distributed protocols enabling nonfaulty/normal followers to accurately track a dynamic/time-varying reference value of the leader while they may receive misinformation from adversarial neighbors. Our methodologies employ the mean subsequence reduced algorithm with agents engaging with neighbors using multi-hop communication. We accordingly derive a necessary and sufficient graph condition for our algorithms to succeed; also, our tracking error bounds are smaller than that of the existing method. Furthermore, it is emphasized that even when agents do not use relays, our condition is tighter than the sufficient conditions in the literature. With multi-hop relays, we can further obtain more relaxed graph requirements. Finally, we present numerical examples to verify the effectiveness of our algorithms.

Paper Structure

This paper contains 16 sections, 8 theorems, 68 equations, 5 figures, 1 algorithm.

Key Result

Theorem 1

Consider the network $\mathcal{G} = (\mathcal{V},\mathcal{E})$ with $l$-hop communication, where each normal follower node $i\in \mathcal{W}^\mathcal{N}$ updates its value according to Update Rule updaterule1. Under Assumptions secured--assumption_path and the $f$-local Byzantine set $\mathcal{A}$,

Figures (5)

  • Figure 1: (a) The graph is not a 2-robust following graph with 1 hop but is a 2-robust following graph with 2 hops under the 1-local model. (b) The graph is a 2-robust following graph with 1 hop under the 1-local model.
  • Figure 2: The graph is not a 3-robust following graph with 1 hop but is a 3-robust following graph with 3 hops under the 2-local model.
  • Figure 3: Nodes' values of the network in Fig. \ref{['15node']} applying Update Rule \ref{['updaterule1']}.
  • Figure 4: Nodes' values of the network in Fig. \ref{['9node']}(a) applying Update Rule \ref{['updaterule2']}.
  • Figure 5: Nodes' trajectories of the network in Fig. \ref{['9node']}(a) applying Update Rule \ref{['updaterule2']}.

Theorems & Definitions (21)

  • Definition 1
  • Definition 2
  • Definition 3
  • Definition 4
  • Definition 5
  • Example 1
  • Example 2
  • Remark 1
  • Theorem 1
  • Lemma 1
  • ...and 11 more