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