Incremental state based diagnosis

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)309-322
Number of pages14
JournalAdvanced Engineering Informatics
Issue number3
Early online date17 May 2009
Publication statusPublished - Jul 2009


Dive into the research topics of 'Incremental state based diagnosis'. Together they form a unique fingerprint.

Cite this