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...
Auteurs principaux: | Baier, C, Jantsch, S, Lefaucheux, E, Ouaknine, J, Whiteland, MA, Funke, F, Karimov, T, Luca, F, Purser, D, Worrell, J |
---|---|
Format: | Conference item |
Langue: | English |
Publié: |
Dagstuhl Research Online Publication Server
2021
|
Documents similaires
-
Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
par: Baier, C, et autres
Publié: (2022) -
What's decidable about linear loops?
par: Karimov, T, et autres
Publié: (2022) -
Porous invariants for linear systems
par: Lefaucheux, E, et autres
Publié: (2024) -
On the complexity of the Escape Problem for linear dynamical systems over compact semialgebraic sets
par: D'Costa, J, et autres
Publié: (2021) -
Porous invariants
par: Lefaucheux, E, et autres
Publié: (2021)