By Topic

A Novel Ordering Method of Binary Decision Diagram

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Du Su-guo ; Antai College of Economics & Management, Shanghai Jiaotong University, P.R.China, 200052 ; Sun Yan

Binary decision diagram (BDD) is an efficient algorithm applied in many domains. When used in the area of system reliability and safety, the BDD technology can improve both qualitative and quantitative analysis of system failures by solving large fault trees. However, the size of a BDD depends critically on the decision variable (basic event of fault trees) ordering. This paper proposed a novel ordering method, named as progressive neighbor first (PNF) ordering, which emphasizes the logical relationship of the basic event variables in a fault tree. The ordering priority gives to the neighbor events of an ordered variable. It is a progressive ordering method, i.e., on each BDD branch, it allows different variable ordering. Compared with current existing ordering heuristics, our proposed PNF ordering method shows a significant advantage on the performance of BDD size.

Published in:

2007 International Conference on Management Science and Engineering

Date of Conference:

20-22 Aug. 2007