Active diagnosis for switched systems using mealy machine modeling

Van Gorp, J., Giua, A., Defoort, M., & Djemaï, M. (2018). Active diagnosis for switched systems using mealy machine modeling. In Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems (pp. 147–173). Springer International Publishing. https://doi.org/10.1007/978-3-319-74962-4_6