Matches in SemOpenAlex for { <https://semopenalex.org/work/W96463622> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W96463622 endingPage "105" @default.
- W96463622 startingPage "92" @default.
- W96463622 abstract "Cyber-Physical Systems (CPS) are physical and engineered systems whose operations are integrated, monitored, and controlled by embedded computational cores that are often distributed and reconfigurable online. Due to the criticality of CPS, high-confidence CPS are critical to the infrastructure of our society. We research on modeling and analysis of CPS. We propose a hierarchical and compositional modeling approach based on AADL to solve the tight coupling between physical and cyber world. We extend AADL by annex and separate the component abstraction of CPS model into three categories. And we propose basic transformation rules to translate the CPS model into the networks of timed automata. Then we use model checker UPPAAL to analysis system qualities. We present a case study about analysis of automatic collision avoidance system derived from vehicle in the end." @default.
- W96463622 created "2016-06-24" @default.
- W96463622 creator A5017558953 @default.
- W96463622 creator A5057377195 @default.
- W96463622 creator A5057715969 @default.
- W96463622 creator A5071278984 @default.
- W96463622 date "2011-01-01" @default.
- W96463622 modified "2023-10-18" @default.
- W96463622 title "Research on Modeling and Analysis of CPS" @default.
- W96463622 cites W1555119495 @default.
- W96463622 cites W2000947342 @default.
- W96463622 cites W2023499821 @default.
- W96463622 cites W2060095702 @default.
- W96463622 cites W2073200103 @default.
- W96463622 cites W2096101873 @default.
- W96463622 cites W2101508170 @default.
- W96463622 cites W2128865566 @default.
- W96463622 cites W2148074923 @default.
- W96463622 cites W2293702630 @default.
- W96463622 cites W4205945437 @default.
- W96463622 cites W4242692807 @default.
- W96463622 doi "https://doi.org/10.1007/978-3-642-23496-5_7" @default.
- W96463622 hasPublicationYear "2011" @default.
- W96463622 type Work @default.
- W96463622 sameAs 96463622 @default.
- W96463622 citedByCount "5" @default.
- W96463622 countsByYear W964636222017 @default.
- W96463622 countsByYear W964636222018 @default.
- W96463622 countsByYear W964636222019 @default.
- W96463622 countsByYear W964636222022 @default.
- W96463622 crossrefType "book-chapter" @default.
- W96463622 hasAuthorship W96463622A5017558953 @default.
- W96463622 hasAuthorship W96463622A5057377195 @default.
- W96463622 hasAuthorship W96463622A5057715969 @default.
- W96463622 hasAuthorship W96463622A5071278984 @default.
- W96463622 hasConcept C104317684 @default.
- W96463622 hasConcept C110251889 @default.
- W96463622 hasConcept C111472728 @default.
- W96463622 hasConcept C111919701 @default.
- W96463622 hasConcept C112505250 @default.
- W96463622 hasConcept C120314980 @default.
- W96463622 hasConcept C121332964 @default.
- W96463622 hasConcept C124304363 @default.
- W96463622 hasConcept C125611927 @default.
- W96463622 hasConcept C138885662 @default.
- W96463622 hasConcept C154945302 @default.
- W96463622 hasConcept C168167062 @default.
- W96463622 hasConcept C179768478 @default.
- W96463622 hasConcept C185544564 @default.
- W96463622 hasConcept C185592680 @default.
- W96463622 hasConcept C199360897 @default.
- W96463622 hasConcept C204241405 @default.
- W96463622 hasConcept C2776436953 @default.
- W96463622 hasConcept C2779791154 @default.
- W96463622 hasConcept C41008148 @default.
- W96463622 hasConcept C55493867 @default.
- W96463622 hasConcept C80444323 @default.
- W96463622 hasConcept C97355855 @default.
- W96463622 hasConceptScore W96463622C104317684 @default.
- W96463622 hasConceptScore W96463622C110251889 @default.
- W96463622 hasConceptScore W96463622C111472728 @default.
- W96463622 hasConceptScore W96463622C111919701 @default.
- W96463622 hasConceptScore W96463622C112505250 @default.
- W96463622 hasConceptScore W96463622C120314980 @default.
- W96463622 hasConceptScore W96463622C121332964 @default.
- W96463622 hasConceptScore W96463622C124304363 @default.
- W96463622 hasConceptScore W96463622C125611927 @default.
- W96463622 hasConceptScore W96463622C138885662 @default.
- W96463622 hasConceptScore W96463622C154945302 @default.
- W96463622 hasConceptScore W96463622C168167062 @default.
- W96463622 hasConceptScore W96463622C179768478 @default.
- W96463622 hasConceptScore W96463622C185544564 @default.
- W96463622 hasConceptScore W96463622C185592680 @default.
- W96463622 hasConceptScore W96463622C199360897 @default.
- W96463622 hasConceptScore W96463622C204241405 @default.
- W96463622 hasConceptScore W96463622C2776436953 @default.
- W96463622 hasConceptScore W96463622C2779791154 @default.
- W96463622 hasConceptScore W96463622C41008148 @default.
- W96463622 hasConceptScore W96463622C55493867 @default.
- W96463622 hasConceptScore W96463622C80444323 @default.
- W96463622 hasConceptScore W96463622C97355855 @default.
- W96463622 hasLocation W964636221 @default.
- W96463622 hasOpenAccess W96463622 @default.
- W96463622 hasPrimaryLocation W964636221 @default.
- W96463622 hasRelatedWork W1582517610 @default.
- W96463622 hasRelatedWork W2083001816 @default.
- W96463622 hasRelatedWork W2100295925 @default.
- W96463622 hasRelatedWork W2177212599 @default.
- W96463622 hasRelatedWork W2356842612 @default.
- W96463622 hasRelatedWork W2577043878 @default.
- W96463622 hasRelatedWork W2794712324 @default.
- W96463622 hasRelatedWork W3160136729 @default.
- W96463622 hasRelatedWork W4287186141 @default.
- W96463622 hasRelatedWork W96463622 @default.
- W96463622 isParatext "false" @default.
- W96463622 isRetracted "false" @default.
- W96463622 magId "96463622" @default.
- W96463622 workType "book-chapter" @default.