The pseudo-reachability problem for diagonalisable linear dynamical systems

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...

Szczegółowa specyfikacja

Opis bibliograficzny
Główni autorzy:	D'Costa, J, Karimov, T, Majumdar, R, Ouaknine, J, Salamati, M, Worrell, J
Format:	Conference item
Język:	English
Wydane:	Schloss Dagstuhl – Leibniz-Zentrum für Informatik 2022

Podobne zapisy

The pseudo-Skolem Problem is decidable
od: D'Costa, J, i wsp.
Wydane: (2021)

Reachability and escape problems in linear dynamical systems
od: Dcosta, J
Wydane: (2024)

On recurrent reachability for continuous linear dynamical systems
od: Ouaknine, J, i wsp.
Wydane: (2016)

On recurrent reachability for continuous linear dynamical systems
od: Chonev, V, i wsp.
Wydane: (2016)

On the complexity of the Escape Problem for linear dynamical systems over compact semialgebraic sets
od: D'Costa, J, i wsp.
Wydane: (2021)

On the decidability of reachability in linear time-invariant systems
od: Fijalkow, N, i wsp.
Wydane: (2019)

On LTL model-checking for low-dimensional discrete linear dynamical systems
od: Karimov, T, i wsp.
Wydane: (2020)

Reachability problems for linear dynamical systems
od: Chonev, V
Wydane: (2015)

On reachability problems for low-dimensional matrix semigroups
od: Colcombet, T, i wsp.
Wydane: (2019)

On the Relationship between Reachability Problems in Timed and Counter Automata
od: Haase, C, i wsp.
Wydane: (2012)

On the relationship between reachability problems in timed and counter automata
od: Haase, C, i wsp.
Wydane: (2012)

Nonnegativity problems for matrix semigroups
od: D'Costa, J, i wsp.
Wydane: (2024)

Bounding the escape time of a linear dynamical system over a compact semialgebraic set
od: D'Costa, J, i wsp.
Wydane: (2022)

The Orbit Problem for parametric linear dynamical systems
od: Baier, C, i wsp.
Wydane: (2021)

On the skolem problem for continuous linear dynamical systems
od: Chonev, V, i wsp.
Wydane: (2016)

On the Skolem Problem for continuous linear dynamical systems
od: Ouaknine, J, i wsp.
Wydane: (2016)

Reachability in Succinct and Parametric One−Counter Automata
od: Haase, C, i wsp.
Wydane: (2009)

Reachability in Succinct and Parametric One-Counter Automata
od: Haase, C, i wsp.
Wydane: (2009)

On the polytope escape problem for continuous linear dynamical systems
od: Ouaknine, J, i wsp.
Wydane: (2017)

Asymptotic orders of reachability in linear dynamic systems
od: Özveren, Cüneyt M
Wydane: (2005)

On reachability for hybrid automata over bounded time
od: Brihaye, T, i wsp.
Wydane: (2011)

Deciding ω-regular properties on linear recurrence sequences
od: Almagor, S, i wsp.
Wydane: (2021)

Decision Problems for Linear Recurrence Sequences.
od: Ouaknine, J, i wsp.
Wydane: (2012)

Invariants for continuous linear dynamical systems
od: Kelmendi, E, i wsp.
Wydane: (2020)

Algebraic model checking for discrete linear dynamical systems
od: Luca, F, i wsp.
Wydane: (2022)

Revisiting reachability in timed automata
od: Quaas, K, i wsp.
Wydane: (2017)

Algebraic invariants for linear hybrid automata
od: Majumdar, R, i wsp.
Wydane: (2020)

How fast can you escape a compact polytope?
od: D'Costa, J, i wsp.
Wydane: (2020)

On affine reachability problems
od: Jaax, S, i wsp.
Wydane: (2020)

What's decidable about linear loops?
od: Karimov, T, i wsp.
Wydane: (2022)

Asymptotic orders of reachability in perturbed linear systems
Wydane: (2003)

Asymptotic orders of reachability in perturbed linear systems
Wydane: (2003)

Robust online motion planning with reachable sets
od: Majumdar, Anirudha
Wydane: (2013)

Reachability and robust design in dynamic systems
od: Harwood, Stuart Maxwell
Wydane: (2016)

Porous invariants for linear systems
od: Lefaucheux, E, i wsp.
Wydane: (2024)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
od: Baier, C, i wsp.
Wydane: (2022)

Reachability problems in nondeterministic polynomial maps on the integers
od: Ko, SK, i wsp.
Wydane: (2018)

The reachability problem for two-dimensional vector addition systems with states
od: Blondin, M, i wsp.
Wydane: (2021)

On the decidability of Presburger arithmetic expanded with powers
od: Karimov, T, i wsp.
Wydane: (2025)

The Power of Positivity
od: Karimov, T, i wsp.
Wydane: (2023)