TY - GEN

T1 - Realization of periodic functions by self-stabilizing population protocols with synchronous handshakes

AU - Lamani, Anissa

AU - Yamashita, Masafumi

PY - 2016/1/1

Y1 - 2016/1/1

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 -