A graph theory approach for regional controllability of Boolean cellular automata
Autor: | S. Dridi, Franco Bagnoli, S. El Yacoubi, Allyx Fontaine |
---|---|
Přispěvatelé: | Université de Perpignan Via Domitia (UPVD), Université de Florence, Università degli Studi di Firenze = University of Florence [Firenze] (UNIFI), 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é de Guyane (UG)-Université des Antilles (UA)-Institut de Recherche pour le Développement (IRD)-Université de Perpignan Via Domitia (UPVD)-Avignon Université (AU)-Université de La Réunion (UR)-Université de Montpellier (UM)-Université de Guyane (UG)-Université des Antilles (UA)-Institut de Recherche pour le Développement (IRD)-Université de Perpignan Via Domitia (UPVD)-Avignon Université (AU)-Université de La Réunion (UR)-Université de Montpellier (UM), Université de Guyane (UG)-Université des Antilles (UA)-Institut de Recherche pour le Développement (IRD)-Université de Perpignan Via Domitia (UPVD)-Avignon Université (AU)-Université de La Réunion (UR)-Université de Montpellier (UM), Université des Antilles et de la Guyane - UFR des sciences médicales (UAG UFR SM), Université des Antilles et de la Guyane (UAG) |
Jazyk: | angličtina |
Rok vydání: | 2019 |
Předmět: |
Theoretical computer science
Computer Networks and Communications Computer science deterministic cellular automata graph theory FOS: Physical sciences 0102 computer and information sciences 02 engineering and technology Systems and Control (eess.SY) 01 natural sciences Electrical Engineering and Systems Science - Systems and Control Hamiltonian circuit Control theory 0202 electrical engineering electronic engineering information engineering FOS: Electrical engineering electronic engineering information engineering [INFO]Computer Science [cs] Cellular Automata and Lattice Gases (nlin.CG) Graph theory Cellular automaton Controllability 010201 computation theory & mathematics 020201 artificial intelligence & image processing State (computer science) strongly connected component Nonlinear Sciences - Cellular Automata and Lattice Gases Software Regional controllability |
Zdroj: | International Journal of Parallel, Emergent and Distributed Systems International Journal of Parallel, Emergent and Distributed Systems, Taylor & Francis, 2019, ⟨10.1080/17445760.2019.1608442⟩ |
ISSN: | 1744-5760 1744-5779 |
DOI: | 10.1080/17445760.2019.1608442⟩ |
Popis: | International audience; 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 |
Databáze: | OpenAIRE |
Externí odkaz: |