Computing the probabilities of the top event fro the ROBDDs (CROSBI ID 474444)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Banov, Reni ; Šimić, Zdenko ; Mikuličić, Vladimir
engleski
Computing the probabilities of the top event fro the ROBDDs
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.
fault tree; probability
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
159-162-x.
2000.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of the Second International Conference on Mathematical Methods in Reliability (Vol. 1)
Podaci o skupu
MMR's 2000 - Second International Conference on Mathematical Methods in Reliability
predavanje
04.07.2000-07.07.2000
Bordeaux, Francuska