General control of linear cellular automata
📄 arXiv:2604.10076 · 📥 PDF · 2026-04-11 · nlin.CG
Authors: Franco Bagnoli [arXiv · scholar] , Sara Dridi [arXiv · scholar] , Bassem Sellami [arXiv · scholar] , Amira Mouakher [arXiv · scholar] , Samira El Yacoubi [arXiv · scholar]
🕰 Orloj analysis
Tento článek vyvíjí obecnou teorii pro řízení lineárních a afinních celulárních automatů, což je oblast, kde stávající teorie řízení diskrétních systémů selhává. Autoři zavádějí koncept matice řiditelnosti a dokazují, že systém je řiditelný právě tehdy, když je tato matice invertibilní, aplikujíce to na 1D a 2D Booleovské případy.
💡 Práce představuje významný teoretický pokrok v oblasti řízení diskrétních systémů, který má potenciální hodnotu pro modelování komplexních systémů, ale její přímá aplikovatelnost na fyzikální problémy vyžaduje další rozpracování.
Categories:
THE-20
INF-3
EMG-2
INF-2
✓ falsifiable, limit_reductions
📄 Abstract
In mathematics and engineering, control theory is concerned with the analysis of dynamical systems through the application of suitable control inputs. One of the prominent problems in control theory is controllability which concerns the ability to determine whether there exists a control input that can steer a dynamical system from an initial state to a desired final state within a finite time horizon. There is a general theory for controlling linear or linearizable system, but it cannot be applied to discrete systems like cellular automata, which is the problem of that we address in this paper. We develop a general theory for linear (and affine) cellular automata, and apply it to examples of one-dimensional and two-dimensional Boolean cases. We introduce the concept of controllability matrix and show that controllability holds if and only if the controllability matrix is invertible.