On Recurrent Reachability for Continuous Linear Dynamical Systems

DOI10.1145/2933575.2934548zbMath1388.68044arXiv1507.03632OpenAlexW2386123026MaRDI QIDQ4635910

Ventsislav Chonev, Joël Ouaknine, James Worrell

Publication date: 23 April 2018

Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1507.03632

zbMATH Keywords

reachabilitydifferential equationsDiophantine approximationlinear dynamical systemsSkolem problem

Mathematics Subject Classification ID

Related Items (2)

Exact solutions in log-concave maximum likelihood estimation ⋮ A Survey on Analog Models of Computation

This page was built for publication: On Recurrent Reachability for Continuous Linear Dynamical Systems