Variable ordering schemes to apply to the binary decision diagram methodology for event tree sequences assessment
C Ibáñez-Llano,
E Meléndez and
Nieto F
Journal of Risk and Reliability, 2008, vol. 222, issue 1, 7-16
Abstract:
Binary decision diagram (BDD) methodology is the most recent approach to improve Boolean reliability models assessment. The final size of the BDD, and therefore the ultimate benefits of this technique, are very sensitive to the initial variable ordering that has to be fixed prior to conversion. Several variable ordering strategies have been proposed in the literature, all of them focused on the treatment of single fault tree models. This paper proposes some extensions of existing variable ordering schemes for the case of combinations of non-disjoint fault trees, as is the case in quantifying sequences of event trees. These extensions work by combining ordering schemes applied to each fault tree, and exploring the cases where variables within the domains intersection are kept together or not. They have been specifically designed to be applied together with an incremental procedure to compute the BDD of the sequence accumulatively and to be used to quantify sequences of dynamic event trees. Preliminary results show the potential of this approach.
Keywords: probabilistic risk assessment; event tree analysis; binary decision diagrams; variable ordering heuristics (search for similar items in EconPapers)
Date: 2008
References: View complete reference list from CitEc
Citations:
Downloads: (external link)
https://journals.sagepub.com/doi/10.1243/1748006XJRR67 (text/html)
Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.
Export reference: BibTeX
RIS (EndNote, ProCite, RefMan)
HTML/Text
Persistent link: https://EconPapers.repec.org/RePEc:sae:risrel:v:222:y:2008:i:1:p:7-16
DOI: 10.1243/1748006XJRR67
Access Statistics for this article
More articles in Journal of Risk and Reliability
Bibliographic data for series maintained by SAGE Publications ().