Academy of Mathematics and Systems Science, CAS Colloquia & Seminars
Speaker:
Prof. Liuxong Xing, University of Massachusetts Dartmouth
Inviter:
Title:
Decision Diagrams for System Reliability Analysis
Time & Venue:
2015.7.28 10:30-11:30am S509
Abstract:
Decision diagrams, which are primarily based on Shannon’s decomposition theorem, can represent logical functions as graphs in the form that is both compact and canonical. Since 1993 when binary decision diagrams were first applied to fault tree reliability analysis of binary-state systems, decision diagrams have become the state-of-the-art combinatorial models for efficient reliability analysis of different types of complex systems. This presentation will explain different forms of decision diagrams, and their applications in reliability analysis of binary-state systems, multi-state systems, and phased-mission systems.
Appendix:
Copyright@2008, All Rights Reserved, Academy of Mathematics and Systems Science, CAS
Tel: 86-10-82541777 Fax: 86-10-82541972 E-mail: contact@amss.ac.cn