Abstractions refinement for hybrid systems diagnosability analysis

Zaatiti, H., Ye, L., Dague, P., Gallois, J. P., & Travé-Massuyès, L. (2018). Abstractions refinement for hybrid systems diagnosability analysis. In Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems (pp. 279–318). Springer International Publishing. https://doi.org/10.1007/978-3-319-74962-4_11