Matches in SemOpenAlex for { <https://semopenalex.org/work/W207691213> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W207691213 abstract "A complex real-time system consists of components at multiple time abstractions with varying notions of granularity and precision. Existing hybrid frameworks only allow reasoning at a single granularity and at an absolute level of precision, which can be problematic because the models that are developed can become unimplementable. In this paper, we develop a framework that incorporates time bands so that the behaviour of each component may be specified at a time granularity that is appropriate for the component and its properties. We implement our controllers using teleo-reactive programs, which are high-level programs that are well-suited to controlling reactive systems in dynamic environments. We develop rely/guarantee-style reasoning rules and as an example, prove properties of a well-known mine-pump system." @default.
- W207691213 created "2016-06-24" @default.
- W207691213 creator A5012214843 @default.
- W207691213 creator A5054584529 @default.
- W207691213 date "2012-01-01" @default.
- W207691213 modified "2023-09-24" @default.
- W207691213 title "Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands" @default.
- W207691213 cites W1506588809 @default.
- W207691213 cites W1512712729 @default.
- W207691213 cites W1981998034 @default.
- W207691213 cites W2019474894 @default.
- W207691213 cites W2020762354 @default.
- W207691213 cites W2031939519 @default.
- W207691213 cites W2105390837 @default.
- W207691213 cites W2119574820 @default.
- W207691213 cites W2120338947 @default.
- W207691213 cites W2172034979 @default.
- W207691213 cites W59578796 @default.
- W207691213 cites W603151 @default.
- W207691213 doi "https://doi.org/10.1007/978-3-642-30729-4_4" @default.
- W207691213 hasPublicationYear "2012" @default.
- W207691213 type Work @default.
- W207691213 sameAs 207691213 @default.
- W207691213 citedByCount "9" @default.
- W207691213 countsByYear W2076912132012 @default.
- W207691213 countsByYear W2076912132013 @default.
- W207691213 countsByYear W2076912132019 @default.
- W207691213 countsByYear W2076912132020 @default.
- W207691213 crossrefType "book-chapter" @default.
- W207691213 hasAuthorship W207691213A5012214843 @default.
- W207691213 hasAuthorship W207691213A5054584529 @default.
- W207691213 hasConcept C120314980 @default.
- W207691213 hasConcept C121332964 @default.
- W207691213 hasConcept C149635348 @default.
- W207691213 hasConcept C168167062 @default.
- W207691213 hasConcept C177774035 @default.
- W207691213 hasConcept C199360897 @default.
- W207691213 hasConcept C28472234 @default.
- W207691213 hasConcept C41008148 @default.
- W207691213 hasConcept C97355855 @default.
- W207691213 hasConceptScore W207691213C120314980 @default.
- W207691213 hasConceptScore W207691213C121332964 @default.
- W207691213 hasConceptScore W207691213C149635348 @default.
- W207691213 hasConceptScore W207691213C168167062 @default.
- W207691213 hasConceptScore W207691213C177774035 @default.
- W207691213 hasConceptScore W207691213C199360897 @default.
- W207691213 hasConceptScore W207691213C28472234 @default.
- W207691213 hasConceptScore W207691213C41008148 @default.
- W207691213 hasConceptScore W207691213C97355855 @default.
- W207691213 hasLocation W2076912131 @default.
- W207691213 hasOpenAccess W207691213 @default.
- W207691213 hasPrimaryLocation W2076912131 @default.
- W207691213 hasRelatedWork W1015918564 @default.
- W207691213 hasRelatedWork W158357973 @default.
- W207691213 hasRelatedWork W1612934218 @default.
- W207691213 hasRelatedWork W1861989620 @default.
- W207691213 hasRelatedWork W1971459700 @default.
- W207691213 hasRelatedWork W2005199685 @default.
- W207691213 hasRelatedWork W2016265082 @default.
- W207691213 hasRelatedWork W2031939519 @default.
- W207691213 hasRelatedWork W2051068608 @default.
- W207691213 hasRelatedWork W2090551028 @default.
- W207691213 hasRelatedWork W2182253981 @default.
- W207691213 hasRelatedWork W2188666980 @default.
- W207691213 hasRelatedWork W2247034562 @default.
- W207691213 hasRelatedWork W2260820808 @default.
- W207691213 hasRelatedWork W2887027182 @default.
- W207691213 hasRelatedWork W2911095790 @default.
- W207691213 hasRelatedWork W3027622534 @default.
- W207691213 hasRelatedWork W3088949179 @default.
- W207691213 hasRelatedWork W3095196708 @default.
- W207691213 hasRelatedWork W95492539 @default.
- W207691213 isParatext "false" @default.
- W207691213 isRetracted "false" @default.
- W207691213 magId "207691213" @default.
- W207691213 workType "book-chapter" @default.