Combining different binary decision diagram techniques for solving models with multiple failure states

Abstract

International audienceThis article explains information flow diagrams (IFDs) in great detail. With these models, scenarios leading to dangerous failures as well as spurious shutdowns can be generated, taking into account several failure modes for basic components. These scenarios can be evaluated in a qualitative and quantified way. For an efficient solution different BDD-techniques were combined, mainly zero suppressed BDDs and binary expression diagrams. It is shown how these techniques were used for the model and how a large BDD is created by assembling several smaller diagrams, so that even large and complex systems can be described and evaluated in a compact and efficient way

Reliability analysis of multi-state system with application of multiple-valued logic

“…Note that the structure function of BSS is the Boolean function as a rule (Schneeweiss, 2009; Dutuit and Rauzy, 2001). The structure function method extension for the investigation of MSS is based on Boolean logic mostly (Zang et al , 1999; Pang and Lai, 2013; Pock et al , 2011; Yeh et al , 2015). In this case a system with some performance levels and some states of components is transformed into a set of systems with two performance levels and two states of components.…”

Reliability analysis of generalized multi-state k-out-of-n systems

“…Traditionally, these dependencies are accounted for in system reliability analysis using methods such as multi-valued truth tables, enumeration based on critical state vectors (multistate path/cut sets), and Monte Carlo simulation [7][8][9]. Recent advances in multi-state system analysis include the development of methods based on universal generating functions [10], binary decision diagrams [11], and their generalizations [12]. Although there has been considerable research effort expended on multi-state systems over the *Corresponding author: Reliability Engineering Centre, IIT Kharagpur, Kharagpur (West Bengal), India email: skcrec@hijli.iitkgp.ernet.in past four decades [2], the reliability analysis of these systems remains a challenging task for the general case due to its inherent complexity.…”