Tehničko veleučilište u Zagrebu · Zagreb

Computing the probabilities of the top event fro the ROBDDs

izvorni znanstveni rad

izvorni znanstveni rad

Computing the probabilities of the top event fro the ROBDDs

Vrsta prilog sa skupa (u zborniku)
Tip izvorni znanstveni rad
Godina 2000
Nadređena publikacija Proceedings of the Second International Conference on Mathematical Methods in Reliability (Vol. 1)
Status objavljeno

Sažetak

The fault trees can be very economically encoded by means of ROBDDs. Besides that it is well known that the probabilities of the top event can be computed from the ROBDD encoding the initial fault tree by simple recursive algorithm. It is our intention to show that it is possible to get different kinds of approximations of the probability of the top event when the ROBDD representation is used for the minimal cut set. In our test examples we will show that these differences can be significant, and that this type of calculations should be taken carefully.

Ključne riječi

fault tree; probability