Robust Network Agreement on Logical Information

Abstract Logical consensus is an approach to distributed decision making which is based on the availability of a network of agents with incomplete system knowledge. The method requires the construction of a Boolean map which defines a dynamic system allowing the entire network to consent on a unique, global decision. Previous work by the authors proved the method to be viable for applications such as intrusion detection within a structured environment, when the agent's communication topology is known in advance. The current work aims at providing a fully distributed protocol, requiring no a priori knowledge of each agent's communication neighbors. The protocol allows the construction of a robust Boolean map that is able to tolerate incorrect information spread by some agents, due to spontaneous failure or malicious intents. Effectiveness of the proposed method is shown through an implementation on a low–cost platform.

[1]  Emilio Frazzoli,et al.  Adaptive and Distributed Algorithms for Vehicle Routing in a Stochastic and Dynamic Environment , 2009, IEEE Transactions on Automatic Control.

[2]  Jorge Cortes,et al.  Distributed coverage of nonconvex environments , 2008 .

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

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

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

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

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

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

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

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

[11]  Leslie Lamport,et al.  The Byzantine Generals Problem , 1982, TOPL.

[12]  Adam Dunkels,et al.  Contiki - a lightweight and flexible operating system for tiny networked sensors , 2004, 29th Annual IEEE International Conference on Local Computer Networks.

[13]  Adam Dunkels,et al.  Connecting Wireless Sensornets with TCP/IP Networks , 2004, WWIC.

[14]  George J. Pappas,et al.  Flocking in Fixed and Switching Networks , 2007, IEEE Transactions on Automatic Control.

[15]  Gaurav S. Sukhatme,et al.  Multi-Robot Collaboration with Range-Limited Communication: Experiments with Two Underactuated ASVs , 2009, FSR.

[16]  Antonio Bicchi,et al.  Distributed Consensus on Boolean Information , 2009 .

[17]  Reza Olfati-Saber,et al.  Flocking for multi-agent dynamic systems: algorithms and theory , 2006, IEEE Transactions on Automatic Control.

[18]  Lynne E. Parker,et al.  Distributed Intelligence: Overview of the Field and Its Application in Multi-Robot Systems , 2008, AAAI Fall Symposium: Regarding the Intelligence in Distributed Intelligent Systems.

[19]  Luca Schenato,et al.  A distributed consensus protocol for clock synchronization in wireless sensor network , 2007, 2007 46th IEEE Conference on Decision and Control.

[20]  S. Shankar Sastry,et al.  Tracking and Coordination of Multiple Agents Using Sensor Networks: System Design, Algorithms and Experiments , 2007, Proceedings of the IEEE.

[21]  Antonio Bicchi,et al.  A self-routing protocol for distributed consensus on logical information , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.