Improving reliability calculation with augmented binary decision diagrams

The Augmented Ordered Binary Decision Diagram (OBDD-A) has been shown to be extremely efficient for reliability calculations, especially when combined with the Boundary Set method of partition representation. The existing OBDD-A follows the Boundary Set method closely, requiring the calculation of p...

Full description

Bibliographic Details
Main Author: Herrmann, Johannes u
Other Authors: Lisa O'Connor
Format: Conference Paper
Published: IEEE Computer Society 2010
Subjects:
Online Access:http://hdl.handle.net/20.500.11937/31674