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

DOI10.4230/LIPICS.MFCS.2022.39MaRDI QIDQ6584036FDOQ6584036

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)