Skip to main content

2017 | OriginalPaper | Buchkapitel

A Stochastic Approach to Shortcut Bridging in Programmable Matter

verfasst von : Marta Andrés Arroyo, Sarah Cannon, Joshua J. Daymude, Dana Randall, Andréa W. Richa

Erschienen in: DNA Computing and Molecular Programming

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In a self-organizing particle system, an abstraction of programmable matter, simple computational elements called particles with limited memory and communication self-organize to solve system-wide problems of movement, coordination, and configuration. In this paper, we consider stochastic, distributed, local, asynchronous algorithms for “shortcut bridging,” in which particles self-assemble bridges over gaps that simultaneously balance minimizing the length and cost of the bridge. Army ants of the genus Eticon have been observed exhibiting a similar behavior in their foraging trails, dynamically adjusting their bridges to satisfy an efficiency tradeoff using local interactions [1]. Using techniques from Markov chain analysis, we rigorously analyze our algorithm, show it achieves a near-optimal balance between the competing factors of path length and bridge cost, and prove that it exhibits a dependence on the angle of the gap being “shortcut” similar to that of the ant bridges. We also present simulation results that qualitatively compare our algorithm with the army ant bridging behavior. The proposed algorithm demonstrates the robustness of the stochastic approach to algorithms for programmable matter, as it is a surprisingly simple generalization of a stochastic algorithm for compression [2].

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
The notion of a particle (resp., location) neighborhood N(P) (resp., \(N(\ell )\)) has been extended from [2] to include objects.
 
2
Since particles treat objects as static particles, the particle system may actually disconnect into several components which remain connected through objects.
 
3
If \(\sigma _0\) has holes, our algorithm will eliminate them and they will not reform [2]; for simplicity, we focus only on the behavior of the system after this occurs.
 
4
Note only a constant number of bits are needed to produce q, as \(\lambda \) and \(\gamma \) are constants and a particle move changes perimeter and gap perimeter by at most a constant.
 
Literatur
1.
Zurück zum Zitat Reid, C.R., Lutz, M.J., Powell, S., Kao, A.B., Couzin, I.D., Garnier, S.: Army ants dynamically adjust living bridges in response to a cost-benefit trade-off. Proc. Natl. Acad. Sci. 112(49), 15113–15118 (2015)CrossRef Reid, C.R., Lutz, M.J., Powell, S., Kao, A.B., Couzin, I.D., Garnier, S.: Army ants dynamically adjust living bridges in response to a cost-benefit trade-off. Proc. Natl. Acad. Sci. 112(49), 15113–15118 (2015)CrossRef
2.
Zurück zum Zitat Cannon, S., Daymude, J.J., Randall, D., Richa, A.W.: A Markov chain algorithm for compression in self-organizing particle systems. In: Proceedings of 2016 ACM Symposium on Principles of Distributed Computing (PODC 2016), pp. 279–288 (2016) Cannon, S., Daymude, J.J., Randall, D., Richa, A.W.: A Markov chain algorithm for compression in self-organizing particle systems. In: Proceedings of 2016 ACM Symposium on Principles of Distributed Computing (PODC 2016), pp. 279–288 (2016)
3.
Zurück zum Zitat Camazine, S., Visscher, K.P., Finley, J., Vetter, S.R.: House-hunting by honey bee swarms: collective decisions and individual behaviors. Insectes Soc. 46(4), 348–360 (1999)CrossRef Camazine, S., Visscher, K.P., Finley, J., Vetter, S.R.: House-hunting by honey bee swarms: collective decisions and individual behaviors. Insectes Soc. 46(4), 348–360 (1999)CrossRef
4.
Zurück zum Zitat Jeanson, R., Rivault, C., Deneubourg, J.L., Blanco, S., Fournier, R., Jost, C., Theraulaz, G.: Self-organized aggregation in cockroaches. Anim. Behav. 69(1), 169–180 (2005)CrossRef Jeanson, R., Rivault, C., Deneubourg, J.L., Blanco, S., Fournier, R., Jost, C., Theraulaz, G.: Self-organized aggregation in cockroaches. Anim. Behav. 69(1), 169–180 (2005)CrossRef
5.
Zurück zum Zitat Mohammed, A.M., Šulc, P., Zenk, J., Schulman, R.: Self-assembling DNA nanotubes to connect molecular landmarks. Nat. Nanotechnol. 12, 312–316 (2017)CrossRef Mohammed, A.M., Šulc, P., Zenk, J., Schulman, R.: Self-assembling DNA nanotubes to connect molecular landmarks. Nat. Nanotechnol. 12, 312–316 (2017)CrossRef
6.
Zurück zum Zitat Woods, D.: Intrinsic universality and the computational power of self-assembly. In: Proceedings of Machines, Computations and Universality (MCU 2013), pp. 16–22 (2013) Woods, D.: Intrinsic universality and the computational power of self-assembly. In: Proceedings of Machines, Computations and Universality (MCU 2013), pp. 16–22 (2013)
7.
Zurück zum Zitat Angluin, D., Aspnes, J., Diamadi, Z., Fischer, M.J., Peralta, R.: Computation in networks of passively mobile finite-state sensors. Distrib. Comput. 18(4), 235–253 (2006)CrossRefMATH Angluin, D., Aspnes, J., Diamadi, Z., Fischer, M.J., Peralta, R.: Computation in networks of passively mobile finite-state sensors. Distrib. Comput. 18(4), 235–253 (2006)CrossRefMATH
8.
Zurück zum Zitat Reid, C.R., Latty, T.: Collective behaviour and swarm intelligence in slime moulds. FEMS Microbiol. Rev. 40(6), 798–806 (2016)CrossRef Reid, C.R., Latty, T.: Collective behaviour and swarm intelligence in slime moulds. FEMS Microbiol. Rev. 40(6), 798–806 (2016)CrossRef
9.
Zurück zum Zitat Douglas, S.M., Dietz, H., Liedl, T., Högberg, B., Graf, F., Shih, W.M.: Self-assembly of DNA into nanoscale three-dimensional shapes. Nature 459, 414–418 (2009)CrossRef Douglas, S.M., Dietz, H., Liedl, T., Högberg, B., Graf, F., Shih, W.M.: Self-assembly of DNA into nanoscale three-dimensional shapes. Nature 459, 414–418 (2009)CrossRef
10.
Zurück zum Zitat Cheung, K.C., Demaine, E.D., Bachrach, J.R., Griffith, S.: Programmable assembly with universally foldable strings (moteins). IEEE Trans. Rob. 27(4), 718–729 (2011)CrossRef Cheung, K.C., Demaine, E.D., Bachrach, J.R., Griffith, S.: Programmable assembly with universally foldable strings (moteins). IEEE Trans. Rob. 27(4), 718–729 (2011)CrossRef
11.
Zurück zum Zitat Wei, B., Dai, M., Yin, P.: Complex shapes self-assembled from single-stranded DNA tiles. Nature 485, 623–626 (2012)CrossRef Wei, B., Dai, M., Yin, P.: Complex shapes self-assembled from single-stranded DNA tiles. Nature 485, 623–626 (2012)CrossRef
12.
Zurück zum Zitat Cieliebak, M., Flocchini, P., Prencipe, G., Santoro, N.: Distributed computing by mobile robots: gathering. SIAM J. Comput. 41(4), 829–879 (2012)MathSciNetCrossRefMATH Cieliebak, M., Flocchini, P., Prencipe, G., Santoro, N.: Distributed computing by mobile robots: gathering. SIAM J. Comput. 41(4), 829–879 (2012)MathSciNetCrossRefMATH
13.
Zurück zum Zitat Flocchini, P., Prencipe, G., Santoro, N., Widmayer, P.: Arbitrary pattern formation by asynchronous, anonymous, oblivious robots. Theoret. Comput. Sci. 407(1), 412–447 (2008)MathSciNetCrossRefMATH Flocchini, P., Prencipe, G., Santoro, N., Widmayer, P.: Arbitrary pattern formation by asynchronous, anonymous, oblivious robots. Theoret. Comput. Sci. 407(1), 412–447 (2008)MathSciNetCrossRefMATH
14.
Zurück zum Zitat Rubenstein, M., Cornejo, A., Nagpal, R.: Programmable self-assembly in a thousand-robot swarm. Science 345(6198), 795–799 (2014)CrossRef Rubenstein, M., Cornejo, A., Nagpal, R.: Programmable self-assembly in a thousand-robot swarm. Science 345(6198), 795–799 (2014)CrossRef
15.
Zurück zum Zitat Chazelle, B.: Natural algorithms. In: Proceedings of 2009 ACM-SIAM Symposium on Discrete Algorithms (SODA 2009), pp. 422–431 (2009) Chazelle, B.: Natural algorithms. In: Proceedings of 2009 ACM-SIAM Symposium on Discrete Algorithms (SODA 2009), pp. 422–431 (2009)
16.
Zurück zum Zitat Yim, M., Shen, W.-M., Salemi, B., Rus, D., Moll, M., Lipson, H., Klavins, E., Chirikjian, G.S.: Modular self-reconfigurable robot systems. IEEE Robot. Autom. Mag. 14(1), 43–52 (2007)CrossRef Yim, M., Shen, W.-M., Salemi, B., Rus, D., Moll, M., Lipson, H., Klavins, E., Chirikjian, G.S.: Modular self-reconfigurable robot systems. IEEE Robot. Autom. Mag. 14(1), 43–52 (2007)CrossRef
17.
Zurück zum Zitat Chirikjian, G.: Kinematics of a metamorphic robotic system. In: Proceedings of 1994 International Conference on Robotics and Automation (ICRA 1994), vol. 1, pp. 449–455 (1994) Chirikjian, G.: Kinematics of a metamorphic robotic system. In: Proceedings of 1994 International Conference on Robotics and Automation (ICRA 1994), vol. 1, pp. 449–455 (1994)
18.
Zurück zum Zitat Walter, J.E., Welch, J.L., Amato, N.M.: Distributed reconfiguration of metamorphic robot chains. In: Proceedings of 2000 ACM Symposium on Principles of Distributed Computing (PODC 2000), pp. 171–180 (2000) Walter, J.E., Welch, J.L., Amato, N.M.: Distributed reconfiguration of metamorphic robot chains. In: Proceedings of 2000 ACM Symposium on Principles of Distributed Computing (PODC 2000), pp. 171–180 (2000)
19.
Zurück zum Zitat Walter, J.E., Brooks, M.E., Little, D.F., Amato, N.M.: Enveloping multi-pocket obstacles with hexagonal metamorphic robots. In: Proceedings of 2004 IEEE International Conference on Robotics and Automation (ICRA 2004), pp. 2204–2209 (2004) Walter, J.E., Brooks, M.E., Little, D.F., Amato, N.M.: Enveloping multi-pocket obstacles with hexagonal metamorphic robots. In: Proceedings of 2004 IEEE International Conference on Robotics and Automation (ICRA 2004), pp. 2204–2209 (2004)
20.
Zurück zum Zitat Woods, D., Chen, H.-L, Goodfriend, S., Dabby, N., Winfree, E., Yin, P.: Active self-assembly of algorithmic shapes and patterns in polylogarithmic time. In: Proceedings of 4th Innovations in Theoretical Computer Science Conference (ITCS 2013), pp. 353–354 (2013) Woods, D., Chen, H.-L, Goodfriend, S., Dabby, N., Winfree, E., Yin, P.: Active self-assembly of algorithmic shapes and patterns in polylogarithmic time. In: Proceedings of 4th Innovations in Theoretical Computer Science Conference (ITCS 2013), pp. 353–354 (2013)
21.
22.
Zurück zum Zitat Derakhshandeh, Z., Gmyr, R., Strothmann, T., Bazzi, R., Richa, A.W., Scheideler, C.: Leader election and shape formation with self-organizing programmable matter. In: Phillips, A., Yin, P. (eds.) DNA 2015. LNCS, vol. 9211, pp. 117–132. Springer, Cham (2015). doi:10.1007/978-3-319-21999-8_8 CrossRef Derakhshandeh, Z., Gmyr, R., Strothmann, T., Bazzi, R., Richa, A.W., Scheideler, C.: Leader election and shape formation with self-organizing programmable matter. In: Phillips, A., Yin, P. (eds.) DNA 2015. LNCS, vol. 9211, pp. 117–132. Springer, Cham (2015). doi:10.​1007/​978-3-319-21999-8_​8 CrossRef
23.
Zurück zum Zitat Lynch, N.: Distributed Algorithms. Morgan Kauffman, San Francisco (1996)MATH Lynch, N.: Distributed Algorithms. Morgan Kauffman, San Francisco (1996)MATH
24.
25.
Zurück zum Zitat Restrepo, R., Shin, J., Tetali, P., Vigoda, E., Yang, L.: Improving mixing conditions on the grid for counting and sampling independent sets. Probab. Theory Relat. Fields 156, 75–99 (2013)CrossRefMATH Restrepo, R., Shin, J., Tetali, P., Vigoda, E., Yang, L.: Improving mixing conditions on the grid for counting and sampling independent sets. Probab. Theory Relat. Fields 156, 75–99 (2013)CrossRefMATH
26.
Zurück zum Zitat Blanca, A., Galvin, D., Randall, D., Tetali, P.: Phase coexistence for the hard-core model on \(\mathbb{Z}^2\). In: 17th International Workshop on Randomization and Computation (RANDOM 2013), pp. 379–394 (2013) Blanca, A., Galvin, D., Randall, D., Tetali, P.: Phase coexistence for the hard-core model on \(\mathbb{Z}^2\). In: 17th International Workshop on Randomization and Computation (RANDOM 2013), pp. 379–394 (2013)
27.
Zurück zum Zitat Levin, D.A., Peres, Y., Wilmer, E.L.: Markov Chains and Mixing Times. American Mathematical Society, Providence (2009)MATH Levin, D.A., Peres, Y., Wilmer, E.L.: Markov Chains and Mixing Times. American Mathematical Society, Providence (2009)MATH
28.
Zurück zum Zitat Bruguière, C., Tiberghien, A., Clément, P.: Introduction. In: Bruguière, C., Tiberghien, A., Clément, P. (eds.) Topics and Trends in Current Science Education. CSER, vol. 1, pp. 3–18. Springer, Dordrecht (2014). doi:10.1007/978-94-007-7281-6_1 CrossRef Bruguière, C., Tiberghien, A., Clément, P.: Introduction. In: Bruguière, C., Tiberghien, A., Clément, P. (eds.) Topics and Trends in Current Science Education. CSER, vol. 1, pp. 3–18. Springer, Dordrecht (2014). doi:10.​1007/​978-94-007-7281-6_​1 CrossRef
29.
30.
Zurück zum Zitat Derakhshandeh, Z., Gmyr, R., Richa, A.W., Scheideler, C., Strothmann, T.: Universal coating for programmable matter. Theoret. Comput. Sci. 671, 56–68 (2017)MathSciNetCrossRefMATH Derakhshandeh, Z., Gmyr, R., Richa, A.W., Scheideler, C., Strothmann, T.: Universal coating for programmable matter. Theoret. Comput. Sci. 671, 56–68 (2017)MathSciNetCrossRefMATH
Metadaten
Titel
A Stochastic Approach to Shortcut Bridging in Programmable Matter
verfasst von
Marta Andrés Arroyo
Sarah Cannon
Joshua J. Daymude
Dana Randall
Andréa W. Richa
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-66799-7_9