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. 

Speaker Brief Bio:  

Liudong Xing is a professor in the Department of Electrical and Computer Engineering at the University of Massachusetts (UMass), Dartmouth. She received her PhD degree in Electrical Engineering from the University of Virginia, Charlottesville in 2002. Her current research focuses on reliability modelling and analysis of complex systems and networks. She is an author or co-author of over 200 technical papers and a book entitled "Binary Decision Diagrams and Extensions for System Reliability Analysis".  Prof. Xing is an associate editor for International Journal of Systems Science, International Journal of Systems Science: Operations & Logistics, Journal of Computational Engineering, and RAMS (Reliability and Maintainability Symposium). She is also an assistant editor-in-chief for International Journal of Performability Engineering, and an editorial board member for Reliability Engineering & System Safety. She is the recipient of Leo M. Sullivan Teacher of the Year Award (2014), Scholar of the Year Award (2010), and Outstanding Women Award (2011) of UMass Dartmouth. She is also the recipient of IEEE Region 1 Technological Innovation (Academic) Award in 2007, and the co-recipient of Best Paper Award at the IEEE International Conference on Networking, Architecture, and Storage in 2009. She is a senior member of IEEE. (http://www.faculty.umassd.edu/liudong.xing/home.html)