The pseudo-reachability problem for diagonalisable linear dynamical systems

DOI10.4230/LIPICS.MFCS.2022.40MaRDI QIDQ6584037FDOQ6584037

Authors: Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, James Worrell 

Publication date: 6 August 2024

zbMATH Keywords

reachabilityorbit problempseudo-orbitslinear dynamical systemsSkolem problem

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited In (2)

• On robustness for the Skolem, positivity and ultimate positivity problems
• Model checking linear dynamical systems under floating-point rounding

This page was built for publication: The pseudo-reachability problem for diagonalisable linear dynamical systems

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