Comments on PMS BDD generation in 'A BDD-based algorithm for reliability analysis of phased-mission systems' [2]
This paper discusses some of the difficulties in the paper: "A BIDD-based algorithm for reliability analysis of phased-mission systems" by X. Zang, H. Sun, and K.S. Trivedi.
binaky decision diagrams (bdd) phase dependent operation (pdo) phased-mission systems (pms)