%0 Journal Article %T A graph theory approach for regional controllability of Boolean cellular automata %+ Université de Perpignan Via Domitia (UPVD) %+ Université de Florence %+ Institut de Modélisation et d'Analyses en géo-environnement et santé - Espace Développement (IMAGES-Espace DEV) %+ UMR 228 Espace-Dev, Espace pour le développement %+ Université des Antilles et de la Guyane - UFR des sciences médicales (UAG UFR SM) %A Dridi, Sara %A El Yacoubi, Samira %A Bagnoli, Franco %A Fontaine, Allyx %< avec comité de lecture %@ 1744-5760 %J International Journal of Parallel, Emergent and Distributed Systems %I Taylor & Francis %8 2019-04-29 %D 2019 %R 10.1080/17445760.2019.1608442 %K Regional controllability %K deterministic cellular automata %K graph theory %K Hamiltonian circuit %K strongly connected component %Z Computer Science [cs]Journal articles %X Controllability is one of the central concepts of modern control theory that allows a good understanding of a system's behaviour. It consists in constraining a system to reach the desired state from an initial state within a given time interval. When the desired objective affects only a sub-region of the domain, the control is said to be regional. The purpose of this paper is to study a particular case of regional control using cellular automata models since they are spatially extended systems where spatial properties can be easily defined thanks to their intrinsic locality. We investigate the case of boundary controls on the target region using an original approach based on graph theory. Necessary and sufficient conditions are given based on the Hamiltonian circuit and strongly connected component. The controls are obtained using a preimage approach %G English %L hal-02142983 %U https://univ-perp.hal.science/hal-02142983 %~ UNIV-AVIGNON %~ UNIV-AG %~ AFRIQ %~ UNIV-PERP %~ ESPACE-DEV %~ AGROPOLIS %~ GUYANE %~ MIPS %~ UNIV-MONTPELLIER %~ UM-2015-2021