2015/07/13 · Abstract. We study the Continuous Infinite Zeros Problem, which asks whether a real-valued function f satisfying a given ordinary linear ...

This is a fundamental reachability problem arising in the analysis of continuous linear dynamical systems, including linear hybrid automata and continuous-time ...

If the Infinite Zeros Problem is decidable for ordinary differential equations of order at least 9, then this would entail a major breakthrough in ...

Ventsislav Chonev, Joël Ouaknine, James Worrell: On the Decidability of the Continuous Infinite Zeros Problem. CoRR abs/1507.03632 (2015).

We study the Continuous Infinite Zeros Problem, which asks whether a real-valued function $f$ satisfying a given ordinary linear differential equation has ...

This paper shows decidability of the bounded problem subject to Schanuel's conjecture, a central conjecture in transcendental number theory, and indicates a ...

Abstract. The Continuous Skolem Problem asks whether a real-valued function satisfying a linear differen- tial equation has a zero in a given interval of ...

Publications: [pdf] Reachability Problems for Linear Dynamical Systems. DPhil thesis. [pdf] On the Decidability of the Continuous Infinite Zeros Problem.

The nomenclature Continuous Skolem Problem arises by analogy with the Skolem Problem ... On the decidability of the continuous infinite zeros problem. CoRR, abs ...

Abstract: The Continuous Skolem Problem asks whether a real-valued function satisfying an ordinary linear differential equation has a zero in a given interval ...