Jorge Vento, Louise Travé-Massuyès, Vicenç Puig, Ramon Sarrate. An Incremental Hybrid System Diagnoser Automaton Enhanced by Discernibility Properties. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 45(5):788-804, 2015. [doi]
Abstract is missing.