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

Description complète

Détails bibliographiques
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