Oumar Diene, Eduardo R. Silva, Marcos Vicente Moreira. Analysis and verification of the diagnosability of Hybrid Systems. In 53rd IEEE Conference on Decision and Control, CDC 2014, Los Angeles, CA, USA, December 15-17, 2014. pages 1-6, IEEE, 2014. [doi]
Abstract is missing.