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...
主要な著者: | D'Costa, J, Karimov, T, Majumdar, R, Ouaknine, J, Salamati, M, Soudjani, S, Worrell, J |
---|---|
フォーマット: | Conference item |
言語: | English |
出版事項: |
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2021
|
類似資料
-
On the Skolem problem and the Skolem conjecture
著者:: Lipton, RJ, 等
出版事項: (2022) -
The pseudo-reachability problem for diagonalisable linear dynamical systems
著者:: D'Costa, J, 等
出版事項: (2022) -
On the Skolem problem and prime powers
著者:: Ouaknine, J, 等
出版事項: (2020) -
On the skolem problem for continuous linear dynamical systems
著者:: Chonev, V, 等
出版事項: (2016) -
On the Skolem Problem for continuous linear dynamical systems
著者:: Ouaknine, J, 等
出版事項: (2016)