@inproceedings{3d04cfeb9ceb4d6ea7c7e5806a757f23,
title = "Decision diagrams method for k-out-of-n: G systems",
abstract = "Binary k-out-of-n system is a commonly used reliability model in engineering practice. Many researches have extended the concept of k-out-of-n system to multi-state k-out-of-n systems. This paper proposes a binary decision diagram (BDD) based approach for binary k-out-of-n system: G system and a multi-state multi-valued decision diagram (MMDD) based approach for multi-state k-out-of-n: G system. BDD and MMDD have been extensively used for representing and manipulating logic functions in many areas, including reliability modeling and analysis. In this paper, patterns of BDD/MMDD for binary/multi-state k-out-of-n: G system are summarized and proved, and a two-step algorithmic process is proposed for modeling BDD/MMDD, a case is implemented to demonstrate the performance of the presented method.",
keywords = "binary decision diagrams, G systems, k-out-of-n, multi-state multi-valued decision diagram",
author = "Li, {Shu Min} and Si, {Shu Bin} and Shuai Zhang and Dui, {Hong Yan}",
year = "2013",
doi = "10.1109/QR2MSE.2013.6625580",
language = "英语",
isbn = "9781479910144",
series = "QR2MSE 2013 - Proceedings of 2013 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering",
pages = "263--267",
booktitle = "QR2MSE 2013 - Proceedings of 2013 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering",
note = "2013 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering, QR2MSE 2013 ; Conference date: 15-07-2013 Through 18-07-2013",
}