Efficient performability analysis of dynamic multi-state k-out-of-n: G systems

•Performability of dynamic multi-state k-out-of-n: G systems is studied.•A novel and fast analytical modeling method is proposed.•A smart home lighting control system is analyzed.•Correctness is verified using a case study of an oil supply system.•Efficiency is verified using comprehensive empirical and comparative studies. A dynamic multi-state k-out-of-n: G system, denoted by DMS(k, n, G) is a system where the system and its components exhibit multiple performance levels, and the system has different requirements on the number of working components in different states. DMS(k, n, G) abounds in both industrial and military applications. In this paper, a novel and efficient analytical method based on multi-valued decision diagrams (MDDs) is proposed for performability assessment of DMS(k, n, G) with non-identical components. Unlike existing approaches where multiple combination operations between models of lower performance levels are needed for constructing the model of a higher performance level, the proposed MDD generation algorithm constructs the system performability MDD in a top-down manner by considering multiple system state requirements simultaneously. A smart home lighting control system is analyzed to demonstrate the application of the proposed method. A detailed case study of an oil supply system is provided to verify the correctness of the proposed method and illustrate component sensitivity analysis. Complexity analysis and comprehensive empirical studies are performed to demonstrate that the efficiency of the proposed model construction is greatly improved as compared to the existing method, enabling fast model generation and efficient analysis of large-scale DMS(k, n, G).