On the Skolem Problem for continuous linear dynamical systems

<p>The Continuous Skolem Problem asks whether a real-valued function satisfying a linear differential equation has a zero in a given interval of real numbers. This is a fundamental reachability problem for continuous linear dynamical systems, such as linear hybrid automata and continuous- time...

Full description

Bibliographic Details
Main Authors: Ouaknine, J, Worrell, J, Chonev, V
Format: Conference item
Published: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016