Logical consensus for distributed network agreement

In this paper we introduce a novel consensus mechanism where agents of a network are able to share logical values, or Booleans, representing their local opinions on e.g. the presence of an intruder or of a fire within an indoor environment. Under suitable joint conditions on agents¿ visibility and communication capability, we provide an algorithm generating a logical linear consensus system that is globally stable. The solution is optimal in terms of the number of messages to be exchanged and the time needed to reach a consensus. Moreover, to cope with possible sensor failure, we propose a second design approach that produces robust logical nonlinear consensus systems tolerating a maximum number of faults. Finally, we show applicability of the agreement mechanism to a distributed intrusion detection system (IDS).

[1]  Jorge Cortés,et al.  Distributed algorithms for reaching consensus on general functions , 2008, Autom..

[2]  Nancy A. Lynch,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

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

[4]  John N. Tsitsiklis,et al.  Parallel and distributed computation , 1989 .

[5]  Antonio Bicchi,et al.  Distributed intrusion detection for secure consensus computations , 2007, 2007 46th IEEE Conference on Decision and Control.

[6]  R. Srikant,et al.  Quantized Consensus , 2006, 2006 IEEE International Symposium on Information Theory.

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

[8]  F. Robert.  Dérivée Discrète et Comportement Local d'Une Itération Discrbte , 1983 .

[9]  Wei Ren,et al.  Information consensus in multivehicle cooperative control , 2007, IEEE Control Systems.

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

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

[12]  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 .

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

[14]  P.J. Antsaklis,et al.  Asynchronous Consensus Protocols: Preliminary Results, Simulations and Open Questions , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.