Diagnosability of discrete event systems for temporary failures

The proposed DES framework has several advantages compared to that by Contant et al. namely, capability to detect failures that occur before starting execution of the diagnoser, same diagnoser for both temporary and permanent failures, etc.