We propose an algorithm for average consensus over a directed graph which is both fully asynchronous and robust to unreliable communications. We show its convergence to the average, while allowing for slowly growing but potentially unbounded communication failures.
I. INTRODUCTIONConsider a set of agents, whose goal is to reach consensus by exchanging information locally with their neighbors through a directed graph. There is a large body of work on consensus algorithms. Ordinary consensus has been shown to converge asymptotically under various scenarios such as growing intercommunicating intervals [1], presence of delays and/or unbounded intercommunication intervals [2]. Another problem of interest for which extensive research has been carried out is average consensus. While most related works study asymptotic convergence, [3] studies average consensus in a finite number of steps. Push-sum is one of the many algorithms for average consensus that was first proposed by [4]. This algorithm has been widely used to develop protocols that reach average consensus, under different assumptions and scenarios; such as the presence of bounded delays [5], time varying graphs [6][7], or asynchronous communication [8].Since reliable communication is a very restrictive assumption in network applications, or expensive to enforce, recent work has considered algorithms that reach consensus in a setting where communication between agents is unreliable. While in this case, push-sum might not converge to average, exponential convergence still holds and the error between the final value and the true average can be characterized [9]. In [10], Vaidya et al. introduce the technique of running sums (counters) and modify push-sum to overcome possible packet drops and imprecise knowledge of the network in a synchronous communication setting. They prove almost surely convergence of their algorithms using weak ergodicity. Inspired by [10], [11] takes this further and develops an asynchronous algorithm for average consensus, which is robust to unreliable communication. This algorithm uses a broadcast asymmetric communication protocol; that is, at each iteration only one node is allowed to wake up and transmit information to its neighbors. Exponential convergence of this algorithm is proved under bounded consecutive link failures and nodes' update delays.Consensus and average consensus have a lot of application in other algorithms as well; they can be used as a building block to develop distributed optimization algorithms [12] [13]. For example, in [14] the authors use a robust version of push-sum as a building block to develop an asynchronous Newton-based distributed optimization algorithm, robust to packet losses.A lot of available works in the literature assume bounded intercommunication intervals; which motivated us to study and explore sufficient connectivity conditions which allow intercommunication intervals to slowly grow and potentially be unbounded. We propose logarithmically growing upper bounds which guarantee convergence.