FRINK Linked Data Fragments server

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

• W2899011021 endingPage "171" @default.
• W2899011021 startingPage "155" @default.
• W2899011021 abstract "The design of functionally correct autonomous systems which operate in an unknown environment and that satisfy reliability, availability, maintainability, and safety (RAMS) requirements is a challenge. In this paper we focus on the detection and reconfiguration features these systems must provide. Indeed, evolving in an unknown environment can invalidate the assumptions made during the design phase. In particular, different hardware components might fail and provide erroneous inputs to the system, which will pass in a degraded mode where the expected RAMS do not hold anymore. Such faults need to be detected as early as possible and reconfiguration strategies must be applied to bring the system back into a nominal mode where the RAMS are satisfied. We propose an automated design process based on formal methods to develop Fault Detection, Isolation and Recovery (FDIR) components targeting partially observable timed systems. We describe how to automatically synthesize runtime monitors, design reconfiguration strategies, and obtain full-fledged FDIR components. We illustrate the approach on a case study inspired from autonomous robotics applications." @default.
• W2899011021 created "2018-11-09" @default.
• W2899011021 creator A5020750660 @default.
• W2899011021 creator A5025907604 @default.
• W2899011021 creator A5046952386 @default.
• W2899011021 creator A5069785845 @default.
• W2899011021 date "2018-01-01" @default.
• W2899011021 modified "2023-09-27" @default.
• W2899011021 title "Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach" @default.
• W2899011021 cites W1482438700 @default.
• W2899011021 cites W1496022251 @default.
• W2899011021 cites W1526031273 @default.
• W2899011021 cites W1535889317 @default.
• W2899011021 cites W1576315473 @default.
• W2899011021 cites W1591503386 @default.
• W2899011021 cites W1596903331 @default.
• W2899011021 cites W1712895775 @default.
• W2899011021 cites W1852279314 @default.
• W2899011021 cites W1926126172 @default.
• W2899011021 cites W1981808971 @default.
• W2899011021 cites W2023808162 @default.
• W2899011021 cites W2099395647 @default.
• W2899011021 cites W2101508170 @default.
• W2899011021 cites W2127574833 @default.
• W2899011021 cites W2139101939 @default.
• W2899011021 cites W2144186266 @default.
• W2899011021 cites W2144360108 @default.
• W2899011021 cites W2157364367 @default.
• W2899011021 cites W2170541359 @default.
• W2899011021 cites W2198887904 @default.
• W2899011021 cites W2595185087 @default.
• W2899011021 cites W2741764335 @default.
• W2899011021 cites W2959496081 @default.
• W2899011021 cites W69467742 @default.
• W2899011021 cites W99048994 @default.
• W2899011021 doi "https://doi.org/10.1007/978-3-030-03424-5_11" @default.
• W2899011021 hasPublicationYear "2018" @default.
• W2899011021 type Work @default.
• W2899011021 sameAs 2899011021 @default.
• W2899011021 citedByCount "9" @default.
• W2899011021 countsByYear W28990110212018 @default.
• W2899011021 countsByYear W28990110212020 @default.
• W2899011021 countsByYear W28990110212021 @default.
• W2899011021 countsByYear W28990110212022 @default.
• W2899011021 countsByYear W28990110212023 @default.
• W2899011021 crossrefType "book-chapter" @default.
• W2899011021 hasAuthorship W2899011021A5020750660 @default.
• W2899011021 hasAuthorship W2899011021A5025907604 @default.
• W2899011021 hasAuthorship W2899011021A5046952386 @default.
• W2899011021 hasAuthorship W2899011021A5069785845 @default.
• W2899011021 hasBestOaLocation W28990110212 @default.
• W2899011021 hasConcept C115903868 @default.
• W2899011021 hasConcept C119701452 @default.
• W2899011021 hasConcept C120314980 @default.
• W2899011021 hasConcept C121332964 @default.
• W2899011021 hasConcept C127413603 @default.
• W2899011021 hasConcept C133731056 @default.
• W2899011021 hasConcept C149635348 @default.
• W2899011021 hasConcept C152745839 @default.
• W2899011021 hasConcept C154945302 @default.
• W2899011021 hasConcept C160713754 @default.
• W2899011021 hasConcept C163258240 @default.
• W2899011021 hasConcept C172707124 @default.
• W2899011021 hasConcept C199360897 @default.
• W2899011021 hasConcept C200601418 @default.
• W2899011021 hasConcept C201995342 @default.
• W2899011021 hasConcept C2775941552 @default.
• W2899011021 hasConcept C41008148 @default.
• W2899011021 hasConcept C43214815 @default.
• W2899011021 hasConcept C62520636 @default.
• W2899011021 hasConcept C63540848 @default.
• W2899011021 hasConcept C77019957 @default.
• W2899011021 hasConcept C86803240 @default.
• W2899011021 hasConcept C89423630 @default.
• W2899011021 hasConcept C98045186 @default.
• W2899011021 hasConceptScore W2899011021C115903868 @default.
• W2899011021 hasConceptScore W2899011021C119701452 @default.
• W2899011021 hasConceptScore W2899011021C120314980 @default.
• W2899011021 hasConceptScore W2899011021C121332964 @default.
• W2899011021 hasConceptScore W2899011021C127413603 @default.
• W2899011021 hasConceptScore W2899011021C133731056 @default.
• W2899011021 hasConceptScore W2899011021C149635348 @default.
• W2899011021 hasConceptScore W2899011021C152745839 @default.
• W2899011021 hasConceptScore W2899011021C154945302 @default.
• W2899011021 hasConceptScore W2899011021C160713754 @default.
• W2899011021 hasConceptScore W2899011021C163258240 @default.
• W2899011021 hasConceptScore W2899011021C172707124 @default.
• W2899011021 hasConceptScore W2899011021C199360897 @default.
• W2899011021 hasConceptScore W2899011021C200601418 @default.
• W2899011021 hasConceptScore W2899011021C201995342 @default.
• W2899011021 hasConceptScore W2899011021C2775941552 @default.
• W2899011021 hasConceptScore W2899011021C41008148 @default.
• W2899011021 hasConceptScore W2899011021C43214815 @default.
• W2899011021 hasConceptScore W2899011021C62520636 @default.
• W2899011021 hasConceptScore W2899011021C63540848 @default.
• W2899011021 hasConceptScore W2899011021C77019957 @default.
• W2899011021 hasConceptScore W2899011021C86803240 @default.
• W2899011021 hasConceptScore W2899011021C89423630 @default.

• next