In the context of Programmable Matter (PM), we consider the Coating problem. A swarm of weak and self-organizing computational entities, called particles, are required to move so as to ensure the closed surrounding of an object. As a model for PM, we consider the SILBOT, where asynchronous particles are modeled as finite state automata, living and operating on a triangular grid embedded in the plane. So far, within SILBOT, the Coating problem has been investigated for n particles sharing a common handedness, i.e., chirality. Here we investigate the case where particles share the direction of one axis of the coordinate system instead of chirality. We present a time optimal deterministic distributed algorithm – along with the correctness proof, that in Θ(n2) rounds solves the Coating problem, where a round concerns the minimal time window within which each particle is activated at least once.
Coating in SILBOT with One Axis Agreement / Navarra, Alfredo; Piselli, Francesco. - ELETTRONICO. - 14931 LNCS:(2025), pp. 177-192. (Intervento presentato al convegno 26th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2024 tenutosi a jpn nel 2024) [10.1007/978-3-031-74498-3_13].
Coating in SILBOT with One Axis Agreement
Navarra, Alfredo;Piselli, Francesco
2025
Abstract
In the context of Programmable Matter (PM), we consider the Coating problem. A swarm of weak and self-organizing computational entities, called particles, are required to move so as to ensure the closed surrounding of an object. As a model for PM, we consider the SILBOT, where asynchronous particles are modeled as finite state automata, living and operating on a triangular grid embedded in the plane. So far, within SILBOT, the Coating problem has been investigated for n particles sharing a common handedness, i.e., chirality. Here we investigate the case where particles share the direction of one axis of the coordinate system instead of chirality. We present a time optimal deterministic distributed algorithm – along with the correctness proof, that in Θ(n2) rounds solves the Coating problem, where a round concerns the minimal time window within which each particle is activated at least once.I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.



