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
fDate :
6/1/2004 12:00:00 AM
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;
Journal_Title :
Reliability, IEEE Transactions on
DOI :
10.1109/TR.2004.829136
