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.
| Original language | English |
|---|---|
| Pages (from-to) | 309-322 |
| Number of pages | 14 |
| Journal | Advanced Engineering Informatics |
| Volume | 23 |
| Issue number | 3 |
| Early online date | 17 May 2009 |
| DOIs | |
| Publication status | Published - Jul 2009 |
Bibliographical note
A paid open access option is available for this journal.Voluntary deposit by author of pre-print allowed on Institutions open scholarly website and pre-print servers
Voluntary deposit by author of authors post-print allowed on institutions open scholarly website including Institutional Repository
Deposit due to Funding Body, Institutional and Governmental mandate only allowed where separate agreement between repository and publisher exists
Set statement to accompany deposit
Published source must be acknowledged
Must link to journal home page or articles' DOI
Publisher's version/PDF cannot be used
Articles in some journals can be made Open Access on payment of additional charge
NIH Authors articles will be submitted to PubMed Central after <num>12</num> <period units="month">months</period>
Authors who are required to deposit in subject-based repositories may also use Sponsorship Option