Conference icon

Conference

On recurrent reachability for continuous linear dynamical systems

Abstract:

The continuous evolution of a wide variety of systems, including continous-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
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Publisher:
Association for Computing Machinery Publisher's website
Publication date:
2016-04-05
DOI:
URN:
uuid:7e40a52e-1b71-4fb0-b58e-053f0b04d4f0
Source identifiers:
619303
Local pid:
pubs:619303

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