Matches in SemOpenAlex for { <https://semopenalex.org/work/W2981878981> ?p ?o ?g. }
- W2981878981 abstract "Fault Tree Analysis (FTA) is a prominent technique in industrial and scientific risk assessment. Repairable Fault Trees (RFT) enhance the classical Fault Tree (FT) model by introducing the possibility to describe complex dependent repairs of system components. Usual frameworks for analyzing FTs such as BDD, SBDD, and Markov chains fail to assess the desired properties over RFT complex models, either because these become too large, or due to cyclic behaviour introduced by dependent repairs. Simulation is another way to carry out this kind of analysis. In this paper we review the RFT model with Repair Boxes as introduced by Daniele Codetta-Raiteri. We present compositional semantics for this model in terms of Input/Output Stochastic Automata, which allows for the modelling of events occurring according to general continuous distribution. Moreover, we prove that the semantics generates (weakly) deterministic models, hence suitable for discrete event simulation, and prominently for Rare Event Simulation using the FIG tool." @default.
- W2981878981 created "2019-11-01" @default.
- W2981878981 creator A5026004403 @default.
- W2981878981 creator A5027069142 @default.
- W2981878981 creator A5059610025 @default.
- W2981878981 date "2019-10-23" @default.
- W2981878981 modified "2023-10-05" @default.
- W2981878981 title "A compositional semantics for Repairable Fault Trees with general distributions" @default.
- W2981878981 cites W1503973138 @default.
- W2981878981 cites W1543835543 @default.
- W2981878981 cites W1549434585 @default.
- W2981878981 cites W1556549114 @default.
- W2981878981 cites W1593351982 @default.
- W2981878981 cites W1826950235 @default.
- W2981878981 cites W1963640323 @default.
- W2981878981 cites W2003109266 @default.
- W2981878981 cites W2006268838 @default.
- W2981878981 cites W2007100591 @default.
- W2981878981 cites W2093058299 @default.
- W2981878981 cites W2106132160 @default.
- W2981878981 cites W2110411539 @default.
- W2981878981 cites W2121337044 @default.
- W2981878981 cites W2134991157 @default.
- W2981878981 cites W2142486837 @default.
- W2981878981 cites W2154884120 @default.
- W2981878981 cites W2165214855 @default.
- W2981878981 cites W2166255034 @default.
- W2981878981 cites W2170015536 @default.
- W2981878981 cites W2170449522 @default.
- W2981878981 cites W2239654746 @default.
- W2981878981 cites W2259883075 @default.
- W2981878981 cites W2528343907 @default.
- W2981878981 cites W2577010265 @default.
- W2981878981 cites W2598014203 @default.
- W2981878981 cites W2606325319 @default.
- W2981878981 cites W2611336012 @default.
- W2981878981 cites W2886750470 @default.
- W2981878981 cites W3165744266 @default.
- W2981878981 cites W34142743 @default.
- W2981878981 cites W597526143 @default.
- W2981878981 hasPublicationYear "2019" @default.
- W2981878981 type Work @default.
- W2981878981 sameAs 2981878981 @default.
- W2981878981 citedByCount "0" @default.
- W2981878981 crossrefType "posted-content" @default.
- W2981878981 hasAuthorship W2981878981A5026004403 @default.
- W2981878981 hasAuthorship W2981878981A5027069142 @default.
- W2981878981 hasAuthorship W2981878981A5059610025 @default.
- W2981878981 hasConcept C107094494 @default.
- W2981878981 hasConcept C112505250 @default.
- W2981878981 hasConcept C113174947 @default.
- W2981878981 hasConcept C11413529 @default.
- W2981878981 hasConcept C114614502 @default.
- W2981878981 hasConcept C119857082 @default.
- W2981878981 hasConcept C121332964 @default.
- W2981878981 hasConcept C127313418 @default.
- W2981878981 hasConcept C127413603 @default.
- W2981878981 hasConcept C147203929 @default.
- W2981878981 hasConcept C165205528 @default.
- W2981878981 hasConcept C175551986 @default.
- W2981878981 hasConcept C184337299 @default.
- W2981878981 hasConcept C199360897 @default.
- W2981878981 hasConcept C200601418 @default.
- W2981878981 hasConcept C2779662365 @default.
- W2981878981 hasConcept C33923547 @default.
- W2981878981 hasConcept C41008148 @default.
- W2981878981 hasConcept C44154836 @default.
- W2981878981 hasConcept C62520636 @default.
- W2981878981 hasConcept C65898831 @default.
- W2981878981 hasConcept C80444323 @default.
- W2981878981 hasConcept C98763669 @default.
- W2981878981 hasConceptScore W2981878981C107094494 @default.
- W2981878981 hasConceptScore W2981878981C112505250 @default.
- W2981878981 hasConceptScore W2981878981C113174947 @default.
- W2981878981 hasConceptScore W2981878981C11413529 @default.
- W2981878981 hasConceptScore W2981878981C114614502 @default.
- W2981878981 hasConceptScore W2981878981C119857082 @default.
- W2981878981 hasConceptScore W2981878981C121332964 @default.
- W2981878981 hasConceptScore W2981878981C127313418 @default.
- W2981878981 hasConceptScore W2981878981C127413603 @default.
- W2981878981 hasConceptScore W2981878981C147203929 @default.
- W2981878981 hasConceptScore W2981878981C165205528 @default.
- W2981878981 hasConceptScore W2981878981C175551986 @default.
- W2981878981 hasConceptScore W2981878981C184337299 @default.
- W2981878981 hasConceptScore W2981878981C199360897 @default.
- W2981878981 hasConceptScore W2981878981C200601418 @default.
- W2981878981 hasConceptScore W2981878981C2779662365 @default.
- W2981878981 hasConceptScore W2981878981C33923547 @default.
- W2981878981 hasConceptScore W2981878981C41008148 @default.
- W2981878981 hasConceptScore W2981878981C44154836 @default.
- W2981878981 hasConceptScore W2981878981C62520636 @default.
- W2981878981 hasConceptScore W2981878981C65898831 @default.
- W2981878981 hasConceptScore W2981878981C80444323 @default.
- W2981878981 hasConceptScore W2981878981C98763669 @default.
- W2981878981 hasLocation W29818789811 @default.
- W2981878981 hasOpenAccess W2981878981 @default.
- W2981878981 hasPrimaryLocation W29818789811 @default.
- W2981878981 hasRelatedWork W144207524 @default.
- W2981878981 hasRelatedWork W147046584 @default.
- W2981878981 hasRelatedWork W1539631318 @default.