Bounding the escape time of a linear dynamical system over a compact semialgebraic set

DOI10.4230/LIPICS.MFCS.2022.39MaRDI QIDQ6584036zbMATH OpenFDO

Authors Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell

Publication date 6 August 2024

zbMATH Keywords

program terminationdiscrete linear dynamical systemscompact semialgebraic setsuniform termination bounds

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Bounding the escape time of a linear dynamical system over a compact semialgebraic set

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6584036)