TY - GEN
T1 - Realization of periodic functions by self-stabilizing population protocols with synchronous handshakes
AU - Lamani, Anissa
AU - Yamashita, Masafumi
N1 - Publisher Copyright:
© Springer International Publishing AG 2016.
PY - 2016
Y1 - 2016
N2 - We consider in the following the problem of realizing periodic functions by a collection of finite state-agents that cooperate by interacting with each other. More formally, given a periodic non-negative integer function f that maps the set of non-negative integers N to itself, we aim in this paper at designing a distributed protocol with a state set Q and a subset S ⊆ Q, such that, for any initial configuration C0, with probability 1, there are a time instant t0 and a constant d ∈ N satisfying f(t + d) = νS(Ct) for all t ≥ t0, where νS(C) is the number of agents with a state in S in a configuration C. The model that we consider is a variant of the population protocol (PP) model in which we assume that each agent is involved in an interaction at each time instant t, hence the notion of synchronous handshakes. These additional assumptions on the model are necessary to solve the considered problem. We also assume that the interacting pairs are matched uniformly at random.
AB - We consider in the following the problem of realizing periodic functions by a collection of finite state-agents that cooperate by interacting with each other. More formally, given a periodic non-negative integer function f that maps the set of non-negative integers N to itself, we aim in this paper at designing a distributed protocol with a state set Q and a subset S ⊆ Q, such that, for any initial configuration C0, with probability 1, there are a time instant t0 and a constant d ∈ N satisfying f(t + d) = νS(Ct) for all t ≥ t0, where νS(C) is the number of agents with a state in S in a configuration C. The model that we consider is a variant of the population protocol (PP) model in which we assume that each agent is involved in an interaction at each time instant t, hence the notion of synchronous handshakes. These additional assumptions on the model are necessary to solve the considered problem. We also assume that the interacting pairs are matched uniformly at random.
UR - http://www.scopus.com/inward/record.url?scp=85006013135&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85006013135&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-49001-4_2
DO - 10.1007/978-3-319-49001-4_2
M3 - Conference contribution
AN - SCOPUS:85006013135
SN - 9783319490007
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 21
EP - 33
BT - Theory and Practice of Natural Computing - 5th International Conference, TPNC 2016, Proceedings
A2 - Vega-Rodríguez, Miguel A.
A2 - Martín-Vide, Carlos
A2 - Mizuki, Takaaki
PB - Springer Verlag
T2 - 5th International Conference on Theory and Practice of Natural Computing, TPNC 2016
Y2 - 12 December 2016 through 13 December 2016
ER -