Neural Network Selection Mechanism for BDD Construction

Quality and Reliability Engineering International

Volumn 20, Issue 3, 2004, Pages 217-223

  Bartlett, Lisa M ^a  

^a LOUGHBOROUGH UNIVERSITY   (United Kingdom)

Author keywords

Binary decision diagrams; Fault tree analysis; Jacobian matrix; Neural networks; Variable ordering

Indexed keywords

DECISION THEORY; FAULT TREE ANALYSIS; GENETIC ALGORITHMS; HEURISTIC METHODS; MATRIX ALGEBRA; PATTERN RECOGNITION; PROBLEM SOLVING; RISK ASSESSMENT;

BINARY DECISION DIAGRAMS (BDD); JACOBIAN MATRIX; VARIABLE ORDERING;

MULTILAYER NEURAL NETWORKS;

EID: 1842664906     PISSN: 07488017     EISSN: None     Source Type: Journal    
DOI: 10.1002/qre.562     Document Type: Conference Paper

References (16)

1. Akers SB. Binary decision diagrams. IEEE Transactions on Computers 1978; 27:509-516.
2. Rauzy A. A brief introduction to binary decision diagrams. European Journal of Automation 1996; 30(8):1033-1051.
3. Rauzy A. New algorithms for fault tree analysis. Reliability Engineering and System Safety 1993; 40:203-211.
4. Sinnamon RM, Andrews JD. Quantitative fault tree analysis using binary decision diagrams. European Journal of Automation 1996; 30(8):1051-1071.
5. Bryant RE. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers 1986; 35(8):677-691.
6. Sinnamon RM, Andrews JD. Improved efficiency in qualitative fault tree analysis. Advances in Reliability Technology Symposium, Manchester, 1996.
7. Sinnamon RM, Andrews JD. Fault tree analysis and binary decision diagrams. Proceedings of the Reliability and Maintainability Symposium, Las Vegas, NV, January 1996.
8. Minato S, Ishiura N, Yajima S. On variable ordering of binary decision diagrams for the application of the multi-level logic synthesis. Proceedings of the European Conference on Design Automation, 1991; 50-54.
9. Bouissou M, Bruyere F, Rauzy A. BDD based fault-tree processing: A comparison of variable ordering heuristics. Proceedings of ESREL'97 Conference, August 1997.
10. Bouissou M. An ordering heuristic for building binary decision diagrams from fault trees. Proceedings of Reliability and Maintainability Symposium, Las Vegas, NV, 1996; 208-214.
11. Fujita M, Fujisawa H, Kawato N. Evaluation and improvements of Boolean comparison method based on binary decision diagrams. IEEE Transactions on Computer Aided Design (Conference), November 1988; 2-5.
12. Bartlett LM, Andrews JD. Efficient basic event ordering schemes for fault tree analysis. Quality and Reliability Engineering International 1999; 15:95-101.
13. Bartlett LM, Andrews JD. Comparison of two new approaches to variable ordering for binary decision diagrams. Proceedings of Advances in Reliability Techniques Symposium, Manchester, November 2000.
14. Bartlett LM, Andrews JD. Selecting an ordering heuristic for the fault tree to binary decision diagram conversion process using neural networks. IEEE Transactions on Reliability 2002; 51 (3):344-349.
15. Bishop CM. Neural Networks for Pattern Recognition. Clarendon Press: Oxford, 1995.
16. Andrews JD, Bartlett LM. Efficient basic event orderings for binary decision diagrams. Proceedings of the Annual Reliability and Maintainability Symposium, 1998; 61-68.