Analysis and verification of the diagnosability of Hybrid Systems. - Oumar Diene; Eduardo R. Silva; Marcos Vicente Moreira (CDC, 2014)

Computational methods for diagnosability verification of hybrid systems. - Oumar Diene; Marcos Vicente Moreira; Victor R. Alvarez; Eduardo R. Silva (CCA, 2015)