Reference: Larsson, J. E. Hyperfast Algorithms for Model-Based Diagnosis. Knowledge Systems Laboratory, January, 1995.
Abstract: This paper describes small, efficient implementations of three diagnostic methods for use with industrial processes. They are measurement validation, alarm analysis, and fault diagnosis. All three methods use multilevel flow models, (MFM), to describe the target process. They have been implemented in G2 and C, and provide fast, hard real-time diagnosis.
Full paper available as ps.