Matches in SemOpenAlex for { <https://semopenalex.org/work/W2386123026> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2386123026 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≥0 → R satisfying a given linear differential equation have infinitely many zeros? Our main decidability result is that if the differential equation has order at most 7, then the Infinite Zeros Problem is decidable. On the other hand, we show that a decision procedure for the Infinite Zeros Problem at order 9 (and above) would entail a major breakthrough in Diophantine Approximation, specifically an algorithm for computing the Lagrange constants of arbitrary real algebraic numbers to arbitrary precision." @default.
- W2386123026 created "2016-06-24" @default.
- W2386123026 creator A5040521690 @default.
- W2386123026 creator A5045412407 @default.
- W2386123026 creator A5068165188 @default.
- W2386123026 date "2016-07-05" @default.
- W2386123026 modified "2023-10-14" @default.
- W2386123026 title "On Recurrent Reachability for Continuous Linear Dynamical Systems" @default.
- W2386123026 cites W1605256314 @default.
- W2386123026 cites W1864094877 @default.
- W2386123026 cites W1991813962 @default.
- W2386123026 cites W2010180140 @default.
- W2386123026 cites W2155969572 @default.
- W2386123026 cites W2386123026 @default.
- W2386123026 cites W2585298200 @default.
- W2386123026 cites W4206503652 @default.
- W2386123026 cites W4298290503 @default.
- W2386123026 cites W647913949 @default.
- W2386123026 doi "https://doi.org/10.1145/2933575.2934548" @default.
- W2386123026 hasPublicationYear "2016" @default.
- W2386123026 type Work @default.
- W2386123026 sameAs 2386123026 @default.
- W2386123026 citedByCount "9" @default.
- W2386123026 countsByYear W23861230262015 @default.
- W2386123026 countsByYear W23861230262016 @default.
- W2386123026 countsByYear W23861230262017 @default.
- W2386123026 countsByYear W23861230262018 @default.
- W2386123026 countsByYear W23861230262020 @default.
- W2386123026 countsByYear W23861230262021 @default.
- W2386123026 crossrefType "proceedings-article" @default.
- W2386123026 hasAuthorship W2386123026A5040521690 @default.
- W2386123026 hasAuthorship W2386123026A5045412407 @default.
- W2386123026 hasAuthorship W2386123026A5068165188 @default.
- W2386123026 hasBestOaLocation W23861230262 @default.
- W2386123026 hasConcept C114614502 @default.
- W2386123026 hasConcept C118615104 @default.
- W2386123026 hasConcept C121332964 @default.
- W2386123026 hasConcept C134306372 @default.
- W2386123026 hasConcept C136643341 @default.
- W2386123026 hasConcept C13982400 @default.
- W2386123026 hasConcept C153269930 @default.
- W2386123026 hasConcept C206530611 @default.
- W2386123026 hasConcept C2777669093 @default.
- W2386123026 hasConcept C28826006 @default.
- W2386123026 hasConcept C33923547 @default.
- W2386123026 hasConcept C51544822 @default.
- W2386123026 hasConcept C62520636 @default.
- W2386123026 hasConcept C6802819 @default.
- W2386123026 hasConcept C78045399 @default.
- W2386123026 hasConcept C79379906 @default.
- W2386123026 hasConceptScore W2386123026C114614502 @default.
- W2386123026 hasConceptScore W2386123026C118615104 @default.
- W2386123026 hasConceptScore W2386123026C121332964 @default.
- W2386123026 hasConceptScore W2386123026C134306372 @default.
- W2386123026 hasConceptScore W2386123026C136643341 @default.
- W2386123026 hasConceptScore W2386123026C13982400 @default.
- W2386123026 hasConceptScore W2386123026C153269930 @default.
- W2386123026 hasConceptScore W2386123026C206530611 @default.
- W2386123026 hasConceptScore W2386123026C2777669093 @default.
- W2386123026 hasConceptScore W2386123026C28826006 @default.
- W2386123026 hasConceptScore W2386123026C33923547 @default.
- W2386123026 hasConceptScore W2386123026C51544822 @default.
- W2386123026 hasConceptScore W2386123026C62520636 @default.
- W2386123026 hasConceptScore W2386123026C6802819 @default.
- W2386123026 hasConceptScore W2386123026C78045399 @default.
- W2386123026 hasConceptScore W2386123026C79379906 @default.
- W2386123026 hasFunder F4320321181 @default.
- W2386123026 hasFunder F4320334627 @default.
- W2386123026 hasFunder F4320334678 @default.
- W2386123026 hasLocation W23861230261 @default.
- W2386123026 hasLocation W23861230262 @default.
- W2386123026 hasLocation W23861230263 @default.
- W2386123026 hasLocation W23861230264 @default.
- W2386123026 hasOpenAccess W2386123026 @default.
- W2386123026 hasPrimaryLocation W23861230261 @default.
- W2386123026 hasRelatedWork W1531231269 @default.
- W2386123026 hasRelatedWork W1563786920 @default.
- W2386123026 hasRelatedWork W2080700991 @default.
- W2386123026 hasRelatedWork W2122700562 @default.
- W2386123026 hasRelatedWork W2245922010 @default.
- W2386123026 hasRelatedWork W2726491672 @default.
- W2386123026 hasRelatedWork W2912654482 @default.
- W2386123026 hasRelatedWork W2922024459 @default.
- W2386123026 hasRelatedWork W2951140680 @default.
- W2386123026 hasRelatedWork W979223301 @default.
- W2386123026 isParatext "false" @default.
- W2386123026 isRetracted "false" @default.
- W2386123026 magId "2386123026" @default.
- W2386123026 workType "article" @default.