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...
Main Authors: | , , |
---|---|
Format: | Conference item |
Published: |
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2016
|