FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2904017694> ?p ?o ?g. }

• W2904017694 endingPage "10" @default.
• W2904017694 startingPage "6" @default.
• W2904017694 abstract "By combining communication, computation, and control (3C), Cyber-Physical Systems (CPS)0tightly couple the physical world with the cyber-world, to enable more applications, enhance performance, increase dependability and etc. Among these goals, as CPS are widely used in the safety-critical area, guaranteeing the basic dependability/safety is after all the prerequisite and often the top concern. However, the behavior of CPS is extremely complex. First of all, due to the existence of both discrete control modes transition and continuous real-time behavior in CPS, the behavior of CPS is a complex hybrid state space, which is difficult to understand and handle. Secondly, most CPS applications are working in the open environment and acquiring real-time data from the environment intensively to adjust their own behavior. The dynamic environment makes the behavior space more complex to reason. When a system is too complex to analyze directly, building an abstract model of the system and then conducting analysis on the model to answer questions about the original system is an important and widely-used method. Meanwhile, a reasonable model also plays important roles in the phase of specification, design, development, testing, monitoring and so on. Therefore, it is an important topic of investigating how model-based methods can be applied in the context of CPS to increase the quality and dependability of the system. During the past decade, our research group at Nanjing University has devoted a lot of efforts into this mission. We conducted comprehensive research in a wide spectrum of CPS including model-driven design, verification, control, monitoring, and testing. In this paper, we will make a general review of the progress we made on these directions recently." @default.
• W2904017694 created "2018-12-22" @default.
• W2904017694 creator A5029676029 @default.
• W2904017694 creator A5059361292 @default.
• W2904017694 creator A5075789912 @default.
• W2904017694 creator A5078890349 @default.
• W2904017694 creator A5090305216 @default.
• W2904017694 creator A5090810072 @default.
• W2904017694 date "2018-12-07" @default.
• W2904017694 modified "2023-10-16" @default.
• W2904017694 title "Model-based Construction and Verification of Cyber-Physical Systems" @default.
• W2904017694 cites W1558964573 @default.
• W2904017694 cites W1632844978 @default.
• W2904017694 cites W2002130414 @default.
• W2904017694 cites W2018704560 @default.
• W2904017694 cites W2025886420 @default.
• W2904017694 cites W2054293825 @default.
• W2904017694 cites W2072325940 @default.
• W2904017694 cites W2073051369 @default.
• W2904017694 cites W2080834648 @default.
• W2904017694 cites W2090717018 @default.
• W2904017694 cites W2111907480 @default.
• W2904017694 cites W2139872812 @default.
• W2904017694 cites W2142701300 @default.
• W2904017694 cites W2147171647 @default.
• W2904017694 cites W2159899121 @default.
• W2904017694 cites W2165203881 @default.
• W2904017694 cites W2515014082 @default.
• W2904017694 cites W2735004968 @default.
• W2904017694 cites W2759834774 @default.
• W2904017694 doi "https://doi.org/10.1145/3229783.3229793" @default.
• W2904017694 hasPublicationYear "2018" @default.
• W2904017694 type Work @default.
• W2904017694 sameAs 2904017694 @default.
• W2904017694 citedByCount "1" @default.
• W2904017694 countsByYear W29040176942021 @default.
• W2904017694 crossrefType "journal-article" @default.
• W2904017694 hasAuthorship W2904017694A5029676029 @default.
• W2904017694 hasAuthorship W2904017694A5059361292 @default.
• W2904017694 hasAuthorship W2904017694A5075789912 @default.
• W2904017694 hasAuthorship W2904017694A5078890349 @default.
• W2904017694 hasAuthorship W2904017694A5090305216 @default.
• W2904017694 hasAuthorship W2904017694A5090810072 @default.
• W2904017694 hasConcept C105795698 @default.
• W2904017694 hasConcept C111472728 @default.
• W2904017694 hasConcept C111919701 @default.
• W2904017694 hasConcept C115903868 @default.
• W2904017694 hasConcept C116672817 @default.
• W2904017694 hasConcept C120314980 @default.
• W2904017694 hasConcept C121332964 @default.
• W2904017694 hasConcept C127413603 @default.
• W2904017694 hasConcept C138885662 @default.
• W2904017694 hasConcept C151730666 @default.
• W2904017694 hasConcept C154945302 @default.
• W2904017694 hasConcept C179768478 @default.
• W2904017694 hasConcept C201995342 @default.
• W2904017694 hasConcept C2779343474 @default.
• W2904017694 hasConcept C2779530757 @default.
• W2904017694 hasConcept C33923547 @default.
• W2904017694 hasConcept C41008148 @default.
• W2904017694 hasConcept C47822265 @default.
• W2904017694 hasConcept C62520636 @default.
• W2904017694 hasConcept C72434380 @default.
• W2904017694 hasConcept C77019957 @default.
• W2904017694 hasConcept C86803240 @default.
• W2904017694 hasConceptScore W2904017694C105795698 @default.
• W2904017694 hasConceptScore W2904017694C111472728 @default.
• W2904017694 hasConceptScore W2904017694C111919701 @default.
• W2904017694 hasConceptScore W2904017694C115903868 @default.
• W2904017694 hasConceptScore W2904017694C116672817 @default.
• W2904017694 hasConceptScore W2904017694C120314980 @default.
• W2904017694 hasConceptScore W2904017694C121332964 @default.
• W2904017694 hasConceptScore W2904017694C127413603 @default.
• W2904017694 hasConceptScore W2904017694C138885662 @default.
• W2904017694 hasConceptScore W2904017694C151730666 @default.
• W2904017694 hasConceptScore W2904017694C154945302 @default.
• W2904017694 hasConceptScore W2904017694C179768478 @default.
• W2904017694 hasConceptScore W2904017694C201995342 @default.
• W2904017694 hasConceptScore W2904017694C2779343474 @default.
• W2904017694 hasConceptScore W2904017694C2779530757 @default.
• W2904017694 hasConceptScore W2904017694C33923547 @default.
• W2904017694 hasConceptScore W2904017694C41008148 @default.
• W2904017694 hasConceptScore W2904017694C47822265 @default.
• W2904017694 hasConceptScore W2904017694C62520636 @default.
• W2904017694 hasConceptScore W2904017694C72434380 @default.
• W2904017694 hasConceptScore W2904017694C77019957 @default.
• W2904017694 hasConceptScore W2904017694C86803240 @default.
• W2904017694 hasIssue "3" @default.
• W2904017694 hasLocation W29040176941 @default.
• W2904017694 hasOpenAccess W2904017694 @default.
• W2904017694 hasPrimaryLocation W29040176941 @default.
• W2904017694 hasRelatedWork W1797593968 @default.
• W2904017694 hasRelatedWork W2001818610 @default.
• W2904017694 hasRelatedWork W207098076 @default.
• W2904017694 hasRelatedWork W2240623554 @default.
• W2904017694 hasRelatedWork W2275530453 @default.
• W2904017694 hasRelatedWork W2787040861 @default.
• W2904017694 hasRelatedWork W2904017694 @default.

• next