| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 242343 | Advanced Engineering Informatics | 2009 | 14 Pages |
Abstract
In this paper we present an incremental diagnostic engine: IMBDE. IMBDE utilises qualitative models, and combines an extended version of Nayak and Williams’ ITMS (based on root antecedents) with an incremental version of Reiter’s Hitting Set Algorithm to perform incremental state based diagnosis on dynamic process systems. The approach is demonstrated to work by application to an industrial process – an ammonia washer system.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
George M. Coghill, Guofu Wu,