skip to main content
research-article

Distributed Binary Consensus in Networks with Disturbances

Published:01 September 2015Publication History
Skip Abstract Section

Abstract

This article evaluates convergence rates of binary majority consensus algorithms in networks with different types of disturbances and studies the potential capacity of randomization to foster convergence. Simulation results show that (a) additive noise, topology randomness, and stochastic message loss may improve the convergence rate; (b) presence of faulty nodes degrades the convergence rate; and (c) explicit randomization of consensus algorithms can be exploited to improve the convergence rate. Watts-Strogatz and Waxman graphs are used as underlying network topologies. A consensus algorithm is proposed that exchanges state information with dynamically randomly selected neighbors and, through this randomization, achieves almost sure convergence in some scenarios.

References

  1. Marcos K. Aguilera and Sam Toueg. 2012. The correctness proof of Ben-Ors randomized consensus algorithm. Distributed Computing 25, 5, 371--381.Google ScholarGoogle ScholarCross RefCross Ref
  2. Mehdi Alighanbari and Jonathan P. How. 2006. An unbiased Kalman consensus algorithm. In Proceedings of American Control Conference. 3519--3524.Google ScholarGoogle Scholar
  3. David Andre, Forrest H. Bennett III, and John R. Koza. 1996. Discovery by genetic programming of a cellular automata rule that is better than any known rule for the majority classification problem. In Proceedings of the Annual Conference on Genetic Programming. 3--11. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. James Aspnes. 2000. Fast deterministic consensus in a noisy environment. In Proceedings of the ACM Symposium on Principles of Distributed Computing. 299--308. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. James Aspnes. 2002. Fast deterministic consensus in a noisy environment. Journal of Algorithms 45, 1, 16--39. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. James Aspnes. 2003. Randomized protocols for asynchronous consensus. Distributed Computing 16, 2--3, 165--175. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Albert-Laszlo Barabási and Albert Reka. 1999. Emergence of scaling in random networks. Science 286, 5439, 509--512.Google ScholarGoogle Scholar
  8. Michael Ben-Or. 1983. Another advantage of free choice: Completely asynchronous agreement protocols. In Proceedings of the ACM Symposium on Principles of Distributed Computing. 27--30. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Gabriel Bracha and Ophir Rachman. 1992. Randomized consensus in expected O(n2log n) operations. In Distributed Algorithms. Lecture Notes in Computer Science, Vol. 579. Springer, 143--150. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Gabriel Bracha and Sam Toueg. 1985. Asynchronous consensus and broadcast protocols. Journal of the ACM 32, 4, 824--840. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Janna Burman, Ted Herman, Shay Kutten, and Boaz Patt-Shamir. 2006. Asynchronous and fully self-stabilizing time-adaptive majority consensus. In Principles of Distributed Systems. Lecture Notes in Computer Science, Vol. 3974. Springer, 146--160. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Ming Cao, Andrew Stewart, and Naomi E. Leonard. 2008. Integrating human and robot decision-making dynamics with feedback: Models and convergence analysis. In 47th IEEE Conference on Decision and Control. 1127--1132.Google ScholarGoogle Scholar
  13. Ming Cao, Andrew Stewart, and Naomi E. Leonard. 2010. Convergence in human decision-making dynamics. Systems and Control Letters 59, 2, 87--97.Google ScholarGoogle ScholarCross RefCross Ref
  14. Tushar Deepak Chandra, Vassos Hadzilacos, and Sam Toueg. 1996. The weakest failure detector for solving consensus. Journal of the ACM 43, 4, 685--722. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Tushar Deepak Chandra and Sam Toueg. 1996. Unreliable failure detectors for reliable distributed systems. Journal of the ACM 43, 2, 225--267. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Rajarshi Das, James P. Crutchfield, Melanie Mitchell, and James E. Hanson. 1995. Evolving globally synchronized cellular automata. In Proceedings of the International Conference on Genetic Algorithms. 336--343. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Danny Dolev, Cynthia Dwork, and Larry Stockmeyer. 1987. On the minimal synchronism needed for distributed consensus. Journal of the ACM 34, 1, 77--97. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. Cynthia Dwork, Nancy Lynch, and Larry Stockmeyer. 1988. Consensus in the presence of partial synchrony. Journal of the ACM 35, 2, 288--323. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. Nazim Fatés. 2013. Stochastic cellular automata solutions to the density classification problem. Theory of Computing Systems 53, 2, 223--242.Google ScholarGoogle ScholarCross RefCross Ref
  20. Michael J. Fischer, Nancy A. Lynch, and Michael S. Paterson. 1985. Impossibility of distributed consensus with one faulty process. Journal of the ACM 32, 2, 374--382. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. Peter Gacs, Georgy L. Kurdyumov, and Leonid A. Levin. 1978. One-dimensional uniform arrays that wash out finite islands. Problemy Peredachi Informacii 14, 92--98.Google ScholarGoogle Scholar
  22. Alexander Galov and Alexey Moschevikin. 2013. Bayesian filters for ToF and RSS measurements for indoor positioning of a mobile object. In Proceedings of 2013 International Conference on Indoor Positioning and Indoor Navigation (IPIN). 1--8.Google ScholarGoogle ScholarCross RefCross Ref
  23. Andrew Gee and Roberto Cipolla. 1996. Fast visual tracking by temporal consensus. Image and Vision Computing 14, 2, 105--114.Google ScholarGoogle ScholarCross RefCross Ref
  24. Carlos Gershenson. 2004. Updating schemes in random Boolean networks: Do they really matter? In Proceedings of the International Conference on the Simulation and Synthesis of Living Systems. 238--243.Google ScholarGoogle Scholar
  25. Alexander Gogolev and Christian Bettstetter. 2012. Robustness of self-organizing consensus algorithms: Initial results from a simulation-based study. In Self-Organizing Systems. Lecture Notes in Computer Science, Vol. 7166. Springer, 104--108. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. Alexander Gogolev and Lucio Marcenaro. 2014a. Density classification in asynchronous random networks with faulty nodes. In Proceedings of International Conference on Parallel, Distributed and Network-Based Processing. 256--261. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. Alexander Gogolev and Lucio Marcenaro. 2014b. Randomized binary consensus with faulty nodes. Entropy 16, 2820--2838.Google ScholarGoogle ScholarCross RefCross Ref
  28. Minyi Huang and Jonathan H. Manton. 2007. Stochastic double array analysis and convergence of consensus algorithms with noisy measurements. In Proceedings of American Control Conference. 705--710.Google ScholarGoogle Scholar
  29. Hugues Juille and Jordan B. Pollack. 1998. Coevolving the “ideal” trainer: Application to the discovery of cellular automata rules. In Proceedings of the Annual Conference on Genetic Programming. 519--527.Google ScholarGoogle Scholar
  30. Soummya Kar and Jose M. F. Moura. 2007. Distributed average consensus in sensor networks with random link failures and communication channel noise. In Proceedings of Asilomar Conference on Signals, Systems and Computers. 676--680.Google ScholarGoogle Scholar
  31. Derek B. Kingston and Randall W. Beard. 2006. Discrete-time average consensus under switching network topologies. In Proceedings of American Control Conference. 3551--3556.Google ScholarGoogle Scholar
  32. Mark Land and Richard K. Belew. 1995. No perfect two-state cellular automata for density classification exists. Physical Review Letters E 74, 5148--5150.Google ScholarGoogle ScholarCross RefCross Ref
  33. Naomi E. Leonard, Tian Shen, Benjamin Nabet, Luca Scardovi, Iain D. Couzin, and Simon A. Levin. 2012. Decision versus compromise for animal groups in motion. Proceedings of the National Academy of Sciences 109, 1, 227--232.Google ScholarGoogle ScholarCross RefCross Ref
  34. Timothy Margush and Fred R. McMorris. 1981. Consensus n-trees. Bulletin of Mathematical Biology 43, 2, 239--244.Google ScholarGoogle Scholar
  35. Manuel Marques-Pita and Luis Mateus Rocha. 2008. Conceptual structure in cellular automata—the density classification task. In ALIFE. 390--397.Google ScholarGoogle Scholar
  36. J. Ricardo G. Mendonçia. 2011. Sensitivity to noise and ergodicity of an assembly line of cellular automata that classifies density. Physical Review Letters E 83, 3, 31112--31117.Google ScholarGoogle ScholarCross RefCross Ref
  37. Melanie Mitchell, James P. Crutchfield, and Peter T. Hraber. 1994. Evolving cellular automata to perform computations: Mechanisms and impediments. Physica D: Nonlinear Phenomena 75, 1--3, 361--391. Google ScholarGoogle ScholarDigital LibraryDigital Library
  38. Melanie Mitchell, Peter T. Hraber, and James P. Crutchfield. 1993. Revisiting the edge of chaos: Evolving cellular automata to perform computations. Complex Systems 7, 89--130.Google ScholarGoogle Scholar
  39. André A. Moreira, Abhishek Mathur, Daniel Diermeier, and Luís A. N. Amaral. 2004. Efficient system-wide coordination in noisy environments. Proceedings of the National Academy of Sciences of the United States of America 101, 33, 12085--12090.Google ScholarGoogle ScholarCross RefCross Ref
  40. Alexey Moschevikin, Alexander Galov, Sergey Reginya, Alexander Volkov, and Axel Sikora. 2013. The impact of NLOS components in Time-of-Flight networks for indoor positioning systems. In Proceedings of IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS), Vol. 01. 455--460.Google ScholarGoogle ScholarCross RefCross Ref
  41. Yasamin Mostofi and Richard M. Murray. 2009. Kalman filtering over wireless fading channels—How to handle packet drop. International Journal of Robust and Nonlinear Control 19, 18, 1993--2015.Google ScholarGoogle ScholarCross RefCross Ref
  42. Benjamin Nabet, Naomi E. Leonard, Iain D. Couzin, and Simon A. Levin. 2009. Dynamics of decision making in animal group motion. Journal of Nonlinear Science 19, 4, 399--435.Google ScholarGoogle ScholarCross RefCross Ref
  43. Reza Olfati-Saber and Jeff S. Shamma. 2005. Consensus filters for sensor networks and distributed sensor fusion. In Proceedings of IEEE Conference on Decision and Control and European Control Conference. 6698--6703.Google ScholarGoogle Scholar
  44. Marshall Pease, Robert Shostak, and Leslie Lamport. 1980. Reaching agreement in the presence of faults. Journal of the ACM 27, 2, 228--234. Google ScholarGoogle ScholarDigital LibraryDigital Library
  45. Yongxiang Ruan and Yasamin Mostofi. 2008. Binary consensus with soft information processing in cooperative networks. In Proceedings of IEEE Conference on Decision and Control. 3613--3619.Google ScholarGoogle ScholarCross RefCross Ref
  46. Michael Saks, Nir Shavit, and Heather Woll. 1991. Optimal time randomized consensus-making resilient algorithms fast in practice. In Proceedings of ACM-SIAM Symposium on Discrete Algorithms. 351--362. Google ScholarGoogle ScholarDigital LibraryDigital Library
  47. Michael Saks and Fotios Zaharoglou. 1993. Wait-free k-set agreement is impossible: The topology of public knowledge. In Proceedings of the ACM Symposium on Theory of Computing. 101--110. Google ScholarGoogle ScholarDigital LibraryDigital Library
  48. Andrea Simonetto, Tamas Keviczky, and Robert Babuska. 2010. Distributed nonlinear estimation for robot localization using weighted consensus. In Proceedings of IEEE International Conference on Robotics and Automation. 3026--3031.Google ScholarGoogle ScholarCross RefCross Ref
  49. Mieko Tanaka-Yamawaki, Sachiko Kitamikado, and Toshio Fukuda. 1996. Consensus formation and the cellular automata. Robotics and Autonomous Systems 19, 1, 15--22.Google ScholarGoogle ScholarCross RefCross Ref
  50. Andrew S. Tanenbaum and Maarten van Steen. 2010. Distributed Systems: Principles and Paradigms (3rd ed.). Prentice-Hall, Inc. Upper Saddle River, NJ.Google ScholarGoogle Scholar
  51. János Török, Gerardo Iñiguez, Taha Yasseri, Maxi San Miguel, Kimmo Kaski, and János Kertész. 2013. Opinions, conflicts, and consensus: Modelling social dynamics in a collaborative environment. Physical Review Letters 110, 8, 88701--88708.Google ScholarGoogle ScholarCross RefCross Ref
  52. Piet Van Mieghem. 2001. Paths in the simple random graph and the Waxman graph. Probability in the Engineering and Informational Sciences 15, 4, 535--555. Google ScholarGoogle ScholarDigital LibraryDigital Library
  53. Igor G. Vladimirov and Phil Diamond. 2002. A uniform white-noise model for fixed-point roundoff errors in digital systems. Automation and Remote Control 63, 5, 753--765. Google ScholarGoogle ScholarDigital LibraryDigital Library
  54. Duncan J. Watts and Steven H. Strogatz. 1998. Collective dynamics of “small-world” networks. Nature 393, 6684, 440--442.Google ScholarGoogle Scholar
  55. Bernard M. Waxman. 1988. Routing of multipoint connections. IEEE Journal on Selected Areas in Communications 6, 9, 1617--1622. Google ScholarGoogle ScholarDigital LibraryDigital Library
  56. Dietmar Wolz and Pedro De Oliveira. 2008. Very effective evolutionary techniques for searching cellular automata rule spaces. Journal of Cellular Automata 3, 4, 289--312.Google ScholarGoogle Scholar
  57. Xin-She Yang. 2001. Small-world networks in geophysics. Geophysical Research Letters 28, 13, 2549--2552.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. Distributed Binary Consensus in Networks with Disturbances

            Recommendations

            Comments

            Login options

            Check if you have access through your login credentials or your institution to get full access on this article.

            Sign in

            Full Access

            • Published in

              cover image ACM Transactions on Autonomous and Adaptive Systems
              ACM Transactions on Autonomous and Adaptive Systems  Volume 10, Issue 3
              October 2015
              204 pages
              ISSN:1556-4665
              EISSN:1556-4703
              DOI:10.1145/2819320
              Issue’s Table of Contents

              Copyright © 2015 ACM

              Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 1 September 2015
              • Accepted: 1 March 2015
              • Revised: 1 December 2014
              • Received: 1 November 2013
              Published in taas Volume 10, Issue 3

              Permissions

              Request permissions about this article.

              Request Permissions

              Check for updates

              Qualifiers

              • research-article
              • Research
              • Refereed

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader