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

Actions


Access Document


Authors


More by this author
Institution:
University of Oxford
Oxford college:
St John's College
Role:
Author
More by this author
Institution:
University of Oxford
Oxford college:
Green Templeton College
Role:
Author
Publisher:
Schloss Dagstuhl – Leibniz Center for Informatics
Host title:
43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)
Journal:
43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016) More from this journal
Volume:
55
Pages:
100:1-100:13
Publication date:
2016-08-01
Acceptance date:
2016-04-15
DOI:
ISSN:
1868-8969
Keywords:
Pubs id:
pubs:526192
UUID:
uuid:8df60f97-c14c-48ce-ba76-c736bd14ab38
Local pid:
pubs:526192
Source identifiers:
526192
Deposit date:
2017-08-01

Terms of use


Views and Downloads






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

TO TOP