01552nas a2200181   4500008004100000245004900041210004900090260003600139300001200175520099900187653002101186653001301207100001701220700001501237700001501252700001501267856008801282       2009                        eng d00aDistributed Consensus on Boolean Information0 aDistributed Consensus on Boolean Information  aVenice, ItalycSeptember, 24 -   a72 - 773 a<p>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 compact 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 suficient condition ensuring the global convergence toward a unique equilibrium point is presented. This result can be seen as a first step toward the denition of a unified framework to uniformly address all consensus problems on Boolean algebras.</p>
10aEmbedded Control10aRobotics1 aFagiolini, A1 aMartini, S1 aDubbini, N1 aBicchi, A.  uhttp://615830.rige.asia/publications/distributed-consensus-boolean-information.html