On the skolem problem for continuous linear dynamical systems
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 continuoustime Markov cha...
| Principais autores: | , , |
|---|---|
| Formato: | Conference item |
| Publicado em: |
Schloss Dagstuhl – Leibniz Center for Informatics
2016
|