FRINK Linked Data Fragments server

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

• W4231208998 endingPage "361" @default.
• W4231208998 startingPage "332" @default.
• W4231208998 abstract "Shield synthesis is an approach to enforce safety properties at runtime. A shield monitors the system and corrects any erroneous output values instantaneously. The shield deviates from the given outputs as little as it can and recovers to hand back control to the system as soon as possible. In the first part of this paper, we consider shield synthesis for reactive hardware systems. First, we define a general framework for solving the shield synthesis problem. Second, we discuss two concrete shield synthesis methods that automatically construct shields from a set of safety properties: (1) k-stabilizing shields, which guarantee recovery in a finite time. (2) Admissible shields, which attempt to work with the system to recover as soon as possible. Next, we discuss an extension of k-stabilizing and admissible shields, where erroneous output values of the reactive system are corrected while liveness properties of the system are preserved. Finally, we give experimental results for both synthesis methods. In the second part of the paper, we consider shielding a human operator instead of shielding a reactive system: the outputs to be corrected are not initiated by a system but by a human operator who works with an autonomous system. The challenge here lies in giving simple and intuitive explanations to the human for any interferences of the shield. We present results involving mission planning for unmanned aerial vehicles." @default.
• W4231208998 created "2022-05-12" @default.
• W4231208998 creator A5007221616 @default.
• W4231208998 creator A5034114933 @default.
• W4231208998 creator A5042655793 @default.
• W4231208998 creator A5053520475 @default.
• W4231208998 creator A5055838753 @default.
• W4231208998 creator A5068407760 @default.
• W4231208998 creator A5068441112 @default.
• W4231208998 date "2017-09-25" @default.
• W4231208998 modified "2023-10-16" @default.
• W4231208998 title "Shield synthesis" @default.
• W4231208998 cites W1512912754 @default.
• W4231208998 cites W1523747463 @default.
• W4231208998 cites W1528837436 @default.
• W4231208998 cites W1543575039 @default.
• W4231208998 cites W1603488308 @default.
• W4231208998 cites W1975294133 @default.
• W4231208998 cites W1978520001 @default.
• W4231208998 cites W1996832037 @default.
• W4231208998 cites W2020169768 @default.
• W4231208998 cites W2023808162 @default.
• W4231208998 cites W2041701185 @default.
• W4231208998 cites W2043996829 @default.
• W4231208998 cites W2080267935 @default.
• W4231208998 cites W2080915207 @default.
• W4231208998 cites W2082212664 @default.
• W4231208998 cites W2098682681 @default.
• W4231208998 cites W2101623441 @default.
• W4231208998 cites W2118477082 @default.
• W4231208998 cites W2121393255 @default.
• W4231208998 cites W2147986845 @default.
• W4231208998 cites W2164933205 @default.
• W4231208998 cites W2169677720 @default.
• W4231208998 cites W2221866689 @default.
• W4231208998 cites W2323089860 @default.
• W4231208998 cites W2541515294 @default.
• W4231208998 cites W2914206182 @default.
• W4231208998 cites W2963530628 @default.
• W4231208998 cites W3150926507 @default.
• W4231208998 cites W4245764324 @default.
• W4231208998 doi "https://doi.org/10.1007/s10703-017-0276-9" @default.
• W4231208998 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/32009740" @default.
• W4231208998 hasPublicationYear "2017" @default.
• W4231208998 type Work @default.
• W4231208998 citedByCount "30" @default.
• W4231208998 countsByYear W42312089982018 @default.
• W4231208998 countsByYear W42312089982019 @default.
• W4231208998 countsByYear W42312089982020 @default.
• W4231208998 countsByYear W42312089982021 @default.
• W4231208998 countsByYear W42312089982022 @default.
• W4231208998 countsByYear W42312089982023 @default.
• W4231208998 crossrefType "journal-article" @default.
• W4231208998 hasAuthorship W4231208998A5007221616 @default.
• W4231208998 hasAuthorship W4231208998A5034114933 @default.
• W4231208998 hasAuthorship W4231208998A5042655793 @default.
• W4231208998 hasAuthorship W4231208998A5053520475 @default.
• W4231208998 hasAuthorship W4231208998A5055838753 @default.
• W4231208998 hasAuthorship W4231208998A5068407760 @default.
• W4231208998 hasAuthorship W4231208998A5068441112 @default.
• W4231208998 hasBestOaLocation W42312089981 @default.
• W4231208998 hasConcept C104317684 @default.
• W4231208998 hasConcept C109589588 @default.
• W4231208998 hasConcept C111472728 @default.
• W4231208998 hasConcept C119599485 @default.
• W4231208998 hasConcept C120314980 @default.
• W4231208998 hasConcept C127313418 @default.
• W4231208998 hasConcept C127413603 @default.
• W4231208998 hasConcept C138081364 @default.
• W4231208998 hasConcept C138885662 @default.
• W4231208998 hasConcept C154945302 @default.
• W4231208998 hasConcept C15569618 @default.
• W4231208998 hasConcept C158448853 @default.
• W4231208998 hasConcept C17020691 @default.
• W4231208998 hasConcept C177264268 @default.
• W4231208998 hasConcept C185592680 @default.
• W4231208998 hasConcept C199360897 @default.
• W4231208998 hasConcept C2265751 @default.
• W4231208998 hasConcept C2775924081 @default.
• W4231208998 hasConcept C2778029271 @default.
• W4231208998 hasConcept C2780586882 @default.
• W4231208998 hasConcept C41008148 @default.
• W4231208998 hasConcept C44154836 @default.
• W4231208998 hasConcept C47446073 @default.
• W4231208998 hasConcept C55493867 @default.
• W4231208998 hasConcept C5900021 @default.
• W4231208998 hasConcept C86339819 @default.
• W4231208998 hasConceptScore W4231208998C104317684 @default.
• W4231208998 hasConceptScore W4231208998C109589588 @default.
• W4231208998 hasConceptScore W4231208998C111472728 @default.
• W4231208998 hasConceptScore W4231208998C119599485 @default.
• W4231208998 hasConceptScore W4231208998C120314980 @default.
• W4231208998 hasConceptScore W4231208998C127313418 @default.
• W4231208998 hasConceptScore W4231208998C127413603 @default.
• W4231208998 hasConceptScore W4231208998C138081364 @default.
• W4231208998 hasConceptScore W4231208998C138885662 @default.
• W4231208998 hasConceptScore W4231208998C154945302 @default.
• W4231208998 hasConceptScore W4231208998C15569618 @default.

• next