Checking Diagnosability on Centralized Model of the System. - M. Chankate; Alexandre Philippot; Véronique Carré-Ménétrier; Pascale Marange (ICCAD, 2019)