Matches in SemOpenAlex for { <https://semopenalex.org/work/W2066701687> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2066701687 abstract "Cyber-physical systems (CPSs) are integrations between computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedback loops in which the physical processes affect the computations and vice versa. In the physical world, the passage of time is inexorable and concurrency intrinsic. Moreover, as CPSs include discrete as well as continuous behavior, they are difficult to model in discrete modeling languages, such as UML, SMV, SPIN and STATECHART. Hence, CPSs need be modeled and verified with hybrid system modeling languages. In order to model CPSs precisely, we revised and extended the hybrid system modeling language CHARON to a language called ExCHARON. In addition to the features that CHARON supports ExCHARON newly supports defining a graphical syntax of modes and variables, adding qualified names, changing the communications methodology, separating mixtures of communication and inter-level connections, and adding urgent transitions and signal variables. These new features of ExCHARON enhance simplicity as well as the readability and expressiveness of CPS models." @default.
- W2066701687 created "2016-06-24" @default.
- W2066701687 creator A5017954734 @default.
- W2066701687 creator A5056516831 @default.
- W2066701687 creator A5058451627 @default.
- W2066701687 date "2013-12-01" @default.
- W2066701687 modified "2023-10-18" @default.
- W2066701687 title "ExCHARON: Improved Modeling Language for Cyber-physical Systems Based on CHARON" @default.
- W2066701687 cites W1517125074 @default.
- W2066701687 cites W1555104280 @default.
- W2066701687 cites W1573344143 @default.
- W2066701687 cites W2080101372 @default.
- W2066701687 cites W2136545402 @default.
- W2066701687 cites W2169239645 @default.
- W2066701687 cites W2181549671 @default.
- W2066701687 cites W151313883 @default.
- W2066701687 cites W2573837267 @default.
- W2066701687 doi "https://doi.org/10.1109/cse.2013.113" @default.
- W2066701687 hasPublicationYear "2013" @default.
- W2066701687 type Work @default.
- W2066701687 sameAs 2066701687 @default.
- W2066701687 citedByCount "2" @default.
- W2066701687 countsByYear W20667016872015 @default.
- W2066701687 countsByYear W20667016872016 @default.
- W2066701687 crossrefType "proceedings-article" @default.
- W2066701687 hasAuthorship W2066701687A5017954734 @default.
- W2066701687 hasAuthorship W2066701687A5056516831 @default.
- W2066701687 hasAuthorship W2066701687A5058451627 @default.
- W2066701687 hasConcept C111919701 @default.
- W2066701687 hasConcept C116672817 @default.
- W2066701687 hasConcept C121332964 @default.
- W2066701687 hasConcept C145644426 @default.
- W2066701687 hasConcept C154945302 @default.
- W2066701687 hasConcept C179603123 @default.
- W2066701687 hasConcept C179768478 @default.
- W2066701687 hasConcept C184337299 @default.
- W2066701687 hasConcept C193702766 @default.
- W2066701687 hasConcept C199360897 @default.
- W2066701687 hasConcept C2777904410 @default.
- W2066701687 hasConcept C2778143727 @default.
- W2066701687 hasConcept C37785467 @default.
- W2066701687 hasConcept C41008148 @default.
- W2066701687 hasConcept C45374587 @default.
- W2066701687 hasConcept C60048249 @default.
- W2066701687 hasConcept C62520636 @default.
- W2066701687 hasConcept C80444323 @default.
- W2066701687 hasConceptScore W2066701687C111919701 @default.
- W2066701687 hasConceptScore W2066701687C116672817 @default.
- W2066701687 hasConceptScore W2066701687C121332964 @default.
- W2066701687 hasConceptScore W2066701687C145644426 @default.
- W2066701687 hasConceptScore W2066701687C154945302 @default.
- W2066701687 hasConceptScore W2066701687C179603123 @default.
- W2066701687 hasConceptScore W2066701687C179768478 @default.
- W2066701687 hasConceptScore W2066701687C184337299 @default.
- W2066701687 hasConceptScore W2066701687C193702766 @default.
- W2066701687 hasConceptScore W2066701687C199360897 @default.
- W2066701687 hasConceptScore W2066701687C2777904410 @default.
- W2066701687 hasConceptScore W2066701687C2778143727 @default.
- W2066701687 hasConceptScore W2066701687C37785467 @default.
- W2066701687 hasConceptScore W2066701687C41008148 @default.
- W2066701687 hasConceptScore W2066701687C45374587 @default.
- W2066701687 hasConceptScore W2066701687C60048249 @default.
- W2066701687 hasConceptScore W2066701687C62520636 @default.
- W2066701687 hasConceptScore W2066701687C80444323 @default.
- W2066701687 hasLocation W20667016871 @default.
- W2066701687 hasOpenAccess W2066701687 @default.
- W2066701687 hasPrimaryLocation W20667016871 @default.
- W2066701687 hasRelatedWork W160796350 @default.
- W2066701687 hasRelatedWork W2001570142 @default.
- W2066701687 hasRelatedWork W2004322461 @default.
- W2066701687 hasRelatedWork W2066701687 @default.
- W2066701687 hasRelatedWork W2074979537 @default.
- W2066701687 hasRelatedWork W2734378988 @default.
- W2066701687 hasRelatedWork W2793653224 @default.
- W2066701687 hasRelatedWork W295680712 @default.
- W2066701687 hasRelatedWork W600307320 @default.
- W2066701687 hasRelatedWork W74460055 @default.
- W2066701687 isParatext "false" @default.
- W2066701687 isRetracted "false" @default.
- W2066701687 magId "2066701687" @default.
- W2066701687 workType "article" @default.