Matches in SemOpenAlex for { <https://semopenalex.org/work/W2565495866> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2565495866 endingPage "143" @default.
- W2565495866 startingPage "124" @default.
- W2565495866 abstract "Hybrid systems are usually composed by physical components with continuous variables and discrete control components where the system state evolves over time according to interacting laws of discrete and continuous dynamics. Combinations of computation and control can lead to very complicated system designs. We treat more explicit hybrid models by proposing a hybrid relational calculus, where both clock and signal are present to coordinate activities of parallel components of hybrid systems. This paper proposes a hybrid relational modelling language with a set of novel combinators which support complex combinations of both testing and signal reaction behaviours to model the physical world and its interaction with the control program. We provide a denotational semantics (based on the hybrid relational calculus) to the language, and explore healthiness conditions that deal with time and signal as well as the status of the program. A number of small examples are given throughout the paper to demonstrate the usage of the language and its semantics." @default.
- W2565495866 created "2017-01-06" @default.
- W2565495866 creator A5019942972 @default.
- W2565495866 creator A5024976355 @default.
- W2565495866 date "2016-12-18" @default.
- W2565495866 modified "2023-10-02" @default.
- W2565495866 title "A Hybrid Relational Modelling Language" @default.
- W2565495866 cites W1513964429 @default.
- W2565495866 cites W1536701116 @default.
- W2565495866 cites W1548324490 @default.
- W2565495866 cites W1589870275 @default.
- W2565495866 cites W1594130515 @default.
- W2565495866 cites W1823037702 @default.
- W2565495866 cites W1995691455 @default.
- W2565495866 cites W2006006495 @default.
- W2565495866 cites W2019474894 @default.
- W2565495866 cites W2046213250 @default.
- W2565495866 cites W2048143221 @default.
- W2565495866 cites W2081938726 @default.
- W2565495866 cites W2125614702 @default.
- W2565495866 cites W2131862387 @default.
- W2565495866 cites W2147340401 @default.
- W2565495866 cites W2159756676 @default.
- W2565495866 cites W2252436646 @default.
- W2565495866 cites W2264987684 @default.
- W2565495866 cites W2562772811 @default.
- W2565495866 cites W4205958241 @default.
- W2565495866 cites W4239967476 @default.
- W2565495866 cites W80621008 @default.
- W2565495866 doi "https://doi.org/10.1007/978-3-319-51046-0_7" @default.
- W2565495866 hasPublicationYear "2016" @default.
- W2565495866 type Work @default.
- W2565495866 sameAs 2565495866 @default.
- W2565495866 citedByCount "6" @default.
- W2565495866 countsByYear W25654958662018 @default.
- W2565495866 countsByYear W25654958662020 @default.
- W2565495866 countsByYear W25654958662022 @default.
- W2565495866 countsByYear W25654958662023 @default.
- W2565495866 crossrefType "book-chapter" @default.
- W2565495866 hasAuthorship W2565495866A5019942972 @default.
- W2565495866 hasAuthorship W2565495866A5024976355 @default.
- W2565495866 hasConcept C119857082 @default.
- W2565495866 hasConcept C156325763 @default.
- W2565495866 hasConcept C177264268 @default.
- W2565495866 hasConcept C184337299 @default.
- W2565495866 hasConcept C199360897 @default.
- W2565495866 hasConcept C207648694 @default.
- W2565495866 hasConcept C41008148 @default.
- W2565495866 hasConcept C50897621 @default.
- W2565495866 hasConcept C80444323 @default.
- W2565495866 hasConceptScore W2565495866C119857082 @default.
- W2565495866 hasConceptScore W2565495866C156325763 @default.
- W2565495866 hasConceptScore W2565495866C177264268 @default.
- W2565495866 hasConceptScore W2565495866C184337299 @default.
- W2565495866 hasConceptScore W2565495866C199360897 @default.
- W2565495866 hasConceptScore W2565495866C207648694 @default.
- W2565495866 hasConceptScore W2565495866C41008148 @default.
- W2565495866 hasConceptScore W2565495866C50897621 @default.
- W2565495866 hasConceptScore W2565495866C80444323 @default.
- W2565495866 hasLocation W25654958661 @default.
- W2565495866 hasOpenAccess W2565495866 @default.
- W2565495866 hasPrimaryLocation W25654958661 @default.
- W2565495866 hasRelatedWork W1422032522 @default.
- W2565495866 hasRelatedWork W1558467648 @default.
- W2565495866 hasRelatedWork W1855927527 @default.
- W2565495866 hasRelatedWork W2035082615 @default.
- W2565495866 hasRelatedWork W2084426999 @default.
- W2565495866 hasRelatedWork W2623701236 @default.
- W2565495866 hasRelatedWork W2804733059 @default.
- W2565495866 hasRelatedWork W4298187297 @default.
- W2565495866 hasRelatedWork W4312991606 @default.
- W2565495866 hasRelatedWork W783270985 @default.
- W2565495866 isParatext "false" @default.
- W2565495866 isRetracted "false" @default.
- W2565495866 magId "2565495866" @default.
- W2565495866 workType "book-chapter" @default.