The pseudo-Skolem Problem is decidable
We study fundamental decision problems on linear dynamical systems in discrete time. We focus on pseudo-orbits, the collection of trajectories of the dynamical system for which there is an arbitrarily small perturbation at each step. Pseudo-orbits are generalizations of orbits in the topological the...
Auteurs principaux: | D'Costa, J, Karimov, T, Majumdar, R, Ouaknine, J, Salamati, M, Soudjani, S, Worrell, J |
---|---|
Format: | Conference item |
Langue: | English |
Publié: |
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2021
|
Documents similaires
-
On the Skolem problem and the Skolem conjecture
par: Lipton, RJ, et autres
Publié: (2022) -
The pseudo-reachability problem for diagonalisable linear dynamical systems
par: D'Costa, J, et autres
Publié: (2022) -
On the Skolem problem and prime powers
par: Ouaknine, J, et autres
Publié: (2020) -
On the skolem problem for continuous linear dynamical systems
par: Chonev, V, et autres
Publié: (2016) -
On the Skolem Problem for continuous linear dynamical systems
par: Ouaknine, J, et autres
Publié: (2016)