Pregled bibliografske jedinice broj: 43750
Computing the probabilities of the top event fro the ROBDDs
Computing the probabilities of the top event fro the ROBDDs // Proceedings of the Second International Conference on Mathematical Methods in Reliability (Vol. 1)
Bordeaux, Francuska, 2000. str. 159-162 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 43750 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Computing the probabilities of the top event fro the ROBDDs
Autori
Banov, Reni ; Šimić, Zdenko ; Mikuličić, Vladimir
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Proceedings of the Second International Conference on Mathematical Methods in Reliability (Vol. 1)
/ - , 2000, 159-162
Skup
MMR's 2000 - Second International Conference on Mathematical Methods in Reliability
Mjesto i datum
Bordeaux, Francuska, 04.07.2000. - 07.07.2000
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
fault tree; probability
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.
Izvorni jezik
Engleski
Znanstvena područja
Elektrotehnika
