Diagnosability of Linear Hybrid Systems with discrete dynamics modelled by Petri nets¿ Academic Article in Scopus uri icon