The pseudo-reachability problem for diagonalisable linear dynamical systems
We study fundamental reachability problems on pseudo-orbits of linear dynamical systems. Pseudo-orbits can be viewed as a model of computation with limited precision and pseudo-reachability can be thought of as a robust version of classical reachability. Using an approach based on <i>o</i&g...
Main Authors: | D'Costa, J, Karimov, T, Majumdar, R, Ouaknine, J, Salamati, M, Worrell, J |
---|---|
Format: | Conference item |
Language: | English |
Published: |
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
2022
|
Similar Items
-
The pseudo-Skolem Problem is decidable
by: D'Costa, J, et al.
Published: (2021) -
On recurrent reachability for continuous linear dynamical systems
by: Ouaknine, J, et al.
Published: (2016) -
On recurrent reachability for continuous linear dynamical systems
by: Chonev, V, et al.
Published: (2016) -
On the decidability of reachability in linear time-invariant systems
by: Fijalkow, N, et al.
Published: (2019) -
On reachability problems for low-dimensional matrix semigroups
by: Colcombet, T, et al.
Published: (2019)