On recurrent reachability for continuous linear dynamical systems

On recurrent reachability for continuous linear dynamical systems

Show other versions (1)

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

Descrición completa

Detalles Bibliográficos
Main Authors: Ouaknine, J, Chonev, V, Worrell, J
Formato: Conference item
Publicado: Association for Computing Machinery 2016

Títulos similares

Títulos similares