Gregory M. Provan: An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems. DX 2017: 37-51