Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078795114> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2078795114 endingPage "925" @default.
- W2078795114 startingPage "890" @default.
- W2078795114 abstract "In this paper we consider the semantics for the evolution of hybrid systems, and the computability of the evolution with respect to these semantics. We show that with respect to lower semantics, the finite-time reachable sets are lower-semicomputable, and with respect to upper semantics, the finite-time reachable sets are upper-semicomputable. We use the framework of type-two Turing computability theory and computable analysis, which deal with obtaining approximation results with guaranteed error bounds from approximate data. We show that, in general, we cannot find a semantics for which the evolution is both lower- and upper-semicomputable, unless the system is free from tangential and corner contact with the guard sets. We highlight the main points of the theory with simple examples illustrating the subtleties involved." @default.
- W2078795114 created "2016-06-24" @default.
- W2078795114 creator A5019902087 @default.
- W2078795114 date "2011-01-01" @default.
- W2078795114 modified "2023-09-25" @default.
- W2078795114 title "Semantics and Computability of the Evolution of Hybrid Systems" @default.
- W2078795114 cites W1973889336 @default.
- W2078795114 cites W1978459473 @default.
- W2078795114 cites W2022932655 @default.
- W2078795114 cites W2023384404 @default.
- W2078795114 cites W2027931514 @default.
- W2078795114 cites W2055960145 @default.
- W2078795114 cites W2059899504 @default.
- W2078795114 cites W2091166411 @default.
- W2078795114 cites W2092641288 @default.
- W2078795114 cites W2093964259 @default.
- W2078795114 cites W2112248103 @default.
- W2078795114 cites W2113700085 @default.
- W2078795114 cites W2115595609 @default.
- W2078795114 cites W2129231075 @default.
- W2078795114 doi "https://doi.org/10.1137/080716955" @default.
- W2078795114 hasPublicationYear "2011" @default.
- W2078795114 type Work @default.
- W2078795114 sameAs 2078795114 @default.
- W2078795114 citedByCount "14" @default.
- W2078795114 countsByYear W20787951142012 @default.
- W2078795114 countsByYear W20787951142013 @default.
- W2078795114 countsByYear W20787951142017 @default.
- W2078795114 countsByYear W20787951142020 @default.
- W2078795114 countsByYear W20787951142022 @default.
- W2078795114 countsByYear W20787951142023 @default.
- W2078795114 crossrefType "journal-article" @default.
- W2078795114 hasAuthorship W2078795114A5019902087 @default.
- W2078795114 hasBestOaLocation W20787951142 @default.
- W2078795114 hasConcept C111472728 @default.
- W2078795114 hasConcept C11413529 @default.
- W2078795114 hasConcept C118615104 @default.
- W2078795114 hasConcept C134306372 @default.
- W2078795114 hasConcept C136119220 @default.
- W2078795114 hasConcept C138885662 @default.
- W2078795114 hasConcept C141141315 @default.
- W2078795114 hasConcept C152062344 @default.
- W2078795114 hasConcept C184337299 @default.
- W2078795114 hasConcept C199360897 @default.
- W2078795114 hasConcept C202444582 @default.
- W2078795114 hasConcept C2780586882 @default.
- W2078795114 hasConcept C33923547 @default.
- W2078795114 hasConcept C41008148 @default.
- W2078795114 hasConcept C77553402 @default.
- W2078795114 hasConcept C80444323 @default.
- W2078795114 hasConcept C9870796 @default.
- W2078795114 hasConceptScore W2078795114C111472728 @default.
- W2078795114 hasConceptScore W2078795114C11413529 @default.
- W2078795114 hasConceptScore W2078795114C118615104 @default.
- W2078795114 hasConceptScore W2078795114C134306372 @default.
- W2078795114 hasConceptScore W2078795114C136119220 @default.
- W2078795114 hasConceptScore W2078795114C138885662 @default.
- W2078795114 hasConceptScore W2078795114C141141315 @default.
- W2078795114 hasConceptScore W2078795114C152062344 @default.
- W2078795114 hasConceptScore W2078795114C184337299 @default.
- W2078795114 hasConceptScore W2078795114C199360897 @default.
- W2078795114 hasConceptScore W2078795114C202444582 @default.
- W2078795114 hasConceptScore W2078795114C2780586882 @default.
- W2078795114 hasConceptScore W2078795114C33923547 @default.
- W2078795114 hasConceptScore W2078795114C41008148 @default.
- W2078795114 hasConceptScore W2078795114C77553402 @default.
- W2078795114 hasConceptScore W2078795114C80444323 @default.
- W2078795114 hasConceptScore W2078795114C9870796 @default.
- W2078795114 hasIssue "2" @default.
- W2078795114 hasLocation W20787951141 @default.
- W2078795114 hasLocation W20787951142 @default.
- W2078795114 hasOpenAccess W2078795114 @default.
- W2078795114 hasPrimaryLocation W20787951141 @default.
- W2078795114 hasRelatedWork W1492527085 @default.
- W2078795114 hasRelatedWork W2078795114 @default.
- W2078795114 hasRelatedWork W2092412604 @default.
- W2078795114 hasRelatedWork W2145708185 @default.
- W2078795114 hasRelatedWork W2556765696 @default.
- W2078795114 hasRelatedWork W2576347756 @default.
- W2078795114 hasRelatedWork W2731702105 @default.
- W2078795114 hasRelatedWork W2945958706 @default.
- W2078795114 hasRelatedWork W2970774316 @default.
- W2078795114 hasRelatedWork W4244890243 @default.
- W2078795114 hasVolume "49" @default.
- W2078795114 isParatext "false" @default.
- W2078795114 isRetracted "false" @default.
- W2078795114 magId "2078795114" @default.
- W2078795114 workType "article" @default.