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.