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]
@inproceedings{Provan17,
title = {An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems},
author = {Gregory M. Provan},
year = {2017},
url = {http://www.easychair.org/publications/paper/9Nth},
researchr = {https://researchr.org/publication/Provan17},
cites = {0},
citedby = {0},
pages = {37-51},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia, Italy, September 26-29, 2017},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
volume = {4},
series = {Kalpa Publications in Computing},
publisher = {EasyChair},
}