Design and Analysis of Distributed Averaging with Quantized Communication

Consider a network whose nodes have some initial values, and it is desired to design an algorithm that builds on neighbor to neighbor interactions with the ultimate goal of convergence to the average of all initial node values or to some value close to that average. Such an algorithm is called generically "distributed averaging," and our goal in this paper is to study the performance of a subclass of deterministic distributed averaging algorithms where the information exchange between neighboring nodes (agents) is subject to uniform quantization. With such quantization, convergence to the precise average cannot be achieved in general, but the convergence would be to some value close to it, called quantized consensus. Using Lyapunov stability analysis, we characterize the convergence properties of the resulting nonlinear quantized system. We show that in finite time and depending on initial conditions, the algorithm will either cause all agents to reach a quantized consensus where the consensus value is the largest quantized value not greater than the average of their initial values, or will lead all variables to cycle in a small neighborhood around the average. In the latter case, we identify tight bounds for the size of the neighborhood and we further show that the error can be made arbitrarily small by adjusting the algorithm's parameters in a distributed manner

The Most Exigent Eigenvalue: Guaranteeing Consensus under an Unknown Communication Topology and Time Delays

This document aims to answer the question of what is the minimum delay value that guarantees convergence to consensus for a group of second order agents operating under different protocols, provided that the communication topology is connected but unknown. That is, for all the possible communication topologies, which value of the delay guarantees stability? To answer this question we revisit the concept of most exigent eigenvalue, applying it to two different consensus protocols for agents driven by second order dynamics. We show how the delay margin depends on the structure of the consensus protocol and the communication topology, and arrive to a boundary that guarantees consensus for any connected communication topology. The switching topologies case is also studied. It is shown that for one protocol the stability of the individual topologies is sufficient to guarantee consensus in the switching case, whereas for the other one it is not