Spray computers: Explorations in self-organization

We envision a future in which clouds of microcomputers can be sprayed in an environment to provide, by spontaneously networking with each other, an endlessly range of futuristic applications. However, beside the vision, spraying may also act as a powerful metaphor for a range of other scenarios that are already under formation, from ad hoc networks of embedded and mobile devices to worldwide distributed computing. After having detailed the different spray computers scenarios and their applications, this paper discusses the issues related to the design and development of spray computer applications, issues which call for novel autonomic approaches exploiting self-organization as first-class tools. Finally, this paper presents the key research efforts being taken in the area and attempts at defining a rough research agenda.

[1]  David W. Payton,et al.  Pheromone Robotics , 2001, Auton. Robots.

[2]  Franco Zambonelli,et al.  EXPERIMENTS OF MORPHOGENESIS IN SWARMS OF SIMPLE MOBILE ROBOTS , 2004, Appl. Artif. Intell..

[3]  H. Van Dyke Parunak,et al.  "Go to the ant": Engineering principles from natural multi-agent systems , 1997, Ann. Oper. Res..

[4]  Albert-László Barabási,et al.  Error and attack tolerance of complex networks , 2000, Nature.

[5]  Kristof Van Laerhoven,et al.  Self-organization in ad hoc sensor networks: an empirical study , 2002 .

[6]  Christian Jacob,et al.  Illustrating Evolutionary Computation with Mathematica , 2001 .

[7]  Franco Zambonelli,et al.  Emergence and control of macro-spatial structures in perturbed cellular automata, and implications for pervasive computing systems , 2005, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[8]  Mauro Birattari,et al.  Swarm Intelligence , 2012, Lecture Notes in Computer Science.

[9]  Gaurav S. Sukhatme,et al.  Connecting the Physical World with Pervasive Networks , 2002, IEEE Pervasive Comput..

[10]  Antony I. T. Rowstron,et al.  Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems , 2001, Middleware.

[11]  Franco Zambonelli,et al.  Co-Fields: A Physically Inspired Approach to Motion Coordination , 2004, IEEE Pervasive Comput..

[12]  Jin Song Dong,et al.  Semantic Space: an infrastructure for smart spaces , 2004, IEEE Pervasive Computing.

[13]  Troy Shinbrot,et al.  Noise to order , 2001, Nature.

[14]  Radhika Nagpal,et al.  Programmable self-assembly using biologically-inspired multiagent control , 2002, AAMAS '02.

[15]  Nicholas Carriero,et al.  Coordination languages and their significance , 1992, CACM.

[16]  K. J. Gabriel,et al.  Distributed MEMS: new challenges for computation , 1997 .

[17]  Franco Zambonelli,et al.  Physical deployment of digital pheromones through RFID technology , 2005, Proceedings 2005 IEEE Swarm Intelligence Symposium, 2005. SIS 2005..

[18]  Ronaldo Menezes,et al.  A new approach to scalable Linda-systems based on swarms , 2003, SAC '03.

[19]  Tomasz Imielinski,et al.  DataSpace: querying and monitoring deeply networked collections in physical space , 2000, IEEE Wirel. Commun..

[20]  Yan Zhang,et al.  Geometric ad-hoc routing: of theory and practice , 2003, PODC '03.

[21]  Mark Handley,et al.  A scalable content-addressable network , 2001, SIGCOMM '01.

[22]  H. Van Dyke Parunak,et al.  Digital Pheromones for Coordination of Unmanned Vehicles , 2004, E4MAS.

[23]  Deborah Estrin,et al.  Rumor routing algorthim for sensor networks , 2002, WSNA '02.

[24]  Henry A. Kautz,et al.  Inferring activities from interactions with objects , 2004, IEEE Pervasive Computing.

[25]  Gauthier Picard,et al.  ADELFE: A Methodology for Adaptive Multi-agent Systems Engineering , 2002, ESAW.

[26]  Franco Zambonelli,et al.  Programming pervasive and mobile computing applications with the TOTA middleware , 2004, Second IEEE Annual Conference on Pervasive Computing and Communications, 2004. Proceedings of the.

[27]  Klara Nahrstedt,et al.  A Middleware Infrastructure for Active Spaces , 2002, IEEE Pervasive Comput..

[28]  Bruce Edmonds,et al.  The insufficiency of formal design methods - the necessity of an experimental approach for the understanding and control of complex MAS , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[29]  Deborah Estrin,et al.  Rumor Routing Algorithm For Sensor Networks , 2002 .

[30]  Marco Dorigo,et al.  From Natural to Artificial Swarm Intelligence , 1999 .

[31]  Radhika Nagpal,et al.  Programming Methodology for Biologically-Inspired Self-Assembling Systems , 2003 .

[32]  Ian T. Foster,et al.  Mapping the Gnutella Network , 2002, IEEE Internet Comput..

[33]  Slobodan N. Simic,et al.  A Learning-Theory Approach to Sensor Networks , 2003, IEEE Pervasive Comput..

[34]  Miguel Castro,et al.  Performance and dependability of structured peer-to-peer overlays , 2004, International Conference on Dependable Systems and Networks, 2004.

[35]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[36]  H. Van Dyke Parunak,et al.  ERIM's Approach to Fine-Grained Agents , 2001 .

[37]  David L. Tennenhouse,et al.  Proactive computing , 2000, Commun. ACM.

[38]  Stephen Wolfram,et al.  A New Kind of Science , 2003, Artificial Life.

[39]  James McLurkin,et al.  Distributed Algorithms for Dispersion in Indoor Environments Using a Swarm of Autonomous Mobile Robots , 2004, DARS.

[40]  Franco Zambonelli,et al.  The Cloak of Invisibility: Challenges and Applications , 2002, IEEE Pervasive Comput..

[41]  Franco Zambonelli,et al.  Physical deployment of digital pheromones through RFID technology , 2005, SIS.

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

[43]  Franco Zambonelli,et al.  Methodologies and Software Engineering for Agent Systems , 2004, Multiagent Systems, Artificial Societies, and Simulated Organizations.

[44]  David Lorge Parnas.  Invited Plenary Talk , 1994 .

[45]  Tomasz Imielinski,et al.  DataSpace: querying and monitoring deeply networked collections in physical space , 2000, IEEE Wirel. Commun..

[46]  Gaetano Borriello,et al.  Location Systems for Ubiquitous Computing , 2001, Computer.

[47]  Ivan Stojmenovic,et al.  Sensor Networks , 2005 .

[48]  Hein Meling,et al.  Anthill: a framework for the development of agent-based peer-to-peer systems , 2002, Proceedings 22nd International Conference on Distributed Computing Systems.

[49]  David A. Maltz,et al.  A performance comparison of multi-hop wireless ad hoc network routing protocols , 1998, MobiCom '98.

[50]  Henry A. Kautz,et al.  Inferring High-Level Behavior from Low-Level Sensors , 2003, UbiComp.

[51]  Wei-Min Shen,et al.  Hormone-inspired adaptive communication and distributed control for CONRO self-reconfigurable robots , 2002, IEEE Trans. Robotics Autom..

[52]  F. Zambonelli,et al.  Co-Fields : A Physically Inspired Approach to Distributed Motion Coordination , 2004 .

[53]  Radhika Nagpal,et al.  Self-Reconfiguration Using Directed Growth , 2004, DARS.

[54]  Mahesh K. Marina,et al.  Performance of route caching strategies in Dynamic Source Routing , 2001, Proceedings 21st International Conference on Distributed Computing Systems Workshops.

[55]  Blake Hannaford,et al.  Time-domain passivity control of haptic interfaces , 2001, IEEE Trans. Robotics Autom..

[56]  Franco Zambonelli,et al.  Spatial Computing: An Emerging Paradigm for Autonomic Computing and Communication , 2004, WAC.

[57]  Mark Handley,et al.  A scalable content-addressable network , 2001, SIGCOMM 2001.