Computation of k-out-of-n System Reliability via Reduced Ordered Binary Decision Diagrams
Ali Muhammad Ali Rushdi, Alaa Mohammad Alturki
Journal of Advances in Mathematics and Computer Science · pp. 1–9 · Published 31 May 2017
10.9734/BJMCS/2017/33642Abstract
A prominent reliability model is that of the partially-redundant (k-out-of-n) system. We use algebraic as well as signal-flow-graph methods to explore and expose the AR algorithm for computing k-out-of-n reliability. We demonstrate that the AR algorithm is, in fact, both a recursive and an iterative implementation of the strategy of Reduced Ordered Binary Decision Diagrams (ROBDDs). The underlying ROBDD for the AR recursive algorithm is represented by a compact Signal Flow Graph (SFG) that is used to deduce AR iterative algorithms of quadratic temporal complexity and linear spatial complexity. Extensions of the AR algorithm for (single or scalar) threshold, double-threshold, vector-threshold, and k-to-l-out-of-n systems have similar ROBDD interpretations.
References (24)
- 1 Graph-Based Algorithms for Boolean Function Manipulation [DOI]
- 2 Binary Decision Diagrams [DOI]
- 3 Handbook of Performability Engineering [DOI]
- 4 Boolean Reasoning: The Logic of Boolean Equations
- 5 An Efficient Binary-Decision-Diagram-Based Approach for Network Reliability and Sensitivity Analysis [DOI]
- 6 A BDD-based algorithm for analysis of multistate systems with multistate components [DOI]
- 7 The Signature of a Coherent System and Its Applications in Reliability [DOI]
- 8 Utilization of symmetric switching functions in the computation of k-out-of-n system reliability [DOI]
- 9 Assessment of redundant systems with imperfect coverage by means of binary decision diagrams [DOI]
- 10 Binary decision diagram-based reliability evaluation of k -out-of-( n + k ) warm standby systems subject to fault-level coverage [DOI]
- 11 Threshold systems and their reliability [DOI]
- 12 Partially-Redundant Systems: Examples, Reliability, and Life Expectancy
- 13 Reliability of Coherent Threshold Systems [DOI]
- 14 Binary Decision Diagrams for Reliability Studies [DOI]
- 15 O(kn) Algorithms for Analyzing Repairable and Non-repairable k-out-of-n:G Systems [DOI]
- 16 Switching-Algebraic Analysis of System Reliability [DOI]
- 17 Solving dynamic flowgraph methodology models using binary decision diagrams [DOI]
- 18 Binary Decision Diagrams [DOI]
- 19 Reliability of k-out-of-n Systems [DOI]
- 20 An ROBDD Algorithm for the Reliability of Double-Threshold Systems [DOI]
- 21 Unification of mathematical concepts and algorithms of k-out-of-n system reliability: A perspective of improved disjoint products [DOI]
- 22 An Application of Reliability-analysis Techniques in Project Management [DOI]
- 23 Reliability engineering & system safety
- 24 IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans [DOI]
Cited by 5
A. M. Rushdi, M. Rushdi · arXiv.org · 2023
A. M. Rushdi, M. Rushdi · arXiv.org · 2023
A. Rushdi · International journal of mathematical, engineering and management sciences · 2019
A. Rushdi, Abdulghani Bakur Alsayegh · Journal of Advances in Mathematics and Computer Science · 2019
A. Rushdi, Mohamed A. Al-Amoudi · Journal of Engineering Research and Reports · 2019
Related research
- Anxiety and Visual Field Assessment Reliability in Glaucoma Patients — shares topic coverage
- Home Recording And Video Selection: Their use In A Low-Resource Setting For Epilepsy Diagnosis — shares topic coverage
- A study on Clinical Validity and Reliability of the Bengali Language Translated Gastroesophageal Reflux Disease Quality of Life Questionnaire (GERD-QOL) in Gastroesophageal Reflux Disease Patients — shares topic coverage
- Reliability of the General Nutrition Knowledge Questionnaire among Head Teachers from Schools in Uganda — shares topic coverage
- Validity and Reliability of Combination of Observed Practice with Objective Structured Clinical Examination (OSCE) in Midwifery Final Exam — shares topic coverage
Article metrics
Real usage data collected on this platform.
10
Page views
0
PDF downloads
0
Outbound clicks
5
Citations
Views over time
Views by country
Approximate, from request IP at view time — not citizenship or institution. Countries with fewer than 5 views are grouped as "Other".
Traffic sources
Referring site, by host.
Views and downloads exclude known bots/crawlers. Citations combines this platform's own DOI-resolved index with each external source's own reported total — see Cited by above for individually listed citing works. Last refreshed 0 seconds ago.