Abstract
For more than ten years different techniques have been pro- posed to perform model-based diagnosis of dynamic systems. Neverthe- less, there is no general framework yet. Main part of the research effort has been devoted to modeling issues. Most approaches have relied upon qualitative models due to the lack of accuracy, certainty and precision in quantitative models. Hence, one question arises, is still possible to use quantitative models in the Artificial Intelligence approach to model- based diagnosis? Despite of mentioned drawbacks, quantitative mod- els offer some advantages. If combined with pre-compiled dependency- recording, these systems avoid one of the traditional problems in the qualitative modeling approach, the feedback loop problem. These are the bases of MORDRED, a model-based diagnosis system that comb- ines quantitative models and the possible conflict concept. This work presents results obtained in MORDRED verification and validation pro- cesses. Moreover, it analyses drawbacks found, proposed solutions, and lessons learned during the whole design and implementation cycle.
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
L. F. Acebes and C. de Prada. SIMPD: An intelligent modelling tool for dynamic processes. In Proceedings of the Ninth European Simulation Symposium and Exhibition, pages 177–181, Germany, 1997.
R. E. Bellman. Dynamic Programming. Cambridge Studies in Speech Science and Communication. Princeton University Press, Princeton, 1957.
K. Bousson, J.-P. Steyer, L. Trave-Massuyes, and B. Dahhou. From a heuristic-based to a model-based approach for monitoring and diagnosis of biological processes. Engineering Applications of Artificial Intelligence, 11:447–493, 1998.
M. J. Chantler, G. M. Coghill, Q. Shen, and R. R. Leitch. Selecting tools and techniques for model-based diagnosis. Artificial Intelligence in Engineering, 12:81–98, 1998.
M. J. Chantler, T. Daus, S. Vikatos, and G. M. Coghill. The use of quantitative dynamic models and dependency recording engines. In Proceedings of the Seventh International Workshop on Principles of Diagnosis (DX-96), pages 59–68, Val Morin, Quebec, Canada, 1996.
M. O. Cordier, P. Dague, M. Dumas, F. Levy, J. Montmain, M. Staroswiecki, and L. Trave-Massuyes. AI and automatic control approaches of model-based diagnosis: links and underlying hypotheses. Internal report 00185, LAAS, Toulouse, France, 2000.
O. Dressler. On-line diagnosis and monitoring of dynamic systems based on qualitative models and dependency-recording diagnosis engines. In Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI-96), pages 461–465, 1996.
O. Dressler and P. Struss. Model-based diagnosis with the Default-based Diagnosis Engine: effective control strategies that work in practice. In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), pages 677–681, 1994.
O. Dressler and P. Struss. The consistency-based approach to automated diagnosis of devices. In Gerhard Brewka, editor, Principles of Knowledge Representation, pages 269–314. CSLI Publications, Standford, 1996.
P. Froelich and W. Nejdl. A static model-based engine for model-based reasoning. In Proceedings of the Fifteenth International Joint Conference on Artifical Intelligence (IJCAI-97), pages 446–471, Nagoya, Japan, 1997.
W. C. Hamscher, L. Console, and J. de Kleer (Eds.). Readings in Model based Diagnosis. Morgan-Kaufmann Pub., San Mateo, 1992.
E. Loiez. Contribution au diagnostic de systemes analogiques. Modelisation par des bandes temporelles. Phd thesis, L’Universite des Sciences et Technologies de Lille, Lille, France, Marzo 1997.
J. Lunze and F. Schiller. Logic-based process diagnosis utilising the causal structure of dynamical systems. In Proceedings of the Artificial Intelligence in Real-Time Control (IFAC/IFIP/IMACS), pages 649–654, Delft, Holland, 1992.
P. J. Mosterman. Hybrid dynamic systems: a hybrid bond graph modeling paradigm and its applications in diagnosis. Phd thesis, Vanderbilt University, Nashville, Tennessee, USA, May 1997.
P. J. Mosterman, E. J. Manders, and G. Biswas. Qualitative dynamic behaviour of physical system models with algebraic loops. In Proceedings of the Eleventh International Workshop on Principles of Diagnosis (DX-00), Morelia, Mexico, 2000.
B. Pulido and C. Alonso. Possible conflicts instead of conflicts to diagnose continuous dynamic systems. In Proceedings of the Tenth International Workshop on Principles of Diagnosis (DX-99), pages 234–241, Loch Awe, Scotland (UK), 1999.
B. Pulido and C. Alonso. An alternative approach to dependency-recording engines in consistency-based diagnosis. In Artificial Intelligence: Methodology, Systems, and Applications. Ninth International Conference (AIMSA-00), Lecture Notes in Artificial Intelligence. Subseries of Lecture Notes in Computer Science, pages 111–120. Springer Verlag, Berlin, Germany, 2000.
P. Struss. Fundamentals of model-based diagnosis of dynamic systems. In Proceedings of the Fifteenth International Joint Conference on Artifical Intelligence (IJCAI-97), pages 480–485, Nagoya, Japan, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pulido, B., Alonso, C., Acebes, F. (2001). Lessons Learned from Diagnosing Dynamic Systems Using Possible Conflicts and Quantitative Models. In: Monostori, L., Váncza, J., Ali, M. (eds) Engineering of Intelligent Systems. IEA/AIE 2001. Lecture Notes in Computer Science(), vol 2070. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45517-5_17
Download citation
DOI: https://doi.org/10.1007/3-540-45517-5_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42219-8
Online ISBN: 978-3-540-45517-2
eBook Packages: Springer Book Archive