Optimal single-path information propagation in gradient-based algorithms

Abstract Scenarios like wireless network networks, Internet of Things, and pervasive computing, promote full distribution of computation as well as opportunistic, peer-to-peer interactions between devices spread in the environment. In this context, computing estimated distances between devices in the network is a key component, commonly referred to as the gradient self-organisation pattern: it is frequently used to broadcast information, forecast pointwise events, as carrier for distributed sensing, and as combinator for higher-level spatial structures. However, computing gradients is very problematic in an environment affected by mutability in the position and working frequency of devices: existing algorithms fail in reaching adequate trade-offs between accuracy and reaction speed to environment changes. We propose BIS (Bounded Information Speed) gradient, a fully-distributed algorithm that uses time information to achieve a smooth and predictable reaction speed, and prove it is optimal across algorithms following a single-path-communication strategy to spread information. We empirically evaluate BIS gradient and compare it with other approaches, showing that BIS achieves the best accuracy while keeping smoothness under control, and accordingly provides improved performance when used as building block in more complex algorithms for creating spatial structures and performing distributed collection of data.

[1]  Jose Luis Fernandez-Marquez,et al.  Analysis of New Gradient Based Aggregation Algorithms for Data-Propagation in Mobile Networks , 2012, 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops.

[2]  Mirko Viroli,et al.  Type-based Self-stabilisation for Computational Fields , 2015, Log. Methods Comput. Sci..

[3]  Jean-Louis Giavitto,et al.  Computations in Space and Space in Computations , 2004, UPP.

[4]  Jacob Beal,et al.  Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments , 2012, COORDINATION.

[5]  M. Kendall,et al.  Kendall's advanced theory of statistics , 1995 .

[6]  W. Weibull A Statistical Distribution Function of Wide Applicability , 1951 .

[7]  Jacob Beal,et al.  Building Blocks for Aggregate Programming of Self-Organising Applications , 2014, 2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops.

[8]  Franco Zambonelli,et al.  Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces , 2011, TAAS.

[9]  Mirko Viroli,et al.  Description and composition of bio-inspired design patterns: a complete overview , 2012, Natural Computing.

[10]  Jacob Beal,et al.  A Calculus of Computational Fields , 2013, ESOCC Workshops.

[11]  Jacob Beal,et al.  Aggregate Programming for the Internet of Things , 2015, Computer.

[12]  Jacob Beal,et al.  Organizing the Aggregate: Languages for Spatial Computing , 2012, ArXiv.

[13]  Jacob Beal,et al.  Flexible self-healing gradients , 2009, SAC '09.

[14]  Jacob Beal,et al.  Composable continuous-space programs for robotic swarms , 2010, Neural Computing and Applications.

[15]  Mirko Viroli,et al.  Compositional Blocks for Optimal Self-Healing Gradients , 2017, 2017 IEEE 11th International Conference on Self-Adaptive and Self-Organizing Systems (SASO).

[16]  Stefan Dulman,et al.  Gradient-Based Distance Estimation for Spatial Computers , 2013, Comput. J..

[17]  Mirko Viroli,et al.  Chemical-oriented simulation of computational systems with ALCHEMIST , 2013, J. Simulation.

[18]  Mirko Viroli,et al.  Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed , 2017, COORDINATION.

[19]  Jacob Beal,et al.  Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields , 2015, 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems.

[20]  Franco Zambonelli,et al.  Self-organizing virtual macro sensors , 2012, TAAS.

[21]  Elizabeth M. Belding-Royer,et al.  A review of current routing protocols for ad hoc mobile wireless networks , 1999, IEEE Wirel. Commun..

[22]  Franco Zambonelli,et al.  Injecting Self-Organisation into Pervasive Service Ecosystems , 2012, Mobile Networks and Applications.

[23]  Ugo Montanari,et al.  Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields , 2016, Log. Methods Comput. Sci..

[24]  Radhika Nagpal,et al.  Organizing a Global Coordinate System from Local Information on an Ad Hoc Sensor Network , 2003, IPSN.

[25]  Jacob Beal,et al.  Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields , 2015, FORTE.

[26]  Jacob Beal,et al.  A type-sound calculus of computational fields , 2016, Sci. Comput. Program..

[27]  Jacob Beal,et al.  Protelis: practical aggregate programming , 2015, SAC.

[28]  Franco Zambonelli,et al.  Engineering Pervasive Service Ecosystems: The SAPERE Approach , 2015, TAAS.

[29]  Mirko Viroli,et al.  A Higher-Order Calculus of Computational Fields , 2016, ACM Trans. Comput. Log..

[30]  Jacob Beal,et al.  Laplacian-based consensus on spatial computers , 2010, AAMAS.

[31]  Mirko Viroli,et al.  A Calculus of Self-stabilising Computational Fields , 2014, COORDINATION.

[32]  Mirko Viroli,et al.  Biochemical Tuple Spaces for Self-organising Coordination , 2009, COORDINATION.

[33]  Jacob Beal,et al.  Fast self-healing gradients , 2008, SAC '08.

[34]  Jacob Beal,et al.  Engineering Resilient Collective Adaptive Systems by Self-Stabilisation , 2017, ACM Trans. Model. Comput. Simul..