FRINK Linked Data Fragments server

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

• W2896050894 abstract "Ensuring system resilience – dependability in presence of changes – is a complex engineering task. To achieve resilience, a system should not only autonomously cope with non-deterministically changing internal state and external operating conditions but also proactively reconfigure to maintain efficiency. To facilitate structuring and verifying such complex system behavior, in this paper, we demonstrate how to derive resilience-enhancing mode transition logic from the goals that the system should achieve. Our approach is formalised in Event-B that allows us to reason about resilience mechanisms at different architectural levels. We illustrate the proposed approach by an example – safe and efficient navigation of a swarm of drones." @default.
• W2896050894 created "2018-10-26" @default.
• W2896050894 creator A5057820355 @default.
• W2896050894 creator A5060666407 @default.
• W2896050894 creator A5070192715 @default.
• W2896050894 date "2018-01-01" @default.
• W2896050894 modified "2023-09-23" @default.
• W2896050894 title "Deriving Mode Logic for Autonomous Resilient Systems" @default.
• W2896050894 cites W1570594366 @default.
• W2896050894 cites W17571467 @default.
• W2896050894 cites W2096637436 @default.
• W2896050894 cites W2112230777 @default.
• W2896050894 cites W2118172007 @default.
• W2896050894 cites W2141698884 @default.
• W2896050894 cites W2257658413 @default.
• W2896050894 cites W2624957305 @default.
• W2896050894 cites W2769754015 @default.
• W2896050894 cites W2805258691 @default.
• W2896050894 cites W4244819751 @default.
• W2896050894 cites W97195303 @default.
• W2896050894 doi "https://doi.org/10.1007/978-3-030-02450-5_19" @default.
• W2896050894 hasPublicationYear "2018" @default.
• W2896050894 type Work @default.
• W2896050894 sameAs 2896050894 @default.
• W2896050894 citedByCount "4" @default.
• W2896050894 countsByYear W28960508942019 @default.
• W2896050894 countsByYear W28960508942021 @default.
• W2896050894 countsByYear W28960508942022 @default.
• W2896050894 crossrefType "book-chapter" @default.
• W2896050894 hasAuthorship W2896050894A5057820355 @default.
• W2896050894 hasAuthorship W2896050894A5060666407 @default.
• W2896050894 hasAuthorship W2896050894A5070192715 @default.
• W2896050894 hasConcept C10138342 @default.
• W2896050894 hasConcept C107457646 @default.
• W2896050894 hasConcept C11413529 @default.
• W2896050894 hasConcept C115903868 @default.
• W2896050894 hasConcept C120314980 @default.
• W2896050894 hasConcept C121332964 @default.
• W2896050894 hasConcept C127413603 @default.
• W2896050894 hasConcept C154945302 @default.
• W2896050894 hasConcept C162324750 @default.
• W2896050894 hasConcept C181335050 @default.
• W2896050894 hasConcept C201995342 @default.
• W2896050894 hasConcept C2775945657 @default.
• W2896050894 hasConcept C2779585090 @default.
• W2896050894 hasConcept C2779662365 @default.
• W2896050894 hasConcept C2780451532 @default.
• W2896050894 hasConcept C41008148 @default.
• W2896050894 hasConcept C48103436 @default.
• W2896050894 hasConcept C48677424 @default.
• W2896050894 hasConcept C62520636 @default.
• W2896050894 hasConcept C77019957 @default.
• W2896050894 hasConcept C97355855 @default.
• W2896050894 hasConceptScore W2896050894C10138342 @default.
• W2896050894 hasConceptScore W2896050894C107457646 @default.
• W2896050894 hasConceptScore W2896050894C11413529 @default.
• W2896050894 hasConceptScore W2896050894C115903868 @default.
• W2896050894 hasConceptScore W2896050894C120314980 @default.
• W2896050894 hasConceptScore W2896050894C121332964 @default.
• W2896050894 hasConceptScore W2896050894C127413603 @default.
• W2896050894 hasConceptScore W2896050894C154945302 @default.
• W2896050894 hasConceptScore W2896050894C162324750 @default.
• W2896050894 hasConceptScore W2896050894C181335050 @default.
• W2896050894 hasConceptScore W2896050894C201995342 @default.
• W2896050894 hasConceptScore W2896050894C2775945657 @default.
• W2896050894 hasConceptScore W2896050894C2779585090 @default.
• W2896050894 hasConceptScore W2896050894C2779662365 @default.
• W2896050894 hasConceptScore W2896050894C2780451532 @default.
• W2896050894 hasConceptScore W2896050894C41008148 @default.
• W2896050894 hasConceptScore W2896050894C48103436 @default.
• W2896050894 hasConceptScore W2896050894C48677424 @default.
• W2896050894 hasConceptScore W2896050894C62520636 @default.
• W2896050894 hasConceptScore W2896050894C77019957 @default.
• W2896050894 hasConceptScore W2896050894C97355855 @default.
• W2896050894 hasLocation W28960508941 @default.
• W2896050894 hasOpenAccess W2896050894 @default.
• W2896050894 hasPrimaryLocation W28960508941 @default.
• W2896050894 hasRelatedWork W139951650 @default.
• W2896050894 hasRelatedWork W1550365029 @default.
• W2896050894 hasRelatedWork W1593776587 @default.
• W2896050894 hasRelatedWork W191331424 @default.
• W2896050894 hasRelatedWork W1971739774 @default.
• W2896050894 hasRelatedWork W2087430197 @default.
• W2896050894 hasRelatedWork W2119914207 @default.
• W2896050894 hasRelatedWork W21645231 @default.
• W2896050894 hasRelatedWork W2173631590 @default.
• W2896050894 hasRelatedWork W2281257809 @default.
• W2896050894 hasRelatedWork W2552618622 @default.
• W2896050894 hasRelatedWork W2553905264 @default.
• W2896050894 hasRelatedWork W2766127852 @default.
• W2896050894 hasRelatedWork W2901383943 @default.
• W2896050894 hasRelatedWork W2908332163 @default.
• W2896050894 hasRelatedWork W2909911475 @default.
• W2896050894 hasRelatedWork W2923132828 @default.
• W2896050894 hasRelatedWork W3019738668 @default.
• W2896050894 hasRelatedWork W3176902452 @default.
• W2896050894 hasRelatedWork W244157954 @default.
• W2896050894 isParatext "false" @default.
• W2896050894 isRetracted "false" @default.
• W2896050894 magId "2896050894" @default.

• next