Conference icon

Conference

On the Skolem Problem for continuous linear dynamical systems

Abstract:

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 Markov chains. Decidability of the problem is currently open—indeed decidability is open even for the sub-problem in which a zero is sought in a bounded interval. In this paper we show decidability of t...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Publisher's version

Actions


Access Document


Files:
Publisher copy:
10.4230/LIPIcs.ICALP.2016.100

Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik Publisher's website
Volume:
Leibniz International Proceedings in Informatics
Pages:
Article: 100
Publication date:
2016-07-05
DOI:
EISSN:
1868-8969
URN:
uuid:888ac1cc-0be7-4009-8763-c600a15f1029
Source identifiers:
619301
Local pid:
pubs:619301

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP