Distributed Consensus on Boolean Information

Abstract In this paper we study the convergence towards consensus on information in a distributed system of agents communicating over a network. The particularity of this study is that the information on which the consensus is seeked is not represented by real numbers, rather by logical values or sets. Whereas the problems of allowing a network of agents to reach a consensus on logical functions of input events, and that of agreeing on set–valued information, have been separately addressed in previous work, in this paper we show that these problems can indeed be attacked in a unified way in the framework of Boolean distributed information systems. Based on a notion of contractivity for Boolean dynamical systems, a necessary and sufficient condition ensuring the global convergence toward a unique equilibrium point is presented. This result can be seen as a first step toward the definition of a unified framework to uniformly address all consensus problems on Boolean algebras.

[1]  Antonio Bicchi,et al.  Set-valued consensus for distributed clock synchronization , 2009, 2009 IEEE International Conference on Automation Science and Engineering.

[2]  Keith Ansel Marzullo,et al.  Maintaining the time in a distributed system: an example of a loosely-coupled distributed service (synchronization, fault-tolerance, debugging) , 1984 .

[3]  Richard M. Murray,et al.  Information flow and cooperative control of vehicle formations , 2004, IEEE Transactions on Automatic Control.

[4]  Keith Marzullo,et al.  Maintaining the time in a distributed system , 1985, OPSR.

[5]  Sonia Martínez,et al.  Coverage control for mobile sensing networks , 2002, IEEE Transactions on Robotics and Automation.

[6]  François Robert.  Théorèmes de Perron-Frobenius et Stein-Rosenberg booléens , 1978 .

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

[8]  Matteo Gaeta,et al.  Deployment of sensors in a network-like environment , 2008, 2008 47th IEEE Conference on Decision and Control.

[9]  Ruggero Carli,et al.  Average consensus on networks with quantized communication , 2009 .

[10]  Andrea Garulli,et al.  Simultaneous localization and map building for a team of cooperating robots: a set membership approach , 2003, IEEE Trans. Robotics Autom..

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

[12]  Antonio Bicchi,et al.  Logical consensus for distributed network agreement , 2008, 2008 47th IEEE Conference on Decision and Control.

[13]  Stan Gudder.  BOOLEAN VECTOR SPACES , 2008 .

[14]  David L. Mills,et al.  Internet time synchronization: the network time protocol , 1991, IEEE Trans. Commun..

[15]  N. Subrahmanyam,et al.  Boolean vector spaces. II , 1964 .

[16]  Antonio Bicchi,et al.  Consensus-based distributed intrusion detection for multi-robot systems , 2008, 2008 IEEE International Conference on Robotics and Automation.

[17]  F. Robert.  Iterations sur des ensembles finis et automates cellulaires contractants , 1980 .

[18]  Audra E. Kosh,et al.  Linear Algebra and its Applications , 1992 .