Jianping Gao, Qiwen Xu. Rigorous Design of a Fault Diagnosis and Isolation Algorithm. In Panos J. Antsaklis, Wolf Kohn, Michael D. Lemmon, Anil Nerode, Shankar Sastry, editors, Hybrid Systems V. Volume 1567 of Lecture Notes in Computer Science, pages 100-121, Springer, 1997. [doi]
Abstract is missing.