The Orbit Problem for parametric linear dynamical systems

The Orbit Problem for parametric linear dynamical systems

We study a parametric version of the Kannan-Lipton Orbit Problem for linear dynamical systems. We show decidability in the case of one parameter and Skolem-hardness with two or more parameters. More precisely, consider a d-dimensional square matrix M whose entries are algebraic functions in one or m...

書目詳細資料
Main Authors:	Baier, C, Jantsch, S, Lefaucheux, E, Ouaknine, J, Whiteland, MA, Funke, F, Karimov, T, Luca, F, Purser, D, Worrell, J
格式:	Conference item
語言:	English
出版:	Dagstuhl Research Online Publication Server 2021

相似書籍

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
由: Baier, C, et al.
出版: (2022)

What's decidable about linear loops?
由: Karimov, T, et al.
出版: (2022)

Porous invariants for linear systems
由: Lefaucheux, E, et al.
出版: (2024)

On the complexity of the Escape Problem for linear dynamical systems over compact semialgebraic sets
由: D'Costa, J, et al.
出版: (2021)

Porous invariants
由: Lefaucheux, E, et al.
出版: (2021)

On LTL model-checking for low-dimensional discrete linear dynamical systems
由: Karimov, T, et al.
出版: (2020)

The pseudo-reachability problem for diagonalisable linear dynamical systems
由: D'Costa, J, et al.
出版: (2022)

On positivity and minimality for second-order holonomic sequences
由: Kenison, G, et al.
出版: (2021)

The Semialgebraic Orbit Problem
由: Almagor, S, et al.
出版: (2019)

Bounding the escape time of a linear dynamical system over a compact semialgebraic set
由: D'Costa, J, et al.
出版: (2022)

On the skolem problem for continuous linear dynamical systems
由: Chonev, V, et al.
出版: (2016)

On the Skolem Problem for continuous linear dynamical systems
由: Ouaknine, J, et al.
出版: (2016)

On the complexity of the orbit problem
由: Chonev, V, et al.
出版: (2016)

On the complexity of the orbit problem
由: Chonev, V, et al.
出版: (2016)

Algebraic model checking for discrete linear dynamical systems
由: Luca, F, et al.
出版: (2022)

The orbit problem in higher dimensions
由: Chonev, V, et al.
出版: (2013)

The 2-dimensional constraint loop problem is decidable
由: Guilmant, Q, et al.
出版: (2024)

On the polytope escape problem for continuous linear dynamical systems
由: Ouaknine, J, et al.
出版: (2017)

Decision Problems for Linear Recurrence Sequences.
由: Ouaknine, J, et al.
出版: (2012)

On the Monniaux Problem in abstract interpretation
由: Fijalkow, N, et al.
出版: (2019)

Deciding ω-regular properties on linear recurrence sequences
由: Almagor, S, et al.
出版: (2021)

On recurrent reachability for continuous linear dynamical systems
由: Ouaknine, J, et al.
出版: (2016)

On recurrent reachability for continuous linear dynamical systems
由: Chonev, V, et al.
出版: (2016)

On the Skolem problem and the Skolem conjecture
由: Lipton, RJ, et al.
出版: (2022)

Invariants for continuous linear dynamical systems
由: Kelmendi, E, et al.
出版: (2020)

First-order orbit queries
由: Almagor, S, et al.
出版: (2020)

Semialgebraic invariant synthesis for the Kannan-Lipton Orbit Problem
由: Fijalkow, N, et al.
出版: (2017)

Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem
由: Fijalkow, N, et al.
出版: (2017)

Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem
由: Fijalkow, N, et al.
出版: (2019)

How fast can you escape a compact polytope?
由: D'Costa, J, et al.
出版: (2020)

On the decidability of Presburger arithmetic expanded with powers
由: Karimov, T, et al.
出版: (2025)

Reachability in Succinct and Parametric One−Counter Automata
由: Haase, C, et al.
出版: (2009)

Reachability in Succinct and Parametric One-Counter Automata
由: Haase, C, et al.
出版: (2009)

Model Checking Succinct and Parametric One-Counter Automata.
由: Göller, S, et al.
出版: (2010)

Model Checking Succinct and Parametric One−Counter Automata
由: Göller, S, et al.
出版: (2010)

Branching−Time Model Checking of Parametric One−Counter Automata
由: Göller, S, et al.
出版: (2012)

Branching-time model checking of parametric one-counter automata
由: Göller, S, et al.
出版: (2012)

Skolem meets Schanuel
由: Bilu, Y, et al.
出版: (2022)

Termination of linear loops over the integers
由: Hosseini, M, et al.
出版: (2019)

The pseudo-Skolem Problem is decidable
由: D'Costa, J, et al.
出版: (2021)