{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:49:04Z","timestamp":1761486544772},"reference-count":51,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Knowledge-Based Systems"],"published-print":{"date-parts":[[2002,1]]},"DOI":"10.1016\/s0950-7051(01)00126-5","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T13:58:12Z","timestamp":1027605492000},"page":"103-110","source":"Crossref","is-referenced-by-count":13,"title":["Diagnostic reasoning based on means-end models: experiences and future prospects"],"prefix":"10.1016","volume":"15","author":[{"given":"Jan Eric","family":"Larsson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-7051(01)00126-5_BIB1","unstructured":"M. Lind, Representing goals and functions of complex systems-an introduction to multilevel flow modeling, Technical report, 90-D-38, Institute of Automatic Control Systems, Technical University of Denmark, Lyngby, 1990."},{"key":"10.1016\/S0950-7051(01)00126-5_BIB2","unstructured":"J.E. Larsson, Knowledge-based methods for control systems, Doctor's thesis, TFRT-1040, Department of Automatic Control, Lund Institute of Technology, Lund, 1992."},{"issue":"5","key":"10.1016\/S0950-7051(01)00126-5_BIB3","doi-asserted-by":"crossref","first-page":"775","DOI":"10.1016\/0005-1098(94)90168-6","article-title":"Diagnostic reasoning strategies for means-end models","volume":"30","author":"Larsson","year":"1994","journal-title":"Automatica"},{"issue":"1","key":"10.1016\/S0950-7051(01)00126-5_BIB4","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0004-3702(94)00043-3","article-title":"Diagnosis based on explicit means-end models","volume":"80","author":"Larsson","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB5","article-title":"Failure mode analysis using multilevel flow models","author":"\u00d6hman","year":"1998","journal-title":"Proceedings of the Fifth European Control Conference, Karlsruhe, Germany"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB6","series-title":"Proceedings of the 18th Annual International Conference of the British Computer Society Special Group on Expert Systems, ES98, Cambridge, England","first-page":"173","article-title":"Alarm analysis with fuzzy logic and multilevel flow models","author":"Dahlstrand","year":"1998"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB7","doi-asserted-by":"crossref","unstructured":"J.E. Larsson, F. Dahlstrand, New algorithms for MFM alarm analysis, invited paper, Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, San Diego, California, 1998.","DOI":"10.1109\/ICSMC.1998.725124"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB8","unstructured":"D. Ingstr\u00f6m, MFM modeling and alarm analysis of the Barseb\u00e4ck Nuclear Power Plant, Masters thesis, Department of Information Technology, Lund Institute of Technology, Lund, 1988."},{"key":"10.1016\/S0950-7051(01)00126-5_BIB9","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/S0933-3657(97)00027-4","article-title":"Evaluation of a medical diagnosis system using simulator test scenarios","volume":"11","author":"Larsson","year":"1997","journal-title":"Artificial Intelligence in Medicine"},{"issue":"1","key":"10.1016\/S0950-7051(01)00126-5_BIB10","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/5254.653225","article-title":"Guardian: an intelligent autonomous agent for medical monitoring and diagnosis","volume":"13","author":"Larsson","year":"1998","journal-title":"IEEE Intelligent Systems"},{"issue":"6","key":"10.1016\/S0950-7051(01)00126-5_BIB11","doi-asserted-by":"crossref","first-page":"758","DOI":"10.1109\/3468.634639","article-title":"Goals and functions of the human body: an MFM model for fault diagnosis","volume":"27","author":"Larsson","year":"1997","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB12","unstructured":"J.E. Larsson, Alarm analysis for a nuclear power plant using multilevel flow models, invited paper, Proceedings of the Ninth International Symposium on System, Modeling, Control, Zakopane, Poland."},{"key":"10.1016\/S0950-7051(01)00126-5_BIB13","unstructured":"J.E. Larsson, B. \u00d6hman, Model-based alarm analysis for large plants, invited paper, Proceedings of the International Conference on Systems, Signals, Control, Computers, Durban, South Africa, 1998."},{"key":"10.1016\/S0950-7051(01)00126-5_BIB14","article-title":"Code generation for alarm analysis with multilevel flow models","author":"\u00d6hman","year":"2000","journal-title":"Proceedings of the Second International Symposium on Engineering of Intelligent Systems, EIS 2000, Paisley, Scotland"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB15","article-title":"Alarm analysis on large systems using multilevel flow models","author":"\u00d6hman","year":"2000","journal-title":"Proceedings of the IFAC Symposium on Artificial Intelligence in Real-Time Control, Budapest, AIRTC-2000, Hungary"},{"issue":"3","key":"10.1016\/S0950-7051(01)00126-5_BIB16","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1049\/ise.1993.0016","article-title":"Using multi-view objects for structuring plant databases","volume":"2","author":"\u00c5rz\u00e9n","year":"1993","journal-title":"Intelligent Systems Engineering"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB17","unstructured":"O.O. Oyeleye, Qualitative modeling of continuous chemical processes and applications to fault diagnosis, Doctor's thesis, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1989."},{"key":"10.1016\/S0950-7051(01)00126-5_BIB18","unstructured":"F.E. Finch, Automated fault diagnosis of chemical process plants using model-based reasoning, Doctor's thesis, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1989."},{"key":"10.1016\/S0950-7051(01)00126-5_BIB19","doi-asserted-by":"crossref","unstructured":"T.F. Petti, J. Klein, P.S. Dhurjati, Diagnostic model processor: using deep knowledge for process fault diagnosis, AlChe Journal 36 (4) (1990) 565\u2013575.","DOI":"10.1002\/aic.690360408"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB20","doi-asserted-by":"crossref","unstructured":"T.F. Petti, P.S. Dhurjati, Object-based automated fault diagnosis, Chemical Engineering Communications 102 (1991) 107\u2013126.","DOI":"10.1080\/00986449108910852"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB21","unstructured":"T.F. Petti, Using mathematical models in knowledge-based control systems, Ph.D. dissertation, University of Delaware, Newark, Delaware, 1992."},{"key":"10.1016\/S0950-7051(01)00126-5_BIB22","doi-asserted-by":"crossref","DOI":"10.1109\/CACSD.1994.288881","article-title":"Hyperfast algorithms for model-based diagnosis","author":"Larsson","year":"1994","journal-title":"Proceedings of the IEEE\/IFAC Joint Symposium on Computer-Aided Control Systems Design, Tucson, Arizona"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB23","unstructured":"T. M\u00e5rtensson, Structuring of instrumentation and control systems based on MFM, Master's thesis, Department of Information Technology, Lund Institute of Technology, Lund, 1998."},{"key":"10.1016\/S0950-7051(01)00126-5_BIB24","article-title":"Consequence analysis theory for alarm analysis","author":"Dahlstrand","year":"2000","journal-title":"Proceedings of the Second International Symposium on Engineering of Intelligent Systems, Paisley, Scotland"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB25","article-title":"An architecture for on-line supervision","author":"Dahlstrand","year":"2000","journal-title":"Proceedings of the IFAC Symposium on Artificial Intelligence in Real-Time Control, Budapest"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB26","unstructured":"F. Dahlstrand, Methods for alarm reduction with multilevel flow models of industrial processes, Licentiate thesis, Department of Information Technology, Lund University, Lund, 2000."},{"key":"10.1016\/S0950-7051(01)00126-5_BIB27","unstructured":"J. Bengtsson, L.-G. B\u00e4ckwall, Adviser: computer-based decision support in intensive care, Master's thesis, Department of Information Technology, Lund Institute of Technology, Lund, Sweden, 1998."},{"key":"10.1016\/S0950-7051(01)00126-5_BIB28","unstructured":"K. Dubowik, Automated arrhythmia analysis-an expert system for an intensive-care unit, Master's thesis, Department of Information Technology, Lund University, Lund, 1999."},{"issue":"3","key":"10.1016\/S0950-7051(01)00126-5_BIB29","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1017\/S0269888997003020","article-title":"Combining functional and structural reasoning for safety analysis of electrical designs","volume":"12","author":"Price","year":"1997","journal-title":"Knowledge Engineering Review"},{"issue":"2","key":"10.1016\/S0950-7051(01)00126-5_BIB30","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1080\/08839519408945442","article-title":"Modeling goals and functions of complex industrial plants","volume":"8","author":"Lind","year":"1994","journal-title":"Applied Artificial Intelligence"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB31","unstructured":"M. Lind, Abstrations version 1.0 \u2014 descriptions of classes and their use, Technical report, 90-D-380, Institute of Automatic Control Systems, Technical University of Denmark, Lyngby, 1990."},{"key":"10.1016\/S0950-7051(01)00126-5_BIB32","unstructured":"M. Lind, An architecture for real-time MFM diagnosis, Technical report, Institute of Automatic Control Systems, Technical University of Denmark, Lyngby, 1990."},{"key":"10.1016\/S0950-7051(01)00126-5_BIB33","article-title":"Human\u2013machine interface for diagnosis based on multilevel flow modeling","author":"Lind","year":"1989","journal-title":"Proceedings of the Second European Meeting on Cognitive Science Approaches to Process Control, Siena"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB34","unstructured":"J. Duschek, Syntax analysis of modeling languages and a knowledge-based system for modeling, Master's thesis, Institute of Automatic Control Systems, Technical University of Denmark, Lyngby, 1991."},{"key":"10.1016\/S0950-7051(01)00126-5_BIB35","unstructured":"A. Osman, Graphical control environment (Grace), Doctor's thesis, Institute of Automatic Control Systems, Technical University of Denmark, Lyngby, 1992."},{"key":"10.1016\/S0950-7051(01)00126-5_BIB36","unstructured":"M.N. Larsen, Modeling start-up tasks using functional models, Final report, Project 4937-92-08-ED ISP DK, CRC JSP Ispra, 1993."},{"key":"10.1016\/S0950-7051(01)00126-5_BIB37","unstructured":"S.S. J\u00f8rgensen, Generic MFM models for use in fault diagnosis of ship system's machinery, Doctor's thesis, Institute of Automatic Control Systems, Technical University of Denmark, Lyngby, 1993."},{"key":"10.1016\/S0950-7051(01)00126-5_BIB38","unstructured":"A. Jalashgar, Identification of hidden failures in process control systems through function-oriented system analysis, Doctor's thesis, Institute of Automatic Control Systems, Technical University of Denmark, Lyngby, 1997."},{"key":"10.1016\/S0950-7051(01)00126-5_BIB39","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0951-8320(89)90088-4","article-title":"GOTRES: an expert system for fault detection and analysis","volume":"24","author":"Chung","year":"1989","journal-title":"Reliability Engineering and System Safety"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB40","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1016\/0098-1354(86)85035-9","article-title":"A method of alarm system analysis for process plants","volume":"10","author":"Modarres","year":"1986","journal-title":"Computers and Chemical Engineering"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB41","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0029-5493(87)90304-9","article-title":"Application of goal tree\u2013success tree models as the knowledge base of operator advisory systems","volume":"104","author":"Kim","year":"1987","journal-title":"Nuclear Engineering and Design"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB42","article-title":"A functional design approach to PWR safety","author":"De","year":"1982","journal-title":"Proceedings of the International Meeting on Thermal Nuclear Reactor Safety, Chicago, Illinois"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB43","article-title":"An application of MFM method for nuclear plant state identification","author":"Businaro","year":"1985","journal-title":"Proceedings of the Halden Programmer's Group Meeting on Computerized Man\u2013Machine Communication, G\u00f6teborg"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB44","article-title":"Flow displays representing complex plant for diagnosis and process control","author":"Duncan","year":"1989","journal-title":"Proceedings of the Second European Meeting on Cognitive Science Approaches to Process Control, Siena"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB45","unstructured":"J.M.A. Sassen, Design issues of human operator support systems, Doctor's thesis, Faculty of Mechanical Engineering and Marine Technology, Laboratory for Measurement and Control, Delft University of Technology, Delft, 1993."},{"key":"10.1016\/S0950-7051(01)00126-5_BIB46","unstructured":"J.\u00c5. Walseth, Diagnostic reasoning in continuous systems, Doctor's thesis, ITK-rapport 1993, 164-W, Division of Engineering Cybernetics, Norwegian Institute of Technology, Trondheim, 1993."},{"key":"10.1016\/S0950-7051(01)00126-5_BIB47","article-title":"An intelligent man\u2013machine system for BWR nuclear power plants","author":"Monta","year":"1991","journal-title":"Proceedings of AI91 \u2014 Frontiers in Innovative Computing for the Nuclear Industry, Jackson, Wyoming"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB48","series-title":"Readings in Model-based Diagnosis","year":"1992"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB49","doi-asserted-by":"crossref","first-page":"732","DOI":"10.1016\/0004-3702(87)90062-2","article-title":"A theory of diagnosis from first principles","volume":"32","author":"Reiter","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB50","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","article-title":"A correction to the algorithm in Reiter's theory of diagnosis","volume":"41","author":"Greiner","year":"1989","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0950-7051(01)00126-5_BIB51","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1016\/S0947-3580(96)70024-9","article-title":"Analytical and qualitative models-based fault diagnosis \u2014 a survey and some new results","volume":"2","author":"Frank","year":"1996","journal-title":"European Journal of Control"}],"container-title":["Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950705101001265?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950705101001265?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T22:22:36Z","timestamp":1556490156000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950705101001265"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,1]]},"references-count":51,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2002,1]]}},"alternative-id":["S0950705101001265"],"URL":"https:\/\/doi.org\/10.1016\/s0950-7051(01)00126-5","relation":{},"ISSN":["0950-7051"],"issn-type":[{"value":"0950-7051","type":"print"}],"subject":[],"published":{"date-parts":[[2002,1]]}}}