Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023384404> ?p ?o ?g. }
- W2023384404 endingPage "48" @default.
- W2023384404 startingPage "33" @default.
- W2023384404 abstract "In this paper we consider the computation of reachable, viable and invariant sets for discrete-time systems. We use the framework of type-two effectivity, in which computations are performed by Turing machines with infinite input and output tapes, with the representations of computable topology. We see that the reachable set is lower-semicomputable, and the viability and invariance kernels are upper-semicomputable. We then define an upper-semicomputable over-approximation to the reachable set, and lower-semicomputable under-approximations to the viability and invariance kernels, and show that these approximations are optimal." @default.
- W2023384404 created "2016-06-24" @default.
- W2023384404 creator A5019902087 @default.
- W2023384404 date "2007-05-07" @default.
- W2023384404 modified "2023-10-17" @default.
- W2023384404 title "Optimal Semicomputable Approximations to Reachable and Invariant Sets" @default.
- W2023384404 cites W1509579779 @default.
- W2023384404 cites W1522694098 @default.
- W2023384404 cites W1565618245 @default.
- W2023384404 cites W1570973162 @default.
- W2023384404 cites W1575974143 @default.
- W2023384404 cites W1585526574 @default.
- W2023384404 cites W1591345321 @default.
- W2023384404 cites W1604594753 @default.
- W2023384404 cites W162901799 @default.
- W2023384404 cites W1726255445 @default.
- W2023384404 cites W1879112630 @default.
- W2023384404 cites W1884366842 @default.
- W2023384404 cites W1999497797 @default.
- W2023384404 cites W2042021490 @default.
- W2023384404 cites W2060095702 @default.
- W2023384404 cites W2098073114 @default.
- W2023384404 cites W2113700085 @default.
- W2023384404 cites W2115796899 @default.
- W2023384404 cites W2119697935 @default.
- W2023384404 cites W2150878655 @default.
- W2023384404 cites W2163561970 @default.
- W2023384404 cites W2612952478 @default.
- W2023384404 cites W613549528 @default.
- W2023384404 cites W151313883 @default.
- W2023384404 doi "https://doi.org/10.1007/s00224-006-1338-3" @default.
- W2023384404 hasPublicationYear "2007" @default.
- W2023384404 type Work @default.
- W2023384404 sameAs 2023384404 @default.
- W2023384404 citedByCount "26" @default.
- W2023384404 countsByYear W20233844042012 @default.
- W2023384404 countsByYear W20233844042013 @default.
- W2023384404 countsByYear W20233844042014 @default.
- W2023384404 countsByYear W20233844042018 @default.
- W2023384404 countsByYear W20233844042019 @default.
- W2023384404 countsByYear W20233844042020 @default.
- W2023384404 countsByYear W20233844042021 @default.
- W2023384404 crossrefType "journal-article" @default.
- W2023384404 hasAuthorship W2023384404A5019902087 @default.
- W2023384404 hasBestOaLocation W20233844041 @default.
- W2023384404 hasConcept C11413529 @default.
- W2023384404 hasConcept C114614502 @default.
- W2023384404 hasConcept C118615104 @default.
- W2023384404 hasConcept C126255220 @default.
- W2023384404 hasConcept C134306372 @default.
- W2023384404 hasConcept C177264268 @default.
- W2023384404 hasConcept C184720557 @default.
- W2023384404 hasConcept C190470478 @default.
- W2023384404 hasConcept C193386753 @default.
- W2023384404 hasConcept C199360897 @default.
- W2023384404 hasConcept C28826006 @default.
- W2023384404 hasConcept C29248071 @default.
- W2023384404 hasConcept C33923547 @default.
- W2023384404 hasConcept C37914503 @default.
- W2023384404 hasConcept C41008148 @default.
- W2023384404 hasConcept C45374587 @default.
- W2023384404 hasConcept C77553402 @default.
- W2023384404 hasConceptScore W2023384404C11413529 @default.
- W2023384404 hasConceptScore W2023384404C114614502 @default.
- W2023384404 hasConceptScore W2023384404C118615104 @default.
- W2023384404 hasConceptScore W2023384404C126255220 @default.
- W2023384404 hasConceptScore W2023384404C134306372 @default.
- W2023384404 hasConceptScore W2023384404C177264268 @default.
- W2023384404 hasConceptScore W2023384404C184720557 @default.
- W2023384404 hasConceptScore W2023384404C190470478 @default.
- W2023384404 hasConceptScore W2023384404C193386753 @default.
- W2023384404 hasConceptScore W2023384404C199360897 @default.
- W2023384404 hasConceptScore W2023384404C28826006 @default.
- W2023384404 hasConceptScore W2023384404C29248071 @default.
- W2023384404 hasConceptScore W2023384404C33923547 @default.
- W2023384404 hasConceptScore W2023384404C37914503 @default.
- W2023384404 hasConceptScore W2023384404C41008148 @default.
- W2023384404 hasConceptScore W2023384404C45374587 @default.
- W2023384404 hasConceptScore W2023384404C77553402 @default.
- W2023384404 hasIssue "1" @default.
- W2023384404 hasLocation W20233844041 @default.
- W2023384404 hasLocation W20233844042 @default.
- W2023384404 hasLocation W20233844043 @default.
- W2023384404 hasOpenAccess W2023384404 @default.
- W2023384404 hasPrimaryLocation W20233844041 @default.
- W2023384404 hasRelatedWork W2046347355 @default.
- W2023384404 hasRelatedWork W2097161252 @default.
- W2023384404 hasRelatedWork W2207070759 @default.
- W2023384404 hasRelatedWork W2566970431 @default.
- W2023384404 hasRelatedWork W2568858028 @default.
- W2023384404 hasRelatedWork W2582142150 @default.
- W2023384404 hasRelatedWork W2595921241 @default.
- W2023384404 hasRelatedWork W2799066826 @default.
- W2023384404 hasRelatedWork W3206731306 @default.
- W2023384404 hasRelatedWork W2461671499 @default.
- W2023384404 hasVolume "41" @default.
- W2023384404 isParatext "false" @default.
- W2023384404 isRetracted "false" @default.