Incremental state based diagnosis

Research output: Contribution to journalArticle

2 Citations (Scopus)

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 languageEnglish
Pages (from-to)309-322
Number of pages14
JournalAdvanced Engineering Informatics
Volume23
Issue number3
Early online date17 May 2009
DOIs
Publication statusPublished - Jul 2009

Fingerprint

Washers
Ammonia
Engines

Cite this

Incremental state based diagnosis. / Coghill, George M.; Wu, Guofu.

In: Advanced Engineering Informatics, Vol. 23, No. 3, 07.2009, p. 309-322.

Research output: Contribution to journalArticle

Coghill, George M. ; Wu, Guofu. / Incremental state based diagnosis. In: Advanced Engineering Informatics. 2009 ; Vol. 23, No. 3. pp. 309-322.
@article{54644e123821411d973302c3b6e45d27,
title = "Incremental state based diagnosis",
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.",
author = "Coghill, {George M.} and Guofu Wu",
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",
year = "2009",
month = "7",
doi = "10.1016/j.aei.2009.03.003",
language = "English",
volume = "23",
pages = "309--322",
journal = "Advanced Engineering Informatics",
issn = "1474-0346",
publisher = "Elsevier Limited",
number = "3",

}

TY - JOUR

T1 - Incremental state based diagnosis

AU - Coghill, George M.

AU - Wu, Guofu

N1 - 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

PY - 2009/7

Y1 - 2009/7

N2 - 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.

AB - 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.

U2 - 10.1016/j.aei.2009.03.003

DO - 10.1016/j.aei.2009.03.003

M3 - Article

VL - 23

SP - 309

EP - 322

JO - Advanced Engineering Informatics

JF - Advanced Engineering Informatics

SN - 1474-0346

IS - 3

ER -