Abstract
This paper presents a new and efficient solution for diagnosing dynamic systems within the framework of Reiter’s theory. Reiter’s theory allows for generation of potential diagnoses as minimal hitting sets of current conflicts. This paper analyzes the problems concerning systematic and efficient conflict generation in the case of continuous systems described with causal graphs and differential equations. The main idea of the paper is to introduce the notion of a Potential Conflict Structure, which is a local subgraph sufficient for definition of potential conflict. An outline of systematic, algorithmic approach to generation of a complete set of minimal conflicts is put forward. The paper includes also presentation of elements of an algebra of conflict sets. A prototype computer program for automatic generation of causal graphs from standard models of dynamic systems (Matlab-Simulink M-files) and conflict generation is also presented in brief.
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
Bousson, K., Trave-Massuyes, L., and Zimmer, L., 1994, Causal model-based diagnosis of dynamic systems, LAAS Report No. 94231.
Davis, R., 1984, Diagnostic reasoning based on structure and behavior, Artificial Intelligence 24:347–410.
Davis, R. and Hamscher, W., 1992, Model-based reasoning: Troubleshooting, in: Readings in Model-Based Diagnosis, W. Hamscher, L. Console, and J. de Kleer, J., eds., Morgan Kaufmann Publishers, San Mateo, CA, pp. 3–24.
de Kleer, J., Mackworth, A., and Reiter, R., 1992, Characterizing diagnoses and systems, Artificial Intelligence 56:197–222.
de Kleer, J. and Williams, B., 1987, Diagnosing multiple faults, Artificial Intelligence 32:97–130.
Genesereth, M., 1984, The use of design descriptions in automated diagnosis, Artificial Intelligence 24:411–436.
Gorny, B., 2001, Consistency-Based Reasoning in Model-Based Diagnosis, Ph.D. Thesis, AGH Kraków.
Ligeza, A., 1996, A note on systematic conflict generation in CA-EN-type causal structures, LAAS Report No. 96317.
Ligeza, A., Fuster-Parra, P., and Aguilar-Martin, J., 1996, Causal abduction: Backward search on causal logical graphs as a model for diagnostic reasoning, LAAS Report No. 96316.
Ligeza, A. and Górny, B., 2000, Systematic conflict generation in model-based diagnosis, in: Safeprocess’ 2000. 4th IFAC Symposium on Fault Detection Supervision and Safety for Technical Processes, A.M. Edelmayer, ed., volume 2, Budapest, pp. 1103–1108
Milne, R. and Nicol, C., 2000, Tiger: Continuous diagnosis of gas turbines, in: ECAI 2000. 14th European Conference on Artificial Intelligence, W. Horn, ed., IOS Press, Berlin, pp. 711–715.
Nicol, C., Trave-Massuyes, L., and Quevedo, J., 1996, Tiger: Applying hybrid technology for industrial monitoring, LAAS Report, No. 96039.
Reiter, R., 1987, A theory of diagnosis from first principles, Artificial Intelligence 32:57–95.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Górny, B., Ligeza, A. (2002). Model-Based Diagnosis of Dynamic Systems: Systematic Conflict Generation. In: Magnani, L., Nersessian, N.J., Pizzi, C. (eds) Logical and Computational Aspects of Model-Based Reasoning. Applied Logic Series, vol 25. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-0550-0_13
Download citation
DOI: https://doi.org/10.1007/978-94-010-0550-0_13
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-0791-0
Online ISBN: 978-94-010-0550-0
eBook Packages: Springer Book Archive