Algebraic algorithms for the reliability analysis of multi-state k-out-of-n systems

We develop algorithms for the analysis of multi-state k-out-of-n systems and their reliability based on commutative algebra