Sensor Networks With Random Links: Topology Design for Distributed Consensus

In a sensor network, in practice, the communication among sensors is subject to: 1) errors that can cause failures of links among sensors at random times; 2) costs; and 3) constraints, such as power, data rate, or communication, since sensors and networks operate under scarce resources. The paper studies the problem of designing the topology, i.e., assigning the probabilities of reliable communication among sensors (or of link failures) to maximize the rate of convergence of average consensus, when the link communication costs are taken into account, and there is an overall communication budget constraint. We model the network as a Bernoulli random topology and establish necessary and sufficient conditions for mean square sense (mss) and almost sure (a.s.) convergence of average consensus when network links fail. In particular, a necessary and sufficient condition is for the algebraic connectivity of the mean graph topology to be strictly positive. With these results, we show that the topology design with random link failures, link communication costs, and a communication cost constraint is a constrained convex optimization problem that can be efficiently solved for large networks by semidefinite programming techniques. Simulations demonstrate that the optimal design improves significantly the convergence speed of the consensus algorithm and can achieve the performance of a non-random network at a fraction of the communication cost.

[1]  Vicsek,et al.  Novel type of phase transition in a system of self-driven particles. , 1995, Physical review letters.

[2]  R. Olfati-Saber,et al.  Algebraic Connectivity Ratio of Ramanujan Graphs , 2007, 2007 American Control Conference.

[3]  Henry Wolkowicz,et al.  Handbook of Semidefinite Programming , 2000 .

[4]  John N. Tsitsiklis,et al.  Problems in decentralized decision making and computation , 1984 .

[5]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[6]  Mehran Mesbahi,et al.  Agreement over random networks , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[7]  Michael William Newman,et al.  The Laplacian spectrum of graphs , 2001 .

[8]  Janos Galambos,et al.  Advanced probability theory , 1988 .

[9]  George Cybenko,et al.  Dynamic Load Balancing for Distributed Memory Multiprocessors , 1989, J. Parallel Distributed Comput..

[10]  R. Murray,et al.  Consensus protocols for networks of dynamic agents , 2003, Proceedings of the 2003 American Control Conference, 2003..

[11]  M.G. Rabbat,et al.  Generalized consensus computation in networked systems with erasure links , 2005, IEEE 6th Workshop on Signal Processing Advances in Wireless Communications, 2005..

[12]  Soummya Kar,et al.  Distributed average consensus in sensor networks with quantized inter-sensor communication , 2008, 2008 IEEE International Conference on Acoustics, Speech and Signal Processing.

[13]  Jie Lin,et al.  Coordination of groups of mobile autonomous agents using nearest neighbor rules , 2003, IEEE Trans. Autom. Control..

[14]  M. Fiedler Algebraic connectivity of graphs , 1973 .

[15]  Stephen P. Boyd,et al.  Fast linear iterations for distributed averaging , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[16]  Soummya Kar,et al.  Distributed Average Consensus in Sensor Networks with Random Link Failures and Communication Channel Noise , 2007, 2007 Conference Record of the Forty-First Asilomar Conference on Signals, Systems and Computers.

[17]  R. Olfati-Saber Ultrafast consensus in small-world networks , 2005, Proceedings of the 2005, American Control Conference, 2005..

[18]  O. Kallenberg Foundations of Modern Probability , 2021, Probability Theory and Stochastic Modelling.

[19]  Alireza Tahbaz-Salehi,et al.  On consensus over random networks , 2006 .

[20]  Seif Haridi,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[21]  Stephen P. Boyd,et al.  Randomized gossip algorithms , 2006, IEEE Transactions on Information Theory.

[22]  E.M. Atkins,et al.  A survey of consensus problems in multi-agent coordination , 2005, Proceedings of the 2005, American Control Conference, 2005..

[23]  Reza Olfati-Saber,et al.  Consensus and Cooperation in Networked Multi-Agent Systems , 2007, Proceedings of the IEEE.

[24]  R. Saigal,et al.  Handbook of semidefinite programming : theory, algorithms, and applications , 2000 .

[25]  John N. Tsitsiklis,et al.  Distributed Asynchronous Deterministic and Stochastic Gradient Optimization Algorithms , 1984, 1984 American Control Conference.

[26]  Frank Harary,et al.  Graph Theory , 2016 .

[27]  B. Mohar THE LAPLACIAN SPECTRUM OF GRAPHS y , 1991 .

[28]  George G. Roussas An Introduction to Measure-theoretic Probability , 2004 .

[29]  Silvana Stefani,et al.  Matrices and Graphs: Theory and Applications to Economics Proceedings of the Conferences , 1996 .

[30]  Stephen P. Boyd Convex optimization of graph Laplacian eigenvalues , 2006 .

[31]  J. Moura,et al.  Topology for Global Average Consensus , 2006, 2006 Fortieth Asilomar Conference on Signals, Systems and Computers.

[32]  Nancy A. Lynch,et al.  Impossibility of distributed consensus with one faulty process , 1983, PODS '83.

[33]  W ReynoldsCraig Flocks, herds and schools: A distributed behavioral model , 1987 .

[34]  J.M.F. Moura,et al.  Distributed Detection in Sensor Networks: Connectivity Graph and Small World Networks , 2005, Conference Record of the Thirty-Ninth Asilomar Conference onSignals, Systems and Computers, 2005..

[35]  Richard M. Murray,et al.  Consensus problems in networks of agents with switching topology and time-delays , 2004, IEEE Transactions on Automatic Control.

[36]  J. Dall,et al.  Random geometric graphs. , 2002, Physical review. E, Statistical, nonlinear, and soft matter physics.

[37]  J.N. Tsitsiklis,et al.  Convergence in Multiagent Coordination, Consensus, and Flocking , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[38]  U. Feige,et al.  Spectral Graph Theory , 2015 .

[39]  Mehran Mesbahi,et al.  On maximizing the second smallest eigenvalue of a state-dependent graph Laplacian , 2006, IEEE Transactions on Automatic Control.

[40]  Stephen P. Boyd,et al.  Distributed average consensus with least-mean-square deviation , 2007, J. Parallel Distributed Comput..

[41]  Mathew D. Penrose,et al.  Random Geometric Graphs , 2003 .

[42]  Soummya Kar,et al.  Topology for Distributed Inference on Graphs , 2006, IEEE Transactions on Signal Processing.

[43]  R. A. Silverman,et al.  Introductory Real Analysis , 1972 .

[44]  José M. F. Moura,et al.  Ramanujan Topologies for Decision Making in Sensor Networks , 2006 .