IDEAS home Printed from https://ideas.repec.org/h/spr/ssrchp/978-3-030-64708-7_21.html
   My bibliography  Save this book chapter

Probabilistic Calculations for Large Boolean Models

In: Reliability Assessment of Safety and Production Systems

Author

Listed:
  • Jean-Pierre Signoret

    (Total Professeurs Associés)

  • Alain Leroy

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.

Suggested Citation

  • Jean-Pierre Signoret & Alain Leroy, 2021. "Probabilistic Calculations for Large Boolean Models," Springer Series in Reliability Engineering, in: Reliability Assessment of Safety and Production Systems, chapter 0, pages 265-283, Springer.
    • Handle: RePEc:spr:ssrchp:978-3-030-64708-7_21
    DOI: 10.1007/978-3-030-64708-7_21
    as

    Download full text from publisher

    To our knowledge, this item is not available for download. To find whether it is available, there are three options:
    1. Check below whether another version of this item is available online.
    2. Check on the provider's web page whether it is in fact available.
    3. Perform a search for a similarly titled item that would be available.

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:spr:ssrchp:978-3-030-64708-7_21. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.