Skip to main content

2017 | OriginalPaper | Buchkapitel

Data Collection in Population Protocols with Non-uniformly Random Scheduler

verfasst von : Joffroy Beauquier, Janna Burman, Shay Kutten, Thomas Nowak, Chuan Xu

Erschienen in: Algorithms for Sensor Systems

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

Contrary to many previous studies on population protocols using the uniformly random scheduler, we consider a more general non-uniform case. Here, pair-wise interactions between agents (moving and communicating devices) are assumed to be drawn non-uniformly at random. While such a scheduler is known to be relevant for modeling many practical networks, it is also known to make the formal analysis more difficult.
This study concerns data collection, a fundamental problem in mobile sensor networks (one of the target networks of population protocols). In this problem, pieces of information given to the agents (e.g., sensed values) should be delivered eventually to a predefined sink node without loss or duplication. Following an idea of the known deterministic protocol \({\mathrm {TTF}}\) solving this problem, we propose an adapted version of it and perform a complete formal analysis of execution times in expectation and with high probability (w.h.p.).
We further investigate the non-uniform model and address the important issue of energy consumption. The goal is to improve \({\mathrm {TTF}}\) in terms of energy complexity, while still keeping good time complexities (in expectation and w.h.p.). Namely, we propose a new parametrized protocol for data collection, called lazy \({\mathrm {TTF}}\), and present a study showing that a good choice of the protocol parameters can improve energy performances (compared to \({\mathrm {TTF}}\)), at a slight expense of time performance.

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
An event \(\varXi \) is said to occur w.h.p., if \(\mathbb {P}(\varXi )\ge 1-\frac{1}{n^c}\), where \(c\ge 1\).
 
Literatur
1.
Zurück zum Zitat Angluin, D., Aspnes, J., Diamadi, Z., Fischer, M.J., Peralta, R.: Computation in networks of passively mobile finite-state sensors. In: Proceedings of 23rd Annual ACM Symposium on Principles of Distributed Computing, pp. 290–299 (2004) Angluin, D., Aspnes, J., Diamadi, Z., Fischer, M.J., Peralta, R.: Computation in networks of passively mobile finite-state sensors. In: Proceedings of 23rd Annual ACM Symposium on Principles of Distributed Computing, pp. 290–299 (2004)
2.
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
4.
Zurück zum Zitat Alistarh, D., Gelashvili, R., Vojnović, M.: Fast and exact majority in population protocols. In: Proceedings of 2015 ACM Symposium on Principles of Distributed Computing, pp. 47–56. ACM (2015) Alistarh, D., Gelashvili, R., Vojnović, M.: Fast and exact majority in population protocols. In: Proceedings of 2015 ACM Symposium on Principles of Distributed Computing, pp. 47–56. ACM (2015)
5.
Zurück zum Zitat Aspnes, J., Beauquier, J., Burman, J., Sohier, D.: Time and space optimal counting in population protocols. In: OPODIS 2016, pp. 13:1–13:17 (2016) Aspnes, J., Beauquier, J., Burman, J., Sohier, D.: Time and space optimal counting in population protocols. In: OPODIS 2016, pp. 13:1–13:17 (2016)
6.
Zurück zum Zitat Sharma, G., Mazumdar, R.R.: Scaling laws for capacity and delay in wireless ad hoc networks with random mobility. In: 2004 IEEE International Conference on Communications, vol. 7, pp. 3869–3873 (2004) Sharma, G., Mazumdar, R.R.: Scaling laws for capacity and delay in wireless ad hoc networks with random mobility. In: 2004 IEEE International Conference on Communications, vol. 7, pp. 3869–3873 (2004)
7.
Zurück zum Zitat Cai, H., Eun, D.Y.: Crossing over the bounded domain: from exponential to power-law inter-meeting time in manet. In: Proceedings of 13th Annual ACM International Conference on Mobile Computing and Networking, pp. 159–170 (2007) Cai, H., Eun, D.Y.: Crossing over the bounded domain: from exponential to power-law inter-meeting time in manet. In: Proceedings of 13th Annual ACM International Conference on Mobile Computing and Networking, pp. 159–170 (2007)
8.
Zurück zum Zitat Zhu, H., Fu, L., Xue, G., Zhu, Y., Li, M., Ni, L.M.: Recognizing exponential inter-contact time in vanets. In: 2010 Proceedings of INFOCOM, pp. 1–5 (2010) Zhu, H., Fu, L., Xue, G., Zhu, Y., Li, M., Ni, L.M.: Recognizing exponential inter-contact time in vanets. In: 2010 Proceedings of INFOCOM, pp. 1–5 (2010)
9.
Zurück zum Zitat Gao, W., Cao, G.: User-centric data dissemination in disruption tolerant networks. In: Proceedings of IEEE INFOCOM 2011, pp. 3119–3127 (2011) Gao, W., Cao, G.: User-centric data dissemination in disruption tolerant networks. In: Proceedings of IEEE INFOCOM 2011, pp. 3119–3127 (2011)
10.
Zurück zum Zitat Beauquier, J., Burman, J., Clement, J., Kutten, S.: On utilizing speed in networks of mobile agents. In: Proceedings of 29th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pp. 305–314 (2010) Beauquier, J., Burman, J., Clement, J., Kutten, S.: On utilizing speed in networks of mobile agents. In: Proceedings of 29th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pp. 305–314 (2010)
11.
Zurück zum Zitat Xu, C., Burman, J., Beauquier, J.: Power-aware population protocols. In: 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS), pp. 2067–2074, June 2017 Xu, C., Burman, J., Beauquier, J.: Power-aware population protocols. In: 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS), pp. 2067–2074, June 2017
13.
Zurück zum Zitat Alistarh, D., Aspnes, J., Eisenstat, D., Gelashvili, R., Rivest, R.L.: Time-space trade-offs in population protocols. In: Proceedings of 28th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017, pp. 2560–2579 (2017) Alistarh, D., Aspnes, J., Eisenstat, D., Gelashvili, R., Rivest, R.L.: Time-space trade-offs in population protocols. In: Proceedings of 28th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017, pp. 2560–2579 (2017)
15.
Zurück zum Zitat Flajolet, P., Gardy, D., Thimonier, L.: Birthday paradox, coupon collectors, caching algorithms and self-organizing search. Discret. Appl. Math. 39(3), 207–229 (1992)MathSciNetCrossRefMATH Flajolet, P., Gardy, D., Thimonier, L.: Birthday paradox, coupon collectors, caching algorithms and self-organizing search. Discret. Appl. Math. 39(3), 207–229 (1992)MathSciNetCrossRefMATH
17.
Zurück zum Zitat Angluin, D., Aspnes, J., Eisenstat, D.: A simple population protocol for fast robust approximate majority. Distrib. Comput. 21, 87–102 (2008)CrossRefMATH Angluin, D., Aspnes, J., Eisenstat, D.: A simple population protocol for fast robust approximate majority. Distrib. Comput. 21, 87–102 (2008)CrossRefMATH
20.
Zurück zum Zitat Ferrante, M., Saltalamacchia, M.: The coupon collector’s problem. Mater. Matemàtics 2014(2), 35 (2014) Ferrante, M., Saltalamacchia, M.: The coupon collector’s problem. Mater. Matemàtics 2014(2), 35 (2014)
21.
Zurück zum Zitat Nakata, T.: Coupon collector’s problem with unlike probabilities (2008, preprint) Nakata, T.: Coupon collector’s problem with unlike probabilities (2008, preprint)
22.
Zurück zum Zitat Tsitsiklis, J.N., Bertsekas, D.P., Athans, M.: Distributed asynchronous deterministic and stochastic gradient optimization algorithms. In: American Control Conference 1984, pp. 484–489 (1984) Tsitsiklis, J.N., Bertsekas, D.P., Athans, M.: Distributed asynchronous deterministic and stochastic gradient optimization algorithms. In: American Control Conference 1984, pp. 484–489 (1984)
23.
Zurück zum Zitat Jadbabaie, A., Lin, J., Morse, A.S.: Coordination of groups of mobile autonomous agents using nearest neighbor rules. IEEE Trans. Autom. Control 48(6), 988–1001 (2003)MathSciNetCrossRefMATH Jadbabaie, A., Lin, J., Morse, A.S.: Coordination of groups of mobile autonomous agents using nearest neighbor rules. IEEE Trans. Autom. Control 48(6), 988–1001 (2003)MathSciNetCrossRefMATH
24.
Zurück zum Zitat Ren, W., Beard, R.W., et al.: Consensus seeking in multiagent systems under dynamically changing interaction topologies. IEEE Trans. Autom. Control 50(5), 655–661 (2005)MathSciNetCrossRefMATH Ren, W., Beard, R.W., et al.: Consensus seeking in multiagent systems under dynamically changing interaction topologies. IEEE Trans. Autom. Control 50(5), 655–661 (2005)MathSciNetCrossRefMATH
26.
Zurück zum Zitat Helmberg, C., Rendl, F., Vanderbei, R.J., Wolkowicz, H.: An interior-point method for semidefinite programming. SIAM J. Optim. 6(2), 342–361 (1996)MathSciNetCrossRefMATH Helmberg, C., Rendl, F., Vanderbei, R.J., Wolkowicz, H.: An interior-point method for semidefinite programming. SIAM J. Optim. 6(2), 342–361 (1996)MathSciNetCrossRefMATH
27.
Zurück zum Zitat Razzaque, M.A., Dobson, S.: Energy-efficient sensing in wireless sensor networks using compressed sensing. Sensors 14(2), 2822–2859 (2014)CrossRef Razzaque, M.A., Dobson, S.: Energy-efficient sensing in wireless sensor networks using compressed sensing. Sensors 14(2), 2822–2859 (2014)CrossRef
28.
Zurück zum Zitat Rajendran, V., Obraczka, K., Garcia-Luna-Aceves, J.J.: Energy-efficient, collision-free medium access control for wireless sensor networks. Wirel. Netw. 12(1), 63–78 (2006)CrossRef Rajendran, V., Obraczka, K., Garcia-Luna-Aceves, J.J.: Energy-efficient, collision-free medium access control for wireless sensor networks. Wirel. Netw. 12(1), 63–78 (2006)CrossRef
Metadaten
Titel
Data Collection in Population Protocols with Non-uniformly Random Scheduler
verfasst von
Joffroy Beauquier
Janna Burman
Shay Kutten
Thomas Nowak
Chuan Xu
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-72751-6_2