Lost in self-stabilization

Abstract : Let taand tba pair of relatively prime positive integers. We work on chains of n(ta+ tb) agents, each of them forming an upper and rightward directed path of the grid ℤ2, fromO = (0, 0) toM = (nta, ntb). We are interested on evolution rules such that, at each time step, an agent is randomly chosen on the chain and is allowed to jump to another site of the grid, with preservation of the connectivity of the chain, and the endpoints. The rules must be local, i.e. the decision of jumping or not only depends on the neighborhood of fixed size s of the randomly chosen agent, and not on the parameters ta, tb, n. In the paper, we design such a rule which, starting from any chain which does not crosses the continuous line segment [O,M], reorganizes the chain by iterate applications of the rule, in such a way such that it stabilizes into one of the best possible approximations of [O,M]. The stabilization is reached after O(n(ta+ tb))4) iterations.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01708088
Contributor : Frédéric Davesne <>
Submitted on : Tuesday, February 13, 2018 - 12:32:41 PM
Last modification on : Tuesday, November 19, 2019 - 2:30:57 AM

Links full text

Identifiers

Citation

Damien Regnault, Éric Rémila. Lost in self-stabilization. 40th International Symposium on Mathematical Foundations of Computer Science (MFCS 2015), Aug 2015, Milan, Italy. pp.432--443, ⟨10.1007/978-3-662-48057-1_34⟩. ⟨hal-01708088⟩

Share

Metrics

Record views

75