Abstract
In this paper wc present an extension to the HS tree method for fault isolation developed by Reiter. This tool is combined with an ITMS based on root antecedents and used 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
George M. Coghill. A feasibility study on model-based diagnosis for an ammonia washer system. Technical report, Centre of Intelligent Systems, Department of Computer Science, University of Wales, Aberystwyth, 2000.
George Macleod Coghill. Mycrofl: A framework for Constraint Based Fuzzy Qualitative Reasoning. PhD thesis, Heriot-Watt University, 1996.
Adnan Darwiche. Model-based diagnosis under real-world constraints. In AI magazine, volume 21.2, pages 57–73. AAAI, 2000.
Johan de Kleer, Alan K. Raymond Reiter. Characterizing diagnoses and systems. In Walter Hamscher, Luca Console, and Johan de Kleer, editors, Readings in Model Based Diagnosis, pages 54–65. Morgan Kaufmann Publishers, Inc., 1992.
Oskar Dressier and Peter Struss. The consistency-based approach to automated diagnosis of devices. In U. Gnowho, editor, A Greate Collection. CSLI, 1996.
Russel Greiner, Barbara A. Smith, and Ralph W. Wilkerson. A correction to the algorithm in Reiter’s theory of diagnosis. In Walter Hamscher, Luca Console, and Johan de Kleer, editors, Readings in Model Based Diagnosis, pages 49–65. Morgan Kaufmann Publishers, Inc., 1992.
Benjamin Kuipers. Qualitative Reasoning: Modelling and Simulation with Incomplete knowledge. MIT Press, Cambridge, MA, 1994.
Andreas Malik and Peter Struss. Diagnosis of dynamic systems does not necessarily require simulation. DX-1996, 1996.
Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57–96, 1987.
Peter Struss and Oskar Dressier. Physical negation: Integrating fault models into the general diagnostic engine. In Walter Hamscher, Luca Console, and Johan de Kleer, editors, Readings in Model Based Diagnosis, pages 153–158. Morgan Kaufmann Publishers, Inc., 1992.
G. Wu and G. M. Coghill. A propositional root antecedent itms. DX-2004 Carcasonne, France, pages 185–190, 2004.
Guofu Wu. Incremental state based diagnosis of dynamic physical systems. PhD thesis, University of Wales, Aberystwyth, 2003.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag London Limited
About this paper
Cite this paper
Coghill, G.M., Wu, G. (2007). Incremental Fault Isolation for Dynamic Processes. In: Bramer, M., Coenen, F., Tuson, A. (eds) Research and Development in Intelligent Systems XXIII. SGAI 2006. Springer, London. https://doi.org/10.1007/978-1-84628-663-6_24
Download citation
DOI: https://doi.org/10.1007/978-1-84628-663-6_24
Publisher Name: Springer, London
Print ISBN: 978-1-84628-662-9
Online ISBN: 978-1-84628-663-6
eBook Packages: Computer ScienceComputer Science (R0)