9 citations · 18 across the 5 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
nlin.CG2025
Regional Controllability of Cellular Automata as a SAT Problem
Franco Bagnoli, Sara Dridi, Nazim Fates
Controllability, one of the fundamental concepts in control theory, consists in guiding a system from an initial state to a desired one within a limited (and possibly minimum) time…
math.DS2025★ 1 cited
New Characterization of regional controllability and controllability of deterministic cellular automata via topological and symbolic dynamics notions
Sara Dridi
This article presents a new characterization of controllability and regional controllability of Deterministic Cellular Automata (CA for short). It focuses on analyzing these proble…