FRINK Linked Data Fragments server

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

• W4323026687 endingPage "221" @default.
• W4323026687 startingPage "199" @default.
• W4323026687 abstract "Safety-critical infrastructures must operate in a safe and reliable way. Fault tree analysis is a widespread method used for risk assessment of these systems: fault trees (FTs) are required by, e.g., the Federal Aviation Administration and the Nuclear Regulatory Commission. In spite of their popularity, little work has been done on formulating structural queries about FT and analyzing these, e.g., when evaluating potential scenarios, and to give practitioners instruments to formulate queries on FTs in an understandable yet powerful way. In this paper, we aim to fill this gap by extending BFL [32], a logic that reasons about Boolean FTs. To do so, we introduce a Probabilistic Fault tree Logic (PFL). PFL is a simple, yet expressive logic that supports easier formulation of complex scenarios and specification of FT properties that comprise probabilities. Alongside PFL, we present LangPFL, a domain specific language to further ease property specification. We showcase PFL and LangPFL by applying them to a COVID-19 related FT and to a FT for an oil/gas pipeline. Finally, we present theory and model checking algorithms based on binary decision diagrams (BDDs)." @default.
• W4323026687 created "2023-03-04" @default.
• W4323026687 creator A5030417706 @default.
• W4323026687 creator A5034122691 @default.
• W4323026687 creator A5053065289 @default.
• W4323026687 creator A5066676005 @default.
• W4323026687 date "2023-01-01" @default.
• W4323026687 modified "2023-10-01" @default.
• W4323026687 title "$$textsf{PFL}$$: A Probabilistic Logic for Fault Trees" @default.
• W4323026687 cites W1501405968 @default.
• W4323026687 cites W1543835464 @default.
• W4323026687 cites W1559540003 @default.
• W4323026687 cites W1590315663 @default.
• W4323026687 cites W1862398452 @default.
• W4323026687 cites W1964385350 @default.
• W4323026687 cites W1981808971 @default.
• W4323026687 cites W1992552504 @default.
• W4323026687 cites W2005998857 @default.
• W4323026687 cites W2013781926 @default.
• W4323026687 cites W2014322692 @default.
• W4323026687 cites W2023808162 @default.
• W4323026687 cites W2048972217 @default.
• W4323026687 cites W2060471081 @default.
• W4323026687 cites W2070874614 @default.
• W4323026687 cites W2104085499 @default.
• W4323026687 cites W2121337044 @default.
• W4323026687 cites W2142486837 @default.
• W4323026687 cites W2277676404 @default.
• W4323026687 cites W2401679532 @default.
• W4323026687 cites W2527393991 @default.
• W4323026687 cites W2572735123 @default.
• W4323026687 cites W2598014203 @default.
• W4323026687 cites W2620928019 @default.
• W4323026687 cites W2759347564 @default.
• W4323026687 cites W2803246896 @default.
• W4323026687 cites W2886769094 @default.
• W4323026687 cites W3134995173 @default.
• W4323026687 cites W3188190072 @default.
• W4323026687 cites W3202368399 @default.
• W4323026687 cites W4205437843 @default.
• W4323026687 cites W4205914096 @default.
• W4323026687 cites W4255413535 @default.
• W4323026687 cites W4285126712 @default.
• W4323026687 cites W4287882619 @default.
• W4323026687 cites W4298236051 @default.
• W4323026687 cites W61993190 @default.
• W4323026687 doi "https://doi.org/10.1007/978-3-031-27481-7_13" @default.
• W4323026687 hasPublicationYear "2023" @default.
• W4323026687 type Work @default.
• W4323026687 citedByCount "0" @default.
• W4323026687 crossrefType "book-chapter" @default.
• W4323026687 hasAuthorship W4323026687A5030417706 @default.
• W4323026687 hasAuthorship W4323026687A5034122691 @default.
• W4323026687 hasAuthorship W4323026687A5053065289 @default.
• W4323026687 hasAuthorship W4323026687A5066676005 @default.
• W4323026687 hasBestOaLocation W43230266872 @default.
• W4323026687 hasConcept C107094494 @default.
• W4323026687 hasConcept C111472728 @default.
• W4323026687 hasConcept C127313418 @default.
• W4323026687 hasConcept C127413603 @default.
• W4323026687 hasConcept C134306372 @default.
• W4323026687 hasConcept C138885662 @default.
• W4323026687 hasConcept C154945302 @default.
• W4323026687 hasConcept C165205528 @default.
• W4323026687 hasConcept C175551986 @default.
• W4323026687 hasConcept C189950617 @default.
• W4323026687 hasConcept C199360897 @default.
• W4323026687 hasConcept C200601418 @default.
• W4323026687 hasConcept C3309909 @default.
• W4323026687 hasConcept C33923547 @default.
• W4323026687 hasConcept C36503486 @default.
• W4323026687 hasConcept C41008148 @default.
• W4323026687 hasConcept C49937458 @default.
• W4323026687 hasConcept C80444323 @default.
• W4323026687 hasConceptScore W4323026687C107094494 @default.
• W4323026687 hasConceptScore W4323026687C111472728 @default.
• W4323026687 hasConceptScore W4323026687C127313418 @default.
• W4323026687 hasConceptScore W4323026687C127413603 @default.
• W4323026687 hasConceptScore W4323026687C134306372 @default.
• W4323026687 hasConceptScore W4323026687C138885662 @default.
• W4323026687 hasConceptScore W4323026687C154945302 @default.
• W4323026687 hasConceptScore W4323026687C165205528 @default.
• W4323026687 hasConceptScore W4323026687C175551986 @default.
• W4323026687 hasConceptScore W4323026687C189950617 @default.
• W4323026687 hasConceptScore W4323026687C199360897 @default.
• W4323026687 hasConceptScore W4323026687C200601418 @default.
• W4323026687 hasConceptScore W4323026687C3309909 @default.
• W4323026687 hasConceptScore W4323026687C33923547 @default.
• W4323026687 hasConceptScore W4323026687C36503486 @default.
• W4323026687 hasConceptScore W4323026687C41008148 @default.
• W4323026687 hasConceptScore W4323026687C49937458 @default.
• W4323026687 hasConceptScore W4323026687C80444323 @default.
• W4323026687 hasLocation W43230266871 @default.
• W4323026687 hasLocation W43230266872 @default.
• W4323026687 hasOpenAccess W4323026687 @default.
• W4323026687 hasPrimaryLocation W43230266871 @default.
• W4323026687 hasRelatedWork W1588952892 @default.
• W4323026687 hasRelatedWork W1846253165 @default.

• next