Oumar Diene, Marcos Vicente Moreira, Victor R. Alvarez, Eduardo R. Silva. Computational methods for diagnosability verification of hybrid systems. In 2015 IEEE Conference on Control Applications, CCA 2015, Sydney, Australia, September 21-23, 2015. pages 382-387, IEEE, 2015. [doi]
Abstract is missing.