Gregory M. Provan. An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems. In Marina Zanella, Ingo Pill, Alessandro Cimatti, editors, 28th International Workshop on Principles of Diagnosis (DX'17), Brescia, Italy, September 26-29, 2017. Volume 4 of Kalpa Publications in Computing, pages 37-51, EasyChair, 2017. [doi]
Abstract is missing.