Recent advances in regional controllability of cellular automata

Abstract : The issue addressed in this thesis concerns the controllability of a class of discrete spatio-temporal systems named cellular automata (CA). The purpose of this study is to highlight new ways to prove the controllability of complex systems. Morespecifically, this thesis focuses on regional controllability which consists in restricting the study to a subregion of the domain where the system will have to achieve a given objective through targeted actions. The case of Boolean CA have been particularly examined throughout this thesis. The first part is devoted to the study of the problem of the regional controllability of deterministic CAs when the actions are exerted on the boundaries of the controlled region. A first approach that we used relies on Markov chains and controllability is characterized by establishing a matrix similar to their transition matrix using the definitions of a regular and ergodic chain. This study has been extended to the case of probabilistic CAs that are widely used tomodel many real phenomena. The same problem has been apprehended using tools of graph theory. We proposenecessary and sufficient conditions for the regional controllability of deterministic CAs using the notions of Hamiltonian circuit and strongly connected component. The control that ensures regional controllability is defined through a preimage algorithm.The second part is devoted to the problem of the boundary regional controllability of Boolean CAs, which consists of acting on the boundary of the domain in order to reach a desired goal in a target region. We first consider linear CAs for which we givea characterization result using the Kalman condition. We propose an algorithm to determine the control that allows to force the appearance of a desired configuration in the study area. The case of nonlinear CAs was also considered using a preimagesearch algorithm.
Document type :
Complete list of metadatas

Cited literature [112 references]  Display  Hide  Download
Contributor : Abes Star <>
Submitted on : Friday, December 20, 2019 - 10:13:08 AM
Last modification on : Tuesday, January 14, 2020 - 10:38:15 AM


Version validated by the jury (STAR)


  • HAL Id : tel-02420700, version 1


Sara Dridi. Recent advances in regional controllability of cellular automata. General Mathematics [math.GM]. Université de Perpignan; Università degli studi (Florence, Italie), 2019. English. ⟨NNT : 2019PERP0021⟩. ⟨tel-02420700⟩



Record views


Files downloads