Probabilistic Calculations for Large Boolean Models

Jean-Pierre Signoret () and Alain Leroy ()
Additional contact information
Jean-Pierre Signoret: Total Professeurs Associés

Chapter Chapter 21 in Reliability Assessment of Safety and Production Systems, 2021, pp 265-283 from Springer

Abstract: Abstract This chapter aims to explain how to overcome the shortcomings of the Sylvester-Poincaré formula by implementing calculation techniques based on the binary decision diagrams (BDDs). It explains, with simple examples, how the Shannon decomposition of the related logic formulae leads to build equivalent BDDs. Then, it explains how to do that directly from fault trees. It describes how the main problem of BDDs (i.e. the size which varies very much according to the ordering of the logic variables used to develop it) can be mitigated by using relevant heuristics. Then it illustrates the flexibility of BDDs for probabilistic calculations (probability of success or failure as well as conditional probabilities) and minimal cut and tie set identification and calculations. At the present time, the use of BDDs represents the state of the art with regards to calculations based on Boolean models.

Date: 2021
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

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:spr:ssrchp:978-3-030-64708-7_21

Ordering information: This item can be ordered from
http://www.springer.com/9783030647087

DOI: 10.1007/978-3-030-64708-7_21

Access Statistics for this chapter

More chapters in Springer Series in Reliability Engineering from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().