On recurrent reachability for continuous linear dynamical systems

On recurrent reachability for continuous linear dynamical systems

Taispeáin leaganacha eile (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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Ouaknine, J, Chonev, V, Worrell, J
Formáid:	Conference item
Foilsithe / Cruthaithe:	Association for Computing Machinery 2016

Míreanna comhchosúla

On recurrent reachability for continuous linear dynamical systems
de réir: Chonev, V, et al.
Foilsithe / Cruthaithe: (2016)

On the skolem problem for continuous linear dynamical systems
de réir: Chonev, V, et al.
Foilsithe / Cruthaithe: (2016)

On the Skolem Problem for continuous linear dynamical systems
de réir: Ouaknine, J, et al.
Foilsithe / Cruthaithe: (2016)

Reachability problems for linear dynamical systems
de réir: Chonev, V
Foilsithe / Cruthaithe: (2015)

The pseudo-reachability problem for diagonalisable linear dynamical systems
de réir: D'Costa, J, et al.
Foilsithe / Cruthaithe: (2022)

On the decidability of reachability in linear time-invariant systems
de réir: Fijalkow, N, et al.
Foilsithe / Cruthaithe: (2019)

Invariants for continuous linear dynamical systems
de réir: Kelmendi, E, et al.
Foilsithe / Cruthaithe: (2020)

On the polytope escape problem for continuous linear dynamical systems
de réir: Ouaknine, J, et al.
Foilsithe / Cruthaithe: (2017)

On reachability problems for low-dimensional matrix semigroups
de réir: Colcombet, T, et al.
Foilsithe / Cruthaithe: (2019)

Reachability in Succinct and Parametric One−Counter Automata
de réir: Haase, C, et al.
Foilsithe / Cruthaithe: (2009)

Reachability in Succinct and Parametric One-Counter Automata
de réir: Haase, C, et al.
Foilsithe / Cruthaithe: (2009)

On the Relationship between Reachability Problems in Timed and Counter Automata
de réir: Haase, C, et al.
Foilsithe / Cruthaithe: (2012)

On the relationship between reachability problems in timed and counter automata
de réir: Haase, C, et al.
Foilsithe / Cruthaithe: (2012)

Decision Problems for Linear Recurrence Sequences.
de réir: Ouaknine, J, et al.
Foilsithe / Cruthaithe: (2012)

On reachability for hybrid automata over bounded time
de réir: Brihaye, T, et al.
Foilsithe / Cruthaithe: (2011)

On the complexity of the orbit problem
de réir: Chonev, V, et al.
Foilsithe / Cruthaithe: (2016)

On the complexity of the orbit problem
de réir: Chonev, V, et al.
Foilsithe / Cruthaithe: (2016)

The orbit problem in higher dimensions
de réir: Chonev, V, et al.
Foilsithe / Cruthaithe: (2013)

Reachability and escape problems in linear dynamical systems
de réir: Dcosta, J
Foilsithe / Cruthaithe: (2024)

Qualimetry of reachability and response of linear dynamic systems
de réir: A. V. Voronin
Foilsithe / Cruthaithe: (2019-05-01)

Qualimetry of reachability and response of linear dynamic systems
de réir: A. V. Voronin
Foilsithe / Cruthaithe: (2019-05-01)

Asymptotic orders of reachability in linear dynamic systems
de réir: Özveren, Cüneyt M
Foilsithe / Cruthaithe: (2005)

Algebraic model checking for discrete linear dynamical systems
de réir: Luca, F, et al.
Foilsithe / Cruthaithe: (2022)

On LTL model-checking for low-dimensional discrete linear dynamical systems
de réir: Karimov, T, et al.
Foilsithe / Cruthaithe: (2020)

Deciding ω-regular properties on linear recurrence sequences
de réir: Almagor, S, et al.
Foilsithe / Cruthaithe: (2021)

Effective divergence analysis for linear recurrence sequences
de réir: Almagor, S, et al.
Foilsithe / Cruthaithe: (2018)

Revisiting reachability in timed automata
de réir: Quaas, K, et al.
Foilsithe / Cruthaithe: (2017)

Reachability of dimension-bounded linear systems
de réir: Yiliang Li, et al.
Foilsithe / Cruthaithe: (2023-01-01)

Asymptotic orders of reachability in perturbed linear systems
Foilsithe / Cruthaithe: (2003)

Asymptotic orders of reachability in perturbed linear systems
Foilsithe / Cruthaithe: (2003)

Porous invariants for linear systems
de réir: Lefaucheux, E, et al.
Foilsithe / Cruthaithe: (2024)

Continuous-Time Stochastic Games with Time-Bounded Reachability.
de réir: Brázdil, T, et al.
Foilsithe / Cruthaithe: (2009)

On the complexity of the Escape Problem for linear dynamical systems over compact semialgebraic sets
de réir: D'Costa, J, et al.
Foilsithe / Cruthaithe: (2021)

Deciding Reachability for 3-Dimensional Multi-Linear Systems
de réir: Olga Tveretina, et al.
Foilsithe / Cruthaithe: (2011-06-01)

Reachability and robust design in dynamic systems
de réir: Harwood, Stuart Maxwell
Foilsithe / Cruthaithe: (2016)

Bounding the escape time of a linear dynamical system over a compact semialgebraic set
de réir: D'Costa, J, et al.
Foilsithe / Cruthaithe: (2022)

Termination of linear loops over the integers
de réir: Hosseini, M, et al.
Foilsithe / Cruthaithe: (2019)

Reachability of standard and fractional continuous-time systems with constant inputs
de réir: Rogowski Krzysztof
Foilsithe / Cruthaithe: (2016-06-01)

The Orbit Problem for parametric linear dynamical systems
de réir: Baier, C, et al.
Foilsithe / Cruthaithe: (2021)

O-minimal invariants for linear loops
de réir: Almagor, S, et al.
Foilsithe / Cruthaithe: (2018)