FRINK Linked Data Fragments server

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

• W2904149077 abstract "The paper addresses the issue of reliability of complex embedded control systems in the safety-critical environment. In this paper, we propose a novel approach to design controller that (i) guarantees the safety of nonlinear physical systems, (ii) enables safe system restart during runtime, and (iii) allows the use of complex, unverified controllers (e.g., neural networks) that drive the physical systems towards complex specifications. We use abstraction-based controller synthesis approach to design a formally verified controller that provides application and system-level fault tolerance along with safety guarantee. Moreover, our approach is implementable using commercial-off-the-shelf (COTS) processing unit. To demonstrate the efficacy of our solution and to verify the safety of the system under various types of faults injected in applications and in the underlying real-time operating system (RTOS), we implemented the proposed controller for the inverted pendulum and three degree-of-freedom (3-DOF) helicopter." @default.
• W2904149077 created "2018-12-22" @default.
• W2904149077 creator A5020018687 @default.
• W2904149077 creator A5028825359 @default.
• W2904149077 creator A5030109984 @default.
• W2904149077 creator A5060442004 @default.
• W2904149077 creator A5073867567 @default.
• W2904149077 date "2018-12-09" @default.
• W2904149077 modified "2023-09-27" @default.
• W2904149077 title "Software Fault Tolerance for Cyber-Physical Systems via Full System Restart" @default.
• W2904149077 cites W120748129 @default.
• W2904149077 cites W1498432697 @default.
• W2904149077 cites W1598855039 @default.
• W2904149077 cites W1859752500 @default.
• W2904149077 cites W1874259713 @default.
• W2904149077 cites W1880805667 @default.
• W2904149077 cites W1995790716 @default.
• W2904149077 cites W2044786260 @default.
• W2904149077 cites W2084597192 @default.
• W2904149077 cites W2097958451 @default.
• W2904149077 cites W2107635250 @default.
• W2904149077 cites W2109192777 @default.
• W2904149077 cites W2129555535 @default.
• W2904149077 cites W2135410595 @default.
• W2904149077 cites W2140991542 @default.
• W2904149077 cites W2154867660 @default.
• W2904149077 cites W2156093990 @default.
• W2904149077 cites W2161056315 @default.
• W2904149077 cites W2169239645 @default.
• W2904149077 cites W2337661843 @default.
• W2904149077 cites W2493389545 @default.
• W2904149077 cites W2528477671 @default.
• W2904149077 cites W2554640547 @default.
• W2904149077 cites W2606525299 @default.
• W2904149077 cites W3103706207 @default.
• W2904149077 cites W3106144869 @default.
• W2904149077 cites W4564113 @default.
• W2904149077 hasPublicationYear "2018" @default.
• W2904149077 type Work @default.
• W2904149077 sameAs 2904149077 @default.
• W2904149077 citedByCount "0" @default.
• W2904149077 crossrefType "posted-content" @default.
• W2904149077 hasAuthorship W2904149077A5020018687 @default.
• W2904149077 hasAuthorship W2904149077A5028825359 @default.
• W2904149077 hasAuthorship W2904149077A5030109984 @default.
• W2904149077 hasAuthorship W2904149077A5060442004 @default.
• W2904149077 hasAuthorship W2904149077A5073867567 @default.
• W2904149077 hasConcept C111472728 @default.
• W2904149077 hasConcept C111919701 @default.
• W2904149077 hasConcept C116672817 @default.
• W2904149077 hasConcept C120314980 @default.
• W2904149077 hasConcept C121332964 @default.
• W2904149077 hasConcept C124304363 @default.
• W2904149077 hasConcept C127413603 @default.
• W2904149077 hasConcept C133731056 @default.
• W2904149077 hasConcept C138885662 @default.
• W2904149077 hasConcept C149635348 @default.
• W2904149077 hasConcept C158622935 @default.
• W2904149077 hasConcept C163258240 @default.
• W2904149077 hasConcept C179768478 @default.
• W2904149077 hasConcept C192921069 @default.
• W2904149077 hasConcept C203479927 @default.
• W2904149077 hasConcept C2775928411 @default.
• W2904149077 hasConcept C2777904410 @default.
• W2904149077 hasConcept C28472234 @default.
• W2904149077 hasConcept C41008148 @default.
• W2904149077 hasConcept C43214815 @default.
• W2904149077 hasConcept C50712370 @default.
• W2904149077 hasConcept C62520636 @default.
• W2904149077 hasConcept C63540848 @default.
• W2904149077 hasConcept C6557445 @default.
• W2904149077 hasConcept C86803240 @default.
• W2904149077 hasConceptScore W2904149077C111472728 @default.
• W2904149077 hasConceptScore W2904149077C111919701 @default.
• W2904149077 hasConceptScore W2904149077C116672817 @default.
• W2904149077 hasConceptScore W2904149077C120314980 @default.
• W2904149077 hasConceptScore W2904149077C121332964 @default.
• W2904149077 hasConceptScore W2904149077C124304363 @default.
• W2904149077 hasConceptScore W2904149077C127413603 @default.
• W2904149077 hasConceptScore W2904149077C133731056 @default.
• W2904149077 hasConceptScore W2904149077C138885662 @default.
• W2904149077 hasConceptScore W2904149077C149635348 @default.
• W2904149077 hasConceptScore W2904149077C158622935 @default.
• W2904149077 hasConceptScore W2904149077C163258240 @default.
• W2904149077 hasConceptScore W2904149077C179768478 @default.
• W2904149077 hasConceptScore W2904149077C192921069 @default.
• W2904149077 hasConceptScore W2904149077C203479927 @default.
• W2904149077 hasConceptScore W2904149077C2775928411 @default.
• W2904149077 hasConceptScore W2904149077C2777904410 @default.
• W2904149077 hasConceptScore W2904149077C28472234 @default.
• W2904149077 hasConceptScore W2904149077C41008148 @default.
• W2904149077 hasConceptScore W2904149077C43214815 @default.
• W2904149077 hasConceptScore W2904149077C50712370 @default.
• W2904149077 hasConceptScore W2904149077C62520636 @default.
• W2904149077 hasConceptScore W2904149077C63540848 @default.
• W2904149077 hasConceptScore W2904149077C6557445 @default.
• W2904149077 hasConceptScore W2904149077C86803240 @default.
• W2904149077 hasLocation W29041490771 @default.
• W2904149077 hasOpenAccess W2904149077 @default.
• W2904149077 hasPrimaryLocation W29041490771 @default.

• next