Diagnosability of Linear Hybrid Systems with discrete dynamics modelled by Petri nets*. - A. F. Pissos; Carlos Renato Vázquez; Marga Marcos-Muñoz; Antonio Ramírez-Treviño (ETFA, 2019)