“…In (Zanella, 2017), || //l -diagnosability is presented to take into account temporal uncertainty into the diagnosability def-System Type Articles DES (Sampath, Sengupta, & Lafortune, 1995) and (Ye, Dague, & He, 2019) [Automata] (Zanella, 2017) [Twin plant : finite automata] (Basile, Chiacchio, & De Tommasi, 2012) [Labelled Petri Nets] (Yoo & Lafortune, 2002) [Finite-state automaton] (Madalinski, Nouioua, & Dague, 2010) [Labelled Petri Nets] CS (Staroswiecki & Comtet-Varga, 2001) [algebraic dynamic systems] (Zuniga, Sotomayor-Moriano, Chanthery, Travé-Massuyès, & Soto, 2019) (Cordier, Travé-Massuyes, Pucel, et al, 2006) HS (Zaatiti, Ye, Dague, & Gallois, 2017) [Partially observed hybrid automata] (Bayoudh & Travé-Massuyès, 2014) (Fourlas, Kyriakopoulos, & Krikelis, 2002) [Hybrid I/O Automata] HtS (Hsieh & Chen, 2008) [distributed] (Hua, Li, Ren, & Liu, 2016) Table 1. Reviewed articles on diagnosability classified by system types inition for systems modeled by automata.…”