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) -
Reachability and escape problems in linear dynamical systems
by: Dcosta, J
Published: (2024) -
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 complexity of the Escape Problem for linear dynamical systems over compact semialgebraic sets
by: D'Costa, J, et al.
Published: (2021)