Matches in SemOpenAlex for { <https://semopenalex.org/work/W1550168504> ?p ?o ?g. }
- W1550168504 endingPage "84" @default.
- W1550168504 startingPage "71" @default.
- W1550168504 abstract "In recent years, several approaches to generate probabilistic counterexamples have been proposed. The interpretation of stochastic counterexamples, however, continues to be problematic since they have to be represented as sets of paths, and the number of paths in this set may be very large. Fault trees (FTs) are a well-established industrial technique to represent causalities for possible system hazards resulting from system or system component failures. In this paper we suggest a method to automatically derive FTs from counterexamples, including a mapping of the probability information onto the FT. We extend the structural equation approach by Pearl and Halpern, which is based on Lewis counterfactuals, so that it serves as a justification for the causality that our proposed FT derivation rules imply. We demonstrate the usefulness of our approach by applying it to an industrial case study.KeywordsModel CheckActual WorldCausal ProcessBasic EventFault TreeThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1550168504 created "2016-06-24" @default.
- W1550168504 creator A5023654677 @default.
- W1550168504 creator A5038809501 @default.
- W1550168504 creator A5045470371 @default.
- W1550168504 date "2011-01-01" @default.
- W1550168504 modified "2023-09-27" @default.
- W1550168504 title "From Probabilistic Counterexamples via Causality to Fault Trees" @default.
- W1550168504 cites W1566550141 @default.
- W1550168504 cites W1606271155 @default.
- W1550168504 cites W1814905144 @default.
- W1550168504 cites W1859458367 @default.
- W1550168504 cites W1889085354 @default.
- W1550168504 cites W2007125424 @default.
- W1550168504 cites W2071894919 @default.
- W1550168504 cites W2137819283 @default.
- W1550168504 cites W2141881497 @default.
- W1550168504 cites W2154884120 @default.
- W1550168504 cites W2156008373 @default.
- W1550168504 doi "https://doi.org/10.1007/978-3-642-24270-0_6" @default.
- W1550168504 hasPublicationYear "2011" @default.
- W1550168504 type Work @default.
- W1550168504 sameAs 1550168504 @default.
- W1550168504 citedByCount "35" @default.
- W1550168504 countsByYear W15501685042012 @default.
- W1550168504 countsByYear W15501685042013 @default.
- W1550168504 countsByYear W15501685042014 @default.
- W1550168504 countsByYear W15501685042015 @default.
- W1550168504 countsByYear W15501685042016 @default.
- W1550168504 countsByYear W15501685042017 @default.
- W1550168504 countsByYear W15501685042019 @default.
- W1550168504 countsByYear W15501685042020 @default.
- W1550168504 countsByYear W15501685042021 @default.
- W1550168504 countsByYear W15501685042022 @default.
- W1550168504 crossrefType "book-chapter" @default.
- W1550168504 hasAuthorship W1550168504A5023654677 @default.
- W1550168504 hasAuthorship W1550168504A5038809501 @default.
- W1550168504 hasAuthorship W1550168504A5045470371 @default.
- W1550168504 hasBestOaLocation W15501685042 @default.
- W1550168504 hasConcept C107094494 @default.
- W1550168504 hasConcept C108650721 @default.
- W1550168504 hasConcept C111472728 @default.
- W1550168504 hasConcept C11413529 @default.
- W1550168504 hasConcept C118615104 @default.
- W1550168504 hasConcept C121332964 @default.
- W1550168504 hasConcept C127413603 @default.
- W1550168504 hasConcept C138885662 @default.
- W1550168504 hasConcept C154945302 @default.
- W1550168504 hasConcept C162838799 @default.
- W1550168504 hasConcept C177264268 @default.
- W1550168504 hasConcept C199360897 @default.
- W1550168504 hasConcept C200601418 @default.
- W1550168504 hasConcept C33923547 @default.
- W1550168504 hasConcept C41008148 @default.
- W1550168504 hasConcept C49937458 @default.
- W1550168504 hasConcept C527412718 @default.
- W1550168504 hasConcept C62520636 @default.
- W1550168504 hasConcept C64357122 @default.
- W1550168504 hasConcept C71889745 @default.
- W1550168504 hasConcept C80444323 @default.
- W1550168504 hasConcept C98045186 @default.
- W1550168504 hasConceptScore W1550168504C107094494 @default.
- W1550168504 hasConceptScore W1550168504C108650721 @default.
- W1550168504 hasConceptScore W1550168504C111472728 @default.
- W1550168504 hasConceptScore W1550168504C11413529 @default.
- W1550168504 hasConceptScore W1550168504C118615104 @default.
- W1550168504 hasConceptScore W1550168504C121332964 @default.
- W1550168504 hasConceptScore W1550168504C127413603 @default.
- W1550168504 hasConceptScore W1550168504C138885662 @default.
- W1550168504 hasConceptScore W1550168504C154945302 @default.
- W1550168504 hasConceptScore W1550168504C162838799 @default.
- W1550168504 hasConceptScore W1550168504C177264268 @default.
- W1550168504 hasConceptScore W1550168504C199360897 @default.
- W1550168504 hasConceptScore W1550168504C200601418 @default.
- W1550168504 hasConceptScore W1550168504C33923547 @default.
- W1550168504 hasConceptScore W1550168504C41008148 @default.
- W1550168504 hasConceptScore W1550168504C49937458 @default.
- W1550168504 hasConceptScore W1550168504C527412718 @default.
- W1550168504 hasConceptScore W1550168504C62520636 @default.
- W1550168504 hasConceptScore W1550168504C64357122 @default.
- W1550168504 hasConceptScore W1550168504C71889745 @default.
- W1550168504 hasConceptScore W1550168504C80444323 @default.
- W1550168504 hasConceptScore W1550168504C98045186 @default.
- W1550168504 hasLocation W15501685041 @default.
- W1550168504 hasLocation W15501685042 @default.
- W1550168504 hasLocation W15501685043 @default.
- W1550168504 hasOpenAccess W1550168504 @default.
- W1550168504 hasPrimaryLocation W15501685041 @default.
- W1550168504 hasRelatedWork W1544497644 @default.
- W1550168504 hasRelatedWork W1550168504 @default.
- W1550168504 hasRelatedWork W1915198063 @default.
- W1550168504 hasRelatedWork W2064134784 @default.
- W1550168504 hasRelatedWork W2105172619 @default.
- W1550168504 hasRelatedWork W2217185886 @default.
- W1550168504 hasRelatedWork W2734341768 @default.
- W1550168504 hasRelatedWork W2950723509 @default.
- W1550168504 hasRelatedWork W3101973194 @default.
- W1550168504 hasRelatedWork W4281920455 @default.