Matches in SemOpenAlex for { <https://semopenalex.org/work/W2028565565> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2028565565 abstract "In CPS (cyber-physical systems), computation is integrated with physical processes, computer system is used to monitor and interact with the physical world to realize maximization of benefit and usage. The model and verification for cyber physical systems are two important and challenge problems because CPS has not only heterogeneous nature but also very complicated structure and relationships among its components. In this paper, a unified framework is proposed to model and verify CPS, where CPS is modeled in forms of HybridUML models, then these HybridUML models are transformed to different operating models of Differential Dynamic Logic (DL), and finally some CPS properties are specified using DDL equations and verified using DDL reasoning rules." @default.
- W2028565565 created "2016-06-24" @default.
- W2028565565 creator A5044422385 @default.
- W2028565565 creator A5062057507 @default.
- W2028565565 creator A5069903141 @default.
- W2028565565 creator A5080522897 @default.
- W2028565565 date "2012-08-01" @default.
- W2028565565 modified "2023-09-26" @default.
- W2028565565 title "A Unified Modeling and Verifying Framework for Cyber Physical Systems" @default.
- W2028565565 cites W123619551 @default.
- W2028565565 cites W1498631091 @default.
- W2028565565 cites W1512712729 @default.
- W2028565565 cites W1591345321 @default.
- W2028565565 cites W1598855039 @default.
- W2028565565 cites W1601758652 @default.
- W2028565565 cites W2012694237 @default.
- W2028565565 cites W2063381633 @default.
- W2028565565 cites W2122159290 @default.
- W2028565565 cites W2125614702 @default.
- W2028565565 cites W2131441094 @default.
- W2028565565 cites W2293702630 @default.
- W2028565565 cites W3144368627 @default.
- W2028565565 cites W3168224710 @default.
- W2028565565 doi "https://doi.org/10.1109/qsic.2012.11" @default.
- W2028565565 hasPublicationYear "2012" @default.
- W2028565565 type Work @default.
- W2028565565 sameAs 2028565565 @default.
- W2028565565 citedByCount "0" @default.
- W2028565565 crossrefType "proceedings-article" @default.
- W2028565565 hasAuthorship W2028565565A5044422385 @default.
- W2028565565 hasAuthorship W2028565565A5062057507 @default.
- W2028565565 hasAuthorship W2028565565A5069903141 @default.
- W2028565565 hasAuthorship W2028565565A5080522897 @default.
- W2028565565 hasConcept C111919701 @default.
- W2028565565 hasConcept C116672817 @default.
- W2028565565 hasConcept C120314980 @default.
- W2028565565 hasConcept C121332964 @default.
- W2028565565 hasConcept C126255220 @default.
- W2028565565 hasConcept C179768478 @default.
- W2028565565 hasConcept C199360897 @default.
- W2028565565 hasConcept C2776330181 @default.
- W2028565565 hasConcept C33923547 @default.
- W2028565565 hasConcept C41008148 @default.
- W2028565565 hasConcept C45374587 @default.
- W2028565565 hasConcept C62520636 @default.
- W2028565565 hasConcept C80444323 @default.
- W2028565565 hasConceptScore W2028565565C111919701 @default.
- W2028565565 hasConceptScore W2028565565C116672817 @default.
- W2028565565 hasConceptScore W2028565565C120314980 @default.
- W2028565565 hasConceptScore W2028565565C121332964 @default.
- W2028565565 hasConceptScore W2028565565C126255220 @default.
- W2028565565 hasConceptScore W2028565565C179768478 @default.
- W2028565565 hasConceptScore W2028565565C199360897 @default.
- W2028565565 hasConceptScore W2028565565C2776330181 @default.
- W2028565565 hasConceptScore W2028565565C33923547 @default.
- W2028565565 hasConceptScore W2028565565C41008148 @default.
- W2028565565 hasConceptScore W2028565565C45374587 @default.
- W2028565565 hasConceptScore W2028565565C62520636 @default.
- W2028565565 hasConceptScore W2028565565C80444323 @default.
- W2028565565 hasLocation W20285655651 @default.
- W2028565565 hasOpenAccess W2028565565 @default.
- W2028565565 hasPrimaryLocation W20285655651 @default.
- W2028565565 hasRelatedWork W2001818610 @default.
- W2028565565 hasRelatedWork W2074833236 @default.
- W2028565565 hasRelatedWork W2077099824 @default.
- W2028565565 hasRelatedWork W2112968509 @default.
- W2028565565 hasRelatedWork W2304026854 @default.
- W2028565565 hasRelatedWork W2325930249 @default.
- W2028565565 hasRelatedWork W2890116744 @default.
- W2028565565 hasRelatedWork W3035186614 @default.
- W2028565565 hasRelatedWork W4255014713 @default.
- W2028565565 hasRelatedWork W2591761628 @default.
- W2028565565 isParatext "false" @default.
- W2028565565 isRetracted "false" @default.
- W2028565565 magId "2028565565" @default.
- W2028565565 workType "article" @default.