Abstract:This paper investigates the problem of securing exponentially fast consensus (exponential consensus for short) for identical agents with finite-dimensional linear system dynamics over dynamic network topology. Our aim is to find the weakest possible conditions that guarantee exponentially fast consensus using a Lyapunov function consisting of a sum of terms of the same functional form. We first investigate necessary conditions, starting by examining the system (both agent and network) parameters. It is found that controllability of the linear agents is necessary for reaching consensus. Then, to work out necessary conditions incorporating the network topology, we construct a set of Laplacian matrix-valued functions. The precompactness of this set of functions is shown to be a significant generalization of existing assumptions on network topology, including the common assumption that the edge weights are bounded piecewise constant functions or continuous functions. With the aid of such a precompactness assumption and restricting the Lyapunov function to one consisting of a sum of terms of the same functional form, we prove that a joint $(\delta, T)$-connectivity condition on the network topology is necessary for exponential consensus. Finally, we investigate how the above two ``necessities'' work together to guarantee exponential consensus. To partially address this problem, we define a synchronization index to characterize the interplay between agent parameters and network topology. Based on this notion, it is shown that by designing a proper feedback matrix and under the precompactness assumption, exponential consensus can be reached globally and uniformly if the joint $(\delta,T)$-connectivity and controllability conditions are satisfied, and the synchronization index is not less than one.

Optimal condition for asymptotic consensus in the Hegselmann-Krause model with finite speed of information propagation

Optimal control of the convergence time in the Hegselmann--Krause dynamics

Tight Bounds for Asymptotic and Approximate Consensus

Asymptotic behavior of the linear consensus model with delay and anticipation

Convergence to consensus results for Hegselmann-Krause type models with attractive-lacking interaction

Game-Theoretic Analysis of the Hegselmann-Krause Model for Opinion Dynamics in Finite Dimensions

The critical behavior of Hegselmann-Krause opinion model with smart agents

A modified Hegselmann-Krause model for interacting voters and political parties

Network Topology and Communication Data Rate for Consensusability of Discrete-Time Multi-Agent Systems.

Multi-dimensional extensions of the Hegselmann-Krause model

A straightforward proof of the critical value in the Hegselmann-Krause model: up to one-half

Practical consensus in bounded confidence opinion dynamics

Optimal Tradeoff Between Instantaneous and Delayed Neighbor Information in Consensus Algorithms

Breaking Consensus in Kinetic Opinion Formation Models on Graphons

Asynchronous Opinion Dynamics in Social Networks

Delay Robustness of Consensus Algorithms: Beyond The Uniform Connectivity (Extended Version)

Exponential Consensus of Multiple Agents over Dynamic Network Topology: Controllability, Connectivity, and Compactness

Consensus over Evolutionary Graphs

Kinetic description of optimal control problems and applications to opinion consensus

Necessary and Sufficient Conditions for Consensusability of Discrete-time Multi-agent Systems

Consensus decision making on a complete graph: complex behaviour from simple assumptions