%0 Unpublished work
%T Self-stabilisation of cellular automata on tilings
%+ Designing the Future of Computational Models (MOCQUA)
%+ Institut Élie Cartan de Lorraine (IECL)
%+ Department of mathematics [Beirut]
%A Fatès, Nazim, A.
%A Marcovici, Irène
%A Taati, Siamak
%Z The work of ST was partially supported by NWO grant 612.001.409.
%Z extended version of a paper published in the proceedings of Reachability 2019 https://hal.archives-ouvertes.fr/hal-02159155
%8 2021-02-01
%D 2021
%Z 2101.12682
%K tilings
%K shifts of finite type
%K cellular automata
%K self-stabilisation
%K noise
%K fault-tolerance
%K reliable computing
%K symbolic dynamics
%Z Nonlinear Sciences [physics]/Cellular Automata and Lattice Gases [nlin.CG]Preprints, Working Papers, ...
%X Given a finite set of local constraints, we seek a cellular automaton (i.e., a local and parallel algorithm) that self-stabilises on the configurations that satisfy these constraints. More precisely, starting from a finite perturbation of a valid configuration, the cellular automaton must eventually fall back to the space of valid configurations where it remains still. We allow the cellular automaton to use extra symbols, but in that case, the extra symbols can also appear in the initial finite perturbation. For several classes of local constraints (e.g., $k$-colourings with $k\neq 3$, and North-East deterministic constraints), we provide efficient self-stabilising cellular automata with or without additional symbols that wash out finite perturbations in linear or quadratic time, but also show that there are examples of local constraints for which the self-stabilisation problem is inherently hard. We also consider probabilistic cellular automata rules and show that in some cases, the use of randomness simplifies the problem. In the deterministic case, we show that if finite perturbations are corrected in linear time, then the cellular automaton self-stabilises even starting from a random perturbation of a valid configuration, that is, when errors in the initial configuration occur independently with a sufficiently low density.
%G English
%L hal-03127876
%U https://inria.hal.science/hal-03127876
%~ CNRS
%~ INRIA
%~ IECN
%~ INRIA_TEST
%~ INRIA-LORRAINE
%~ LORIA2
%~ INRIA-NANCY-GRAND-EST
%~ TESTALAIN1
%~ UNIV-LORRAINE
%~ INRIA2
%~ TDS-MACS
%~ LORIA
%~ LORIA-FM
%~ IECLPS