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...
| Үндсэн зохиолчид: | , , , , , , |
|---|---|
| Формат: | Conference item |
| Хэл сонгох: | English |
| Хэвлэсэн: |
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2021
|