On recurrent reachability for continuous linear dynamical systems
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...
| Huvudupphovsmän: | , , |
|---|---|
| Materialtyp: | Conference item |
| Publicerad: |
Association for Computing Machinery
2016
|
Liknande verk
Reachability in Succinct and Parametric One−Counter Automata
av: Haase, C, et al.
Publicerad: (2009)
av: Haase, C, et al.
Publicerad: (2009)