Matches in SemOpenAlex for { <https://semopenalex.org/work/W3144231283> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3144231283 abstract "Hybrid systems, which combine discrete and continuous dynamics, require quality modeling languages to be either described or analyzed. The Concurrent Constraint paradigm (ccp) is an expressive declarative paradigm, characterized by the use of a common constraint store to communicate and synchronize concurrent agents. In this paradigm, the information is stated in the form of constraints, in contrast to the variable/value style typical of imperative languages. Several extensions of ccp have been proposed in order to model reactive systems. One of these extensions is the Timed Concurrent Constraint Language (tccp) that adds to ccp a notion of discrete time and new features to model time-out and preemption actions. The goal of this paper is to explore the expressive power of tccp to describe hybrid systems. We introduce the language Hy-tccp as a conservative extension of tccp, by adding a notion of continuous time and new constructs to describe the continuous dynamics of hybrid systems. In this paper, we present the syntax and the operational semantics of Hy-tccp together with some examples that show the expressive power of our new language." @default.
- W3144231283 created "2021-04-13" @default.
- W3144231283 creator A5023457072 @default.
- W3144231283 creator A5044935444 @default.
- W3144231283 creator A5070926992 @default.
- W3144231283 date "2015-01-08" @default.
- W3144231283 modified "2023-09-30" @default.
- W3144231283 title "Modeling Hybrid Systems in the Concurrent Constraint Paradigm" @default.
- W3144231283 cites W1602696253 @default.
- W3144231283 cites W1903000972 @default.
- W3144231283 cites W1981281472 @default.
- W3144231283 cites W2044667269 @default.
- W3144231283 cites W2126489030 @default.
- W3144231283 cites W2130642229 @default.
- W3144231283 cites W2147340401 @default.
- W3144231283 cites W3099679831 @default.
- W3144231283 doi "https://doi.org/10.4204/eptcs.173.1" @default.
- W3144231283 hasPublicationYear "2015" @default.
- W3144231283 type Work @default.
- W3144231283 sameAs 3144231283 @default.
- W3144231283 citedByCount "1" @default.
- W3144231283 countsByYear W31442312832017 @default.
- W3144231283 crossrefType "journal-article" @default.
- W3144231283 hasAuthorship W3144231283A5023457072 @default.
- W3144231283 hasAuthorship W3144231283A5044935444 @default.
- W3144231283 hasAuthorship W3144231283A5070926992 @default.
- W3144231283 hasBestOaLocation W31442312831 @default.
- W3144231283 hasConcept C154945302 @default.
- W3144231283 hasConcept C156325763 @default.
- W3144231283 hasConcept C179603123 @default.
- W3144231283 hasConcept C184337299 @default.
- W3144231283 hasConcept C195818886 @default.
- W3144231283 hasConcept C199360897 @default.
- W3144231283 hasConcept C2524010 @default.
- W3144231283 hasConcept C2776036281 @default.
- W3144231283 hasConcept C2777904410 @default.
- W3144231283 hasConcept C33923547 @default.
- W3144231283 hasConcept C41008148 @default.
- W3144231283 hasConcept C60048249 @default.
- W3144231283 hasConcept C80444323 @default.
- W3144231283 hasConceptScore W3144231283C154945302 @default.
- W3144231283 hasConceptScore W3144231283C156325763 @default.
- W3144231283 hasConceptScore W3144231283C179603123 @default.
- W3144231283 hasConceptScore W3144231283C184337299 @default.
- W3144231283 hasConceptScore W3144231283C195818886 @default.
- W3144231283 hasConceptScore W3144231283C199360897 @default.
- W3144231283 hasConceptScore W3144231283C2524010 @default.
- W3144231283 hasConceptScore W3144231283C2776036281 @default.
- W3144231283 hasConceptScore W3144231283C2777904410 @default.
- W3144231283 hasConceptScore W3144231283C33923547 @default.
- W3144231283 hasConceptScore W3144231283C41008148 @default.
- W3144231283 hasConceptScore W3144231283C60048249 @default.
- W3144231283 hasConceptScore W3144231283C80444323 @default.
- W3144231283 hasLocation W31442312831 @default.
- W3144231283 hasLocation W31442312832 @default.
- W3144231283 hasLocation W31442312833 @default.
- W3144231283 hasOpenAccess W3144231283 @default.
- W3144231283 hasPrimaryLocation W31442312831 @default.
- W3144231283 hasRelatedWork W1532345228 @default.
- W3144231283 hasRelatedWork W1542383916 @default.
- W3144231283 hasRelatedWork W1578045827 @default.
- W3144231283 hasRelatedWork W1586293644 @default.
- W3144231283 hasRelatedWork W1604416048 @default.
- W3144231283 hasRelatedWork W165991029 @default.
- W3144231283 hasRelatedWork W168872694 @default.
- W3144231283 hasRelatedWork W1719823311 @default.
- W3144231283 hasRelatedWork W1891272716 @default.
- W3144231283 hasRelatedWork W1897626537 @default.
- W3144231283 hasRelatedWork W2002854819 @default.
- W3144231283 hasRelatedWork W2025188594 @default.
- W3144231283 hasRelatedWork W2046682249 @default.
- W3144231283 hasRelatedWork W2098069058 @default.
- W3144231283 hasRelatedWork W2104057616 @default.
- W3144231283 hasRelatedWork W2115704352 @default.
- W3144231283 hasRelatedWork W2150792682 @default.
- W3144231283 hasRelatedWork W2152273435 @default.
- W3144231283 hasRelatedWork W2957876159 @default.
- W3144231283 hasRelatedWork W57571062 @default.
- W3144231283 isParatext "false" @default.
- W3144231283 isRetracted "false" @default.
- W3144231283 magId "3144231283" @default.
- W3144231283 workType "article" @default.