Matches in SemOpenAlex for { <https://semopenalex.org/work/W3034283349> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W3034283349 abstract "We consider the decidability of state-to-state reachability in linear time-invariant control systems over continuous time. We analyse this problem with respect to the allowable control sets, which are assumed to be the image under a linear map of the unit hypercube. This naturally models bounded (sometimes called saturated) controls. Decidability of the version of the reachability problem in which control sets are affine subspaces of $mathbb{R}^n$ is a fundamental result in control theory. Our first result is decidability in two dimensions ($n=2$) if the matrix $A$ satisfies some spectral conditions, and conditional decidablility in general. If the transformation matrix $A$ is diagonal with rational entries (or rational multiples of the same algebraic number) then the reachability problem is decidable. If the transformation matrix $A$ only has real eigenvalues, the reachability problem is conditionally decidable. The time-bounded reachability problem is conditionally decidable, and unconditionally decidable in two dimensions. Some of our decidability results are conditional in that they rely on the decidability of certain mathematical theories, namely the theory of the reals with exponential ($mathfrak{R}_{exp}$) and with bounded sine ($mathfrak{R}_{exp,sin}$). We also obtain a hardness result for a mild generalization of the problem where the target is simple set (hypercube of dimension $n-1$ or hyperplane) instead of a point, and the control set is a convex bounded polytope. In this case, we show that the problem is at least as hard as the emph{Continuous Positivity problem} or the emph{Nontangential Continuous Positivity problem}." @default.
- W3034283349 created "2020-06-19" @default.
- W3034283349 creator A5072806743 @default.
- W3034283349 creator A5091467819 @default.
- W3034283349 date "2020-06-16" @default.
- W3034283349 modified "2023-10-01" @default.
- W3034283349 title "On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems" @default.
- W3034283349 cites W1524007357 @default.
- W3034283349 cites W1532859487 @default.
- W3034283349 cites W1554430573 @default.
- W3034283349 cites W1559330864 @default.
- W3034283349 cites W1592891131 @default.
- W3034283349 cites W1595559231 @default.
- W3034283349 cites W1972422534 @default.
- W3034283349 cites W1982310255 @default.
- W3034283349 cites W1991813962 @default.
- W3034283349 cites W1994475353 @default.
- W3034283349 cites W2010180140 @default.
- W3034283349 cites W2020140696 @default.
- W3034283349 cites W2020512958 @default.
- W3034283349 cites W2022216960 @default.
- W3034283349 cites W2026019548 @default.
- W3034283349 cites W2033455284 @default.
- W3034283349 cites W2039123074 @default.
- W3034283349 cites W2063402394 @default.
- W3034283349 cites W2093964259 @default.
- W3034283349 cites W2099354898 @default.
- W3034283349 cites W2104292418 @default.
- W3034283349 cites W2113789941 @default.
- W3034283349 cites W2123118045 @default.
- W3034283349 cites W2139426253 @default.
- W3034283349 cites W2209422068 @default.
- W3034283349 cites W2396103282 @default.
- W3034283349 cites W2520428934 @default.
- W3034283349 cites W2576415565 @default.
- W3034283349 cites W2726491672 @default.
- W3034283349 cites W2796471654 @default.
- W3034283349 cites W2810154270 @default.
- W3034283349 cites W2300492210 @default.
- W3034283349 hasPublicationYear "2020" @default.
- W3034283349 type Work @default.
- W3034283349 sameAs 3034283349 @default.
- W3034283349 citedByCount "0" @default.
- W3034283349 crossrefType "posted-content" @default.
- W3034283349 hasAuthorship W3034283349A5072806743 @default.
- W3034283349 hasAuthorship W3034283349A5091467819 @default.
- W3034283349 hasConcept C114614502 @default.
- W3034283349 hasConcept C118615104 @default.
- W3034283349 hasConcept C12362212 @default.
- W3034283349 hasConcept C134306372 @default.
- W3034283349 hasConcept C136643341 @default.
- W3034283349 hasConcept C153269930 @default.
- W3034283349 hasConcept C190470478 @default.
- W3034283349 hasConcept C202444582 @default.
- W3034283349 hasConcept C2777669093 @default.
- W3034283349 hasConcept C33923547 @default.
- W3034283349 hasConcept C34388435 @default.
- W3034283349 hasConcept C37914503 @default.
- W3034283349 hasConceptScore W3034283349C114614502 @default.
- W3034283349 hasConceptScore W3034283349C118615104 @default.
- W3034283349 hasConceptScore W3034283349C12362212 @default.
- W3034283349 hasConceptScore W3034283349C134306372 @default.
- W3034283349 hasConceptScore W3034283349C136643341 @default.
- W3034283349 hasConceptScore W3034283349C153269930 @default.
- W3034283349 hasConceptScore W3034283349C190470478 @default.
- W3034283349 hasConceptScore W3034283349C202444582 @default.
- W3034283349 hasConceptScore W3034283349C2777669093 @default.
- W3034283349 hasConceptScore W3034283349C33923547 @default.
- W3034283349 hasConceptScore W3034283349C34388435 @default.
- W3034283349 hasConceptScore W3034283349C37914503 @default.
- W3034283349 hasLocation W30342833491 @default.
- W3034283349 hasOpenAccess W3034283349 @default.
- W3034283349 hasPrimaryLocation W30342833491 @default.
- W3034283349 hasRelatedWork W1503841077 @default.
- W3034283349 hasRelatedWork W1582481528 @default.
- W3034283349 hasRelatedWork W1770709101 @default.
- W3034283349 hasRelatedWork W1992576498 @default.
- W3034283349 hasRelatedWork W2013166518 @default.
- W3034283349 hasRelatedWork W2058175730 @default.
- W3034283349 hasRelatedWork W2140885135 @default.
- W3034283349 hasRelatedWork W2244561658 @default.
- W3034283349 hasRelatedWork W2903280113 @default.
- W3034283349 hasRelatedWork W2913582230 @default.
- W3034283349 hasRelatedWork W2922024459 @default.
- W3034283349 hasRelatedWork W2948267232 @default.
- W3034283349 hasRelatedWork W2951877853 @default.
- W3034283349 hasRelatedWork W2951906975 @default.
- W3034283349 hasRelatedWork W2962787891 @default.
- W3034283349 hasRelatedWork W2963800672 @default.
- W3034283349 hasRelatedWork W2965618079 @default.
- W3034283349 hasRelatedWork W3034838075 @default.
- W3034283349 hasRelatedWork W3157887020 @default.
- W3034283349 hasRelatedWork W3161072743 @default.
- W3034283349 isParatext "false" @default.
- W3034283349 isRetracted "false" @default.
- W3034283349 magId "3034283349" @default.
- W3034283349 workType "article" @default.