• DocumentCode
    1020105
  • Title

    Comments on PMS BDD generation in "A BDD-based algorithm for Reliability Analysis of phased-mission systems

  • Author

    Xing, Liudong ; Dugan, Joanne Bechta

  • Author_Institution
    Dept. of Electr. & Comput. Eng., Univ. of Massachusetts, Dartmouth, MA, USA
  • Volume
    53
  • Issue
    2
  • fYear
    2004
  • fDate
    6/1/2004 12:00:00 AM
  • Firstpage
    169
  • Lastpage
    173
  • Abstract
    This paper discusses some of the difficulties in the paper: "A BDD-based algorithm for reliability analysis of phased-mission systems" by X. Zang, H. Sun, and K. S. Trivedi.
  • Keywords
    binary decision diagrams; reliability; BDD-based algorithm; binary decision diagrams; phase dependent operation; phased-mission system; reliability analysis; Algorithm design and analysis; Binary decision diagrams; Boolean functions; Data structures; Differential equations; Fault trees; Sun;
  • fLanguage
    English
  • Journal_Title
    Reliability, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9529
  • Type

    jour

  • DOI
    10.1109/TR.2004.829136
  • Filename
    1308660
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1020105