Conference item icon

Conference item

On recurrent reachability for continuous linear dynamical systems

Abstract:

The continuous evolution of a wide variety of systems, including continuous-time Markov chains and linear hybrid automata, can be described in terms of linear differential equations. In this paper we study the decision problem of whether the solution x(t) of a system of linear differential equations dx/dt = Ax reaches a target halfspace infinitely often. This recurrent reachability problem can equivalently be formulated as the following Infinite Zeros Problem: does a real-valued function f: R...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted manuscript

Actions


Access Document


Files:
Publisher copy:
10.1145/2933575.2934548

Authors


More by this author
Department:
St Johns College
More by this author
Department:
Green Templeton College
Austrian Science Fund More from this funder
Publisher:
Association for Computing Machinery Publisher's website
Publication date:
2016-07-05
Acceptance date:
2016-04-04
DOI:
ISSN:
1043-6871
Pubs id:
pubs:532121
URN:
uri:da71face-32f6-4e5c-a132-820497bab752
UUID:
uuid:da71face-32f6-4e5c-a132-820497bab752
Local pid:
pubs:532121

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