Exact and heuristic approaches to detect failures in failed -out-of- systems.

•We provide two integer programming formulations that detects components states in a failed k-outof-n system.•We propose two Markov decision process based approaches that outperform integer programming formulations.•We propose two heuristic algorithms that solves larger instances.•We present two lower bounding schemes for benchmarking against heuristics.