Conference item icon

Conference item

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 continuoustime 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 the ...

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
Department:
St Johns College
More by this author
Department:
Green Templeton College
Publisher:
Schloss Dagstuhl – Leibniz Center for Informatics Publisher's website
Publication date:
2016-08-05
Acceptance date:
2016-04-15
DOI:
ISSN:
1868-8969
Pubs id:
pubs:526192
URN:
uri:8df60f97-c14c-48ce-ba76-c736bd14ab38
UUID:
uuid:8df60f97-c14c-48ce-ba76-c736bd14ab38
Local pid:
pubs:526192

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