FRINK Linked Data Fragments server

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

• W2783952904 abstract "In this paper, we proposed a formal modeling and verification method of CPS flexible load control strategy based on differential dynamic logic theory. HybridUML is used to construct the model for critical control process of flexible load in power grid. Based on the differential dynamic logic theory, the formalization protocol is created using the automatic hybrid reasoning tool KeYmaera, and the differential dynamic logic calculus rules are applied to formalize the system attributes. The effectiveness of the method is verified by instantiating the typical application scenario of flexible load." @default.
• W2783952904 created "2018-01-26" @default.
• W2783952904 creator A5035837633 @default.
• W2783952904 creator A5050626512 @default.
• W2783952904 creator A5060281490 @default.
• W2783952904 creator A5077350670 @default.
• W2783952904 date "2017-11-01" @default.
• W2783952904 modified "2023-09-23" @default.
• W2783952904 title "Formal modeling and verification of flexible load control for power grid CPS based on differential dynamic logic" @default.
• W2783952904 cites W1483568252 @default.
• W2783952904 cites W1510918931 @default.
• W2783952904 cites W1537084112 @default.
• W2783952904 cites W1542396407 @default.
• W2783952904 cites W1977444293 @default.
• W2783952904 cites W1994350081 @default.
• W2783952904 cites W2039250476 @default.
• W2783952904 cites W2058715873 @default.
• W2783952904 cites W2060422862 @default.
• W2783952904 cites W2082745838 @default.
• W2783952904 cites W2101481392 @default.
• W2783952904 cites W2130705439 @default.
• W2783952904 cites W2173952623 @default.
• W2783952904 cites W2365327860 @default.
• W2783952904 cites W2365975875 @default.
• W2783952904 cites W3214074647 @default.
• W2783952904 cites W46772962 @default.
• W2783952904 doi "https://doi.org/10.1109/ei2.2017.8245721" @default.
• W2783952904 hasPublicationYear "2017" @default.
• W2783952904 type Work @default.
• W2783952904 sameAs 2783952904 @default.
• W2783952904 citedByCount "1" @default.
• W2783952904 countsByYear W27839529042019 @default.
• W2783952904 crossrefType "proceedings-article" @default.
• W2783952904 hasAuthorship W2783952904A5035837633 @default.
• W2783952904 hasAuthorship W2783952904A5050626512 @default.
• W2783952904 hasAuthorship W2783952904A5060281490 @default.
• W2783952904 hasAuthorship W2783952904A5077350670 @default.
• W2783952904 hasConcept C111498074 @default.
• W2783952904 hasConcept C11413529 @default.
• W2783952904 hasConcept C119599485 @default.
• W2783952904 hasConcept C120314980 @default.
• W2783952904 hasConcept C127413603 @default.
• W2783952904 hasConcept C133731056 @default.
• W2783952904 hasConcept C146978453 @default.
• W2783952904 hasConcept C165801399 @default.
• W2783952904 hasConcept C172385210 @default.
• W2783952904 hasConcept C187691185 @default.
• W2783952904 hasConcept C199360897 @default.
• W2783952904 hasConcept C25016198 @default.
• W2783952904 hasConcept C2524010 @default.
• W2783952904 hasConcept C2776350369 @default.
• W2783952904 hasConcept C2777796570 @default.
• W2783952904 hasConcept C2780801425 @default.
• W2783952904 hasConcept C33923547 @default.
• W2783952904 hasConcept C41008148 @default.
• W2783952904 hasConcept C80444323 @default.
• W2783952904 hasConcept C93226319 @default.
• W2783952904 hasConcept C98045186 @default.
• W2783952904 hasConceptScore W2783952904C111498074 @default.
• W2783952904 hasConceptScore W2783952904C11413529 @default.
• W2783952904 hasConceptScore W2783952904C119599485 @default.
• W2783952904 hasConceptScore W2783952904C120314980 @default.
• W2783952904 hasConceptScore W2783952904C127413603 @default.
• W2783952904 hasConceptScore W2783952904C133731056 @default.
• W2783952904 hasConceptScore W2783952904C146978453 @default.
• W2783952904 hasConceptScore W2783952904C165801399 @default.
• W2783952904 hasConceptScore W2783952904C172385210 @default.
• W2783952904 hasConceptScore W2783952904C187691185 @default.
• W2783952904 hasConceptScore W2783952904C199360897 @default.
• W2783952904 hasConceptScore W2783952904C25016198 @default.
• W2783952904 hasConceptScore W2783952904C2524010 @default.
• W2783952904 hasConceptScore W2783952904C2776350369 @default.
• W2783952904 hasConceptScore W2783952904C2777796570 @default.
• W2783952904 hasConceptScore W2783952904C2780801425 @default.
• W2783952904 hasConceptScore W2783952904C33923547 @default.
• W2783952904 hasConceptScore W2783952904C41008148 @default.
• W2783952904 hasConceptScore W2783952904C80444323 @default.
• W2783952904 hasConceptScore W2783952904C93226319 @default.
• W2783952904 hasConceptScore W2783952904C98045186 @default.
• W2783952904 hasLocation W27839529041 @default.
• W2783952904 hasOpenAccess W2783952904 @default.
• W2783952904 hasPrimaryLocation W27839529041 @default.
• W2783952904 hasRelatedWork W2002666386 @default.
• W2783952904 hasRelatedWork W2028962696 @default.
• W2783952904 hasRelatedWork W2033455284 @default.
• W2783952904 hasRelatedWork W2048363042 @default.
• W2783952904 hasRelatedWork W2070311462 @default.
• W2783952904 hasRelatedWork W2080590776 @default.
• W2783952904 hasRelatedWork W2122436896 @default.
• W2783952904 hasRelatedWork W2139302085 @default.
• W2783952904 hasRelatedWork W2143907640 @default.
• W2783952904 hasRelatedWork W2161442001 @default.
• W2783952904 hasRelatedWork W2189980012 @default.
• W2783952904 hasRelatedWork W2348245958 @default.
• W2783952904 hasRelatedWork W2608483276 @default.
• W2783952904 hasRelatedWork W2620559691 @default.
• W2783952904 hasRelatedWork W2761502496 @default.
• W2783952904 hasRelatedWork W2765814716 @default.
• W2783952904 hasRelatedWork W2769150555 @default.
• W2783952904 hasRelatedWork W2783848858 @default.

• next