By Topic

Decision Diagram Based Methods and Complexity Analysis for Multi-State Systems

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

3 Author(s)
Akhilesh Shrestha ; ARCON Corporation, Waltham, MA, USA ; Liudong Xing ; Yuanshun Dai

Decision diagrams are graphical structures based on Shannon's decomposition. They have been extensively used for representing and manipulating logic functions in areas such as circuit verification, compact Markov chain representation, and symbolic model checking. However, their applicability in reliability modeling and analysis has only been recently studied. Moreover, the study had been mostly restricted to binary-state systems in which both the system and its components are either operational, or failed. Nevertheless, many practical systems are multi-state systems (MSS) in which both the system and its components may reside at multiple (more than two) performance levels (or states), varying from perfect operation to complete failure. This paper presents three forms of decision diagrams for the modeling and analysis of MSS: binary decision diagrams, logarithmically encoded binary decision diagrams, and multi-valued decision diagrams. We present both separated, and shared methods based on these decision diagrams. Comprehensive complexity analysis, and performance comparisons among these methods, are conducted with both mathematical, and empirical approaches.

Published in:

IEEE Transactions on Reliability  (Volume:59 ,  Issue: 1 )