{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T03:47:51Z","timestamp":1777261671695,"version":"3.51.4"},"reference-count":129,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2000,2,10]],"date-time":"2000-02-10T00:00:00Z","timestamp":950140800000},"content-version":"vor","delay-in-days":1501,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1996,1]]},"DOI":"10.1016\/0004-3702(94)00043-3","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T07:20:41Z","timestamp":1027581641000},"page":"29-93","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":87,"title":["Diagnosis based on explicit means-end models"],"prefix":"10.1016","volume":"80","author":[{"given":"Jan Eric","family":"Larsson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(94)00043-3_BIB1","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1021\/i160073a014","article-title":"New algorithms for the synthesis and analysis of fault trees","volume":"19","author":"Allen","year":"1980","journal-title":"Ind. Eng. Chem. Fund."},{"key":"10.1016\/0004-3702(94)00043-3_BIB2","first-page":"57","article-title":"Checking and correction of measurements on the basis of linear system model","volume":"4","author":"Alm\u00e1sy","year":"1975","journal-title":"Problems Control Inf. Theory"},{"key":"10.1016\/0004-3702(94)00043-3_BIB3","series-title":"Proceedings 1989 American Control Conference","article-title":"Knowledge-based control systems: aspects on the unification of conventional control systems and knowledge-based systems","author":"\u00c5rz\u00e9n","year":"1989"},{"key":"10.1016\/0004-3702(94)00043-3_BIB4","article-title":"Knowledge-based control systems","volume":"San Diego, CA","author":"\u00c5rz\u00e9n","year":"1990"},{"key":"10.1016\/0004-3702(94)00043-3_BIB5","article-title":"A model-based control system concept","author":"\u00c5rz\u00e9n","year":"1992"},{"key":"10.1016\/0004-3702(94)00043-3_BIB6","series-title":"Proceedings ESS '90 Intelligent Process Control Design","article-title":"A knowledge-based control system concept","author":"\u00c5rz\u00e9n","year":"1990"},{"key":"10.1016\/0004-3702(94)00043-3_BIB7","author":"Boveri","year":"1988","journal-title":"Knowledge-Based Real-time Control Systems\u2014IT4 Feasibility Study"},{"key":"10.1016\/0004-3702(94)00043-3_BIB8","author":"Boveri","year":"1990","journal-title":"Knowledge-Based Real-Time Control Systems\u2014IT4 Project: Phase 1"},{"key":"10.1016\/0004-3702(94)00043-3_BIB9","author":"Boveri","year":"1991","journal-title":"Knowledge-Based Real-Time Control Systems\u2014IT4 Project: Phase 2"},{"key":"10.1016\/0004-3702(94)00043-3_BIB10","series-title":"Proceedings IJCAI-89","first-page":"979","article-title":"Solving time dependent planning problems","author":"Boddy","year":"1989"},{"key":"10.1016\/0004-3702(94)00043-3_BIB11","series-title":"Proceedings Enl. Halden Progr. Group Meeting on Computerized Man-Machine Communication","article-title":"An application of MFM method for nuclear plant state identification","author":"Businaro","year":"1985"},{"key":"10.1016\/0004-3702(94)00043-3_BIB12","series-title":"Modeling and Simulation of Systems","first-page":"235","article-title":"Computer-aided design in modeling of biotechnical processes","author":"Ch\u00e9ruy","year":"1989"},{"key":"10.1016\/0004-3702(94)00043-3_BIB13","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 Eng. System Safety"},{"key":"10.1016\/0004-3702(94)00043-3_BIB14","author":"COGSYS","year":"1990"},{"key":"10.1016\/0004-3702(94)00043-3_BIB15","series-title":"Proceedings 3rd IFAC International Workshop on Artificial Intelligence in Real-Time Control","article-title":"A real-time expert system for process control","author":"Crespo","year":"1991"},{"key":"10.1016\/0004-3702(94)00043-3_BIB16","series-title":"Proceedings 1992 IFAC\/IFIP\/IMACS International Symposium on Artificial Intelligence in Real-Time Control","first-page":"631","article-title":"RIGAS: an expert server task in real-time environments","author":"Crespo","year":"1992"},{"key":"10.1016\/0004-3702(94)00043-3_BIB17","article-title":"Sensorvalidering, alarmbehandling, og fejidiagnose i st\u00f8rre processanl\u00e6g (Sensor validation, alarm analysis, and fault diagnosis in large processes)","author":"Creutzfeldt","year":"1990"},{"key":"10.1016\/0004-3702(94)00043-3_BIB18","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","article-title":"Diagnostic reasoning based on structure and behavior","volume":"24","author":"Davis","year":"1984","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00043-3_BIB19","series-title":"Exploring Artificial Intelligence","first-page":"297","article-title":"Model-based reasoning: troubleshooting","author":"Davis","year":"1988"},{"key":"10.1016\/0004-3702(94)00043-3_BIB20","series-title":"Proceedings International Meeting on Thermal Nuclear Reactor Safety","article-title":"A functional design approach to PWR safety","author":"De","year":"1982"},{"key":"10.1016\/0004-3702(94)00043-3_BIB21","series-title":"Proceedings AAAI-88","first-page":"49","article-title":"An analysis of time dependent planning","author":"Dean","year":"1988"},{"key":"10.1016\/0004-3702(94)00043-3_BIB22","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0004-3702(91)90113-X","article-title":"Dynamic across-time measurement interpretation","volume":"51","author":"DeCoste","year":"1991","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00043-3_BIB23","series-title":"Proceedings 2nd European Meeting on Cognitive Science Approaches to Process Control","article-title":"Flow displays representing complex plant for Diagnosis and process control","author":"Duncan","year":"1989"},{"key":"10.1016\/0004-3702(94)00043-3_BIB24","article-title":"Syntax analysis of modeling languages and a knowledge-based system for modeling","author":"Duschek","year":"1991"},{"key":"10.1016\/0004-3702(94)00043-3_BIB25","article-title":"Monitoring and diagnosis of continuous dynamic systems using semiquantitative simulation","author":"Dvorak","year":"1992"},{"key":"10.1016\/0004-3702(94)00043-3_BIB26","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/64.87688","article-title":"Process monitoring and diagnosis","author":"Dvorak","year":"1991","journal-title":"IEEE Expert"},{"key":"10.1016\/0004-3702(94)00043-3_BIB27","first-page":"327","article-title":"CAMBIO: a software for modeling and simulation of bioprocesses","volume":"7","author":"Farza","year":"1991","journal-title":"Comput. Appl. Biosci."},{"key":"10.1016\/0004-3702(94)00043-3_BIB28","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","article-title":"STRIPS: a new approach to the application of theorem proving to problem solving","volume":"2","author":"Fikes","year":"1971","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00043-3_BIB29","article-title":"Automated fault diagnosis of chemical process plants using model-based reasoning","author":"Finch","year":"1989"},{"key":"10.1016\/0004-3702(94)00043-3_BIB30","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","article-title":"A qualitative process theory","volume":"24","author":"Forbus","year":"1984","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00043-3_BIB31","series-title":"Exploring Artificial Intelligence","first-page":"239","article-title":"Qualitative physics: part, present, and future","author":"Forbus","year":"1988"},{"key":"10.1016\/0004-3702(94)00043-3_BIB32","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1016\/0005-1098(90)90018-D","article-title":"Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy\u2014a survey and some new results","volume":"26","author":"Frank","year":"1990","journal-title":"Automatica"},{"key":"10.1016\/0004-3702(94)00043-3_BIB33","series-title":"Proceedings IFAC\/IMACS Symposium SAFEPROCESS '91","first-page":"275","article-title":"Enhancement of robustness in observer-based fault detection","author":"Frank","year":"1991"},{"key":"10.1016\/0004-3702(94)00043-3_BIB34","series-title":"Proceedings IFAC Symposium on On-Line Fault Detection and Supervision in the Chemical Process Industries","article-title":"Robust model-based fault detection in dynamic systems","author":"Frank","year":"1992"},{"key":"10.1016\/0004-3702(94)00043-3_BIB35","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":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00043-3_BIB36","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0004-3702(91)90112-W","article-title":"Modeling digital circuits for troubleshooting","volume":"51","author":"Hamscher","year":"1991","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00043-3_BIB37","author":"Hamscher","year":"1992"},{"key":"10.1016\/0004-3702(94)00043-3_BIB38","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0004-3702(85)90063-3","article-title":"A blackboard architecture for control","volume":"26","author":"Hayes-Roth","year":"1985","journal-title":"Artif. Intell."},{"issue":"1\u20132","key":"10.1016\/0004-3702(94)00043-3_BIB39","article-title":"Architectural foundations for real-time performance in intelligent agents","volume":"2","author":"Hayes-Roth","year":"1990","journal-title":"Real Time Syst."},{"key":"10.1016\/0004-3702(94)00043-3_BIB40","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0933-3657(92)90052-Q","article-title":"Guardian: a prototype intelligent agent for intensive-care monitoring","volume":"4","author":"Hayes-Roth","year":"1992","journal-title":"Artif. Intell. Medicine"},{"key":"10.1016\/0004-3702(94)00043-3_BIB41","author":"Hewett","year":"1990"},{"key":"10.1016\/0004-3702(94)00043-3_BIB42","series-title":"Proceedings AIChE Annual Meeting","article-title":"Interval analysis as a tool for data rectification","author":"Himmelblau","year":"1987"},{"key":"10.1016\/0004-3702(94)00043-3_BIB43","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1016\/0005-1098(84)90098-0","article-title":"Process fault detection based on modeling and estimation methods\u2014a survey","volume":"20","author":"Isermann","year":"1964","journal-title":"Automatica"},{"key":"10.1016\/0004-3702(94)00043-3_BIB44","series-title":"Proceedings ESS '90 Intelligent Process Control Design","article-title":"Direct real-time control using knowledge-based techniques","author":"Jager","year":"1990"},{"key":"10.1016\/0004-3702(94)00043-3_BIB45","article-title":"Generic MFM models for use in fault diagnosis of ship system's machinery","author":"J\u00f8rgensen","year":"1993"},{"key":"10.1016\/0004-3702(94)00043-3_BIB46","author":"Karnopp","year":"1975"},{"key":"10.1016\/0004-3702(94)00043-3_BIB47","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0029-5493(87)90304-9","article-title":"Application of goal tree\u2014success tree models as the knowledge-base of operator advisory systems","volume":"104","author":"Kim","year":"1987","journal-title":"Nuclear Eng. Design"},{"key":"10.1016\/0004-3702(94)00043-3_BIB48","article-title":"Decision structures of multi-agent systems","author":"Kj\u00e6r-Hansen","year":"1992"},{"key":"10.1016\/0004-3702(94)00043-3_BIB49","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0004-3702(84)90040-7","article-title":"How circuits work","volume":"24","author":"de Kleer","year":"1984","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00043-3_BIB50","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","article-title":"An assumption-based TMS","volume":"28","author":"de Kleer","year":"1986","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00043-3_BIB51","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0004-3702(86)90081-0","article-title":"Extending the ATMS","volume":"28","author":"de Kleer","year":"1986","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00043-3_BIB52","series-title":"Proceedings AAAI-91","first-page":"842","article-title":"Focusing on probable diagnoses","author":"de Kleer","year":"1991"},{"key":"10.1016\/0004-3702(94)00043-3_BIB53","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0004-3702(84)90037-7","article-title":"A qualitative physics based on confluences","volume":"24","author":"de Kleer","year":"1984","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00043-3_BIB54","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","article-title":"Diagnosing multiple faults","volume":"32","author":"de Kleer","year":"1987","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00043-3_BIB55","series-title":"Preprints of the 1992 IFAC\/IFIP\/IMACS International Symposium on Artificial Intelligence in Real-Time Control","first-page":"637","article-title":"DICE: a real-time toolbox","author":"Krijgsman","year":"1992"},{"key":"10.1016\/0004-3702(94)00043-3_BIB56","series-title":"Proceedings 3rd IFAC International Workshop on Artificial Intelligence in Real-Time Control","article-title":"DICE: a framework for real-time intelligent control","author":"Krijgsman","year":"1991"},{"key":"10.1016\/0004-3702(94)00043-3_BIB57","series-title":"Proceedings ESS '90 Intelligent Process Control Design","article-title":"DICE: a real-time intelligent control environment","author":"Krijgsman","year":"1990"},{"key":"10.1016\/0004-3702(94)00043-3_BIB58","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/0004-3702(84)90039-0","article-title":"Commonsense reasoning about causality: deriving behavior from structure","volume":"24","author":"Kuippers","year":"1984","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00043-3_BIB59","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0004-3702(86)90073-1","article-title":"Qualitative simulation","volume":"29","author":"Kuippers","year":"1986","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00043-3_BIB60","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1016\/0005-1098(89)90099-X","article-title":"Qualitative reasoning: modeling and simulation with incomplete knowledge","volume":"25","author":"Kuippers","year":"1989","journal-title":"Automatica"},{"key":"10.1016\/0004-3702(94)00043-3_BIB61","article-title":"Strips as a planning method within abstractions and MFM modeling","author":"Larsen","year":"1990"},{"key":"10.1016\/0004-3702(94)00043-3_BIB62","article-title":"Modeling start-up tasks using functional models","author":"Larsen","year":"1993","journal-title":"Project 4937-92-08-ED ISP DK, CRC JSP Ispra"},{"key":"10.1016\/0004-3702(94)00043-3_BIB63","series-title":"Workshop on Methods for Measuring, Monitoring, and Controlling Aseptic Processing","article-title":"A knowledge-based control system concept","author":"Larsson","year":"1990"},{"key":"10.1016\/0004-3702(94)00043-3_BIB64","series-title":"Proceedings 3rd IFAC International Workshop on Artificial Intelligence in Real-Time Control","article-title":"Model-based alarm analysis using MFM","author":"Larsson","year":"1991"},{"key":"10.1016\/0004-3702(94)00043-3_BIB65","series-title":"Proceedings IFAC Symposium on On-Line Fault Detection and Supervision in the Chemical Process Industries","article-title":"Model-based measurement validation using MFM","author":"Larsson","year":"1992"},{"key":"10.1016\/0004-3702(94)00043-3_BIB66","series-title":"Proceedings IFAC Symposium on On-Line Fault Detection and Supervision in the Chemical Process Industries","article-title":"Model-based fault diagnosis using MFM","author":"Larsson","year":"1992"},{"key":"10.1016\/0004-3702(94)00043-3_BIB67","article-title":"Knowledge-based methods for control systems","author":"Larsson","year":"1992"},{"key":"10.1016\/0004-3702(94)00043-3_BIB68","article-title":"An MFM toolbox","author":"Larsson","year":"1992"},{"key":"10.1016\/0004-3702(94)00043-3_BIB69","series-title":"Proceedings IEEE\/IFAC Joint Symposium on Computer-Aided Control System Design","article-title":"Hyperfast algorithms for model-based diagnosis","author":"Larsson","year":"1994"},{"issue":"6","key":"10.1016\/0004-3702(94)00043-3_BIB70","doi-asserted-by":"crossref","DOI":"10.1016\/0098-1354(83)85021-2","article-title":"Process computer alarm and disturbance analysis: review of the state of the art","volume":"7","author":"Lees","year":"1983","journal-title":"Comput. Chemical Eng."},{"key":"10.1016\/0004-3702(94)00043-3_BIB71","series-title":"IWG\/NPPCI Specialists Meeting on Procedures and Systems for Assisting an Operator During Normal and Anomalous Nuclear Power Plant Operation","article-title":"The use of flow models for design of plant operating procedures","author":"Lind","year":"1979"},{"key":"10.1016\/0004-3702(94)00043-3_BIB72","series-title":"Proceedings 2nd European Meeting on Cognitive Science Approaches to Process Control","article-title":"Human-machine interface for diagnosis based on multilevel flow modeling","author":"Lind","year":"1989"},{"key":"10.1016\/0004-3702(94)00043-3_BIB73","article-title":"Representing goals and functions of complex systems\u2014an introduction to multilevel flow modeling","author":"Lind","year":"1990"},{"key":"10.1016\/0004-3702(94)00043-3_BIB74","article-title":"Abstractions version 1.0\u2014descriptions of classes and their use","author":"Lind","year":"1990"},{"key":"10.1016\/0004-3702(94)00043-3_BIB75","article-title":"An architecture for real-time MFM diagnosis","author":"Lind","year":"1990"},{"key":"10.1016\/0004-3702(94)00043-3_BIB76","series-title":"Proceedings IFAC Workshop on Computer Software Integrating AI\/KBS Systems in Process Control","article-title":"Abstractions for modeling of diagnostic strategies","author":"Lind","year":"1991"},{"key":"10.1016\/0004-3702(94)00043-3_BIB77","series-title":"Proceedings Third European Conference on Cognitive Science Approaches to Process Control","article-title":"On the modeling of diagnostic tasks","author":"Lind","year":"1991"},{"key":"10.1016\/0004-3702(94)00043-3_BIB78","series-title":"Proceedings POST ANP '92 Conference on Human Cognitive and Cooperative Activities in Advanced Technological Systems","article-title":"A categorization of models and its application for the analysis of planning knowledge","author":"Lind","year":"1992"},{"key":"10.1016\/0004-3702(94)00043-3_BIB79","article-title":"Functional architectures for systems management and control. Interactive planning for integrated supervision and control of complex plant","author":"Lind","year":"1993"},{"key":"10.1016\/0004-3702(94)00043-3_BIB80","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":"Appl. Artif. Intell."},{"key":"10.1016\/0004-3702(94)00043-3_BIB81","article-title":"Systembeskrivelse og Pr\u00e4sentation i proceskontrol (System representation and presentation in process control)","author":"Lind","year":"1987"},{"key":"10.1016\/0004-3702(94)00043-3_BIB82","author":"Mah","year":"1990"},{"key":"10.1016\/0004-3702(94)00043-3_BIB83","first-page":"175","article-title":"Reconciliation and rectification of process flow and inventory data","volume":"15","author":"Mah","year":"1976"},{"key":"10.1016\/0004-3702(94)00043-3_BIB84","doi-asserted-by":"crossref","first-page":"828","DOI":"10.1002\/aic.690280519","article-title":"Detection of gross errors in process data","volume":"28","author":"Mah","year":"1982","journal-title":"AIChE J."},{"key":"10.1016\/0004-3702(94)00043-3_BIB85","series-title":"Proceedings ECAI-90","first-page":"425","article-title":"Multiple perspectives and classification mechanism in object-oriented representation","author":"Mari\u00f1o","year":"1990"},{"key":"10.1016\/0004-3702(94)00043-3_BIB86","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":"Comput. Chemical Eng."},{"key":"10.1016\/0004-3702(94)00043-3_BIB87","series-title":"Proceedings AI91\u2014Frontiers in Innovative Computing for the Nuclear Industry","article-title":"An intelligent man-machine system for BWR nuclear power plants","author":"Monta","year":"1991"},{"key":"10.1016\/0004-3702(94)00043-3_BIB88","series-title":"Preprints of the 1990 IFAC World Conference","first-page":"54","article-title":"A knowledge-based system in modeling and control for biotechnological processes","author":"Montellano","year":"1990"},{"key":"10.1016\/0004-3702(94)00043-3_BIB89","first-page":"274","article-title":"Expert system methodology for real-time process control","volume":"Vol. 6","author":"Moore","year":"1987"},{"key":"10.1016\/0004-3702(94)00043-3_BIB90","series-title":"Proceedings 11th Triennial IFAC World Congress 1990","first-page":"241","article-title":"Process control using a real-time expert system","author":"Moore","year":"1991"},{"key":"10.1016\/0004-3702(94)00043-3_BIB91","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/64.108948","article-title":"Intelligent monitoring and control of semiconductor manufacturing equipment","author":"Murdock","year":"1991","journal-title":"IEEE Expert"},{"key":"10.1016\/0004-3702(94)00043-3_BIB92","first-page":"38","article-title":"Model-based, multiple-fault diagnosis of dynamic, continuous physical devices","author":"Ng","year":"1991","journal-title":"IEEE Expert"},{"key":"10.1016\/0004-3702(94)00043-3_BIB93","article-title":"Qualitative model-based diagnosis\u2014MIDAS in G2","author":"Nilsson","year":"1991"},{"key":"10.1016\/0004-3702(94)00043-3_BIB94","article-title":"The interface substrate","author":"Osman","year":"1990"},{"key":"10.1016\/0004-3702(94)00043-3_BIB95","article-title":"Graphical control environment (Grace)","author":"Osman","year":"1992"},{"key":"10.1016\/0004-3702(94)00043-3_BIB96","article-title":"Qualitative modeling of continuous chemical processes and applications to fault diagnosis","author":"Oyeleye","year":"1989"},{"key":"10.1016\/0004-3702(94)00043-3_BIB97","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/64.87689","article-title":"Real-time fault diagnosis","author":"Padalkar","year":"1991","journal-title":"IEEE Expert"},{"key":"10.1016\/0004-3702(94)00043-3_BIB98","author":"Paynter","year":"1961"},{"key":"10.1016\/0004-3702(94)00043-3_BIB99","article-title":"Using mathematical models in knowledge-based control systems","author":"Petti","year":"1992"},{"key":"10.1016\/0004-3702(94)00043-3_BIB100","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1080\/00986449108910852","article-title":"Object-based automated fault diagnosis","volume":"102","author":"Petti","year":"1991","journal-title":"Chemical Eng. Commun."},{"key":"10.1016\/0004-3702(94)00043-3_BIB101","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1002\/aic.690360408","article-title":"Diagnostic model processor: using deep knowledge for process fault diagnosis","volume":"36","author":"Petti","year":"1990","journal-title":"AIChE J."},{"key":"10.1016\/0004-3702(94)00043-3_BIB102","author":"Rasmussen","year":"1986"},{"key":"10.1016\/0004-3702(94)00043-3_BIB103","doi-asserted-by":"crossref","DOI":"10.1016\/B978-0-444-70536-5.50014-2","article-title":"Information technology and work","author":"Rasmussen","year":"1988"},{"key":"10.1016\/0004-3702(94)00043-3_BIB104","article-title":"Coping with complexity","author":"Rasmussen","year":"1981"},{"key":"10.1016\/0004-3702(94)00043-3_BIB105","series-title":"Proceedings of the European Robotics and Intelligent Systems Conference","first-page":"83","article-title":"Knowledge management in process modeling. Engineering systems with intelligence: concepts, tools, and applications","author":"van den Ree","year":"1991"},{"key":"10.1016\/0004-3702(94)00043-3_BIB106","series-title":"Proceedings IMACS MCTS '91. Modeling and Control of Technological Systems","first-page":"732","article-title":"Proposal for process modeling","author":"van den Ree","year":"1991"},{"key":"10.1016\/0004-3702(94)00043-3_BIB107","doi-asserted-by":"crossref","first-page":"57","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":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00043-3_BIB108","article-title":"Design issues of human operator support systems","author":"Sassen","year":"1993"},{"key":"10.1016\/0004-3702(94)00043-3_BIB109","series-title":"Preprints of the 1992 IFAC\/IFIP\/IMACS International Symposium on Artificial Intelligence in Real-Time Control","first-page":"625","article-title":"Designing real-time knowledge-based systems with PERFECT","author":"Sassen","year":"1992"},{"key":"10.1016\/0004-3702(94)00043-3_BIB110","series-title":"Preprints of the 1992 IFAC\/IFIP\/IMACS International Symposium on Artificial Intelligence in Real-Time Control","first-page":"709","article-title":"Predicting and improving response-times of PERFECT models","author":"Sassen","year":"1992"},{"key":"10.1016\/0004-3702(94)00043-3_BIB111","series-title":"Proceedings 3rd European Conference on Cognitive Science Approaches to Process Control","first-page":"207","article-title":"Using multilevel flow models for fault diagnosis of industrial processes","author":"Sassen","year":"1991"},{"key":"10.1016\/0004-3702(94)00043-3_BIB112","author":"Shortliffe","year":"1976"},{"key":"10.1016\/0004-3702(94)00043-3_BIB113","series-title":"Expert Systems in Computer-Aided Design","article-title":"Multiple representation of structure and function","author":"Struss","year":"1987"},{"key":"10.1016\/0004-3702(94)00043-3_BIB114","series-title":"Readings in Model-Based Diagnosis","article-title":"Diagnosis as a process","author":"Struss","year":"1992"},{"key":"10.1016\/0004-3702(94)00043-3_BIB115","series-title":"Readings in Model-Based Diagnosis","article-title":"What's in SD? Towards a theory of modeling for diagnosis","author":"Struss","year":"1992"},{"key":"10.1016\/0004-3702(94)00043-3_BIB116","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(80)90032-6","article-title":"Constraints: a language for expressing almost-hierarchical descriptions","volume":"14","author":"Sussman","year":"1980","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00043-3_BIB117","series-title":"Proceedings Workshop on Computer Software Structures Integrating AI\/KBS Systems in Process Control","first-page":"19","article-title":"Integrating information processing and knowledge representation in an object-oriented way","author":"Terpstra","year":"1991"},{"key":"10.1016\/0004-3702(94)00043-3_BIB118","series-title":"Proceedings IFAC Symposium on On-Line Fault Detection and Supervision in the Chemical Process Industries","article-title":"A real-time, fuzzy, deep-knowledge based fault diagnosis system for a CSTR","author":"Terpstra","year":"1992"},{"key":"10.1016\/0004-3702(94)00043-3_BIB119","author":"Thoma","year":"1975"},{"key":"10.1016\/0004-3702(94)00043-3_BIB120","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1252\/jcej.22.364","article-title":"Automatic syntheziser of operating procedures for chemical plant by use of fragmentary knowledge","volume":"22","author":"Tomita","year":"1989","journal-title":"J. Chemical Eng. Japan"},{"key":"10.1016\/0004-3702(94)00043-3_BIB121","series-title":"Proceedings 3rd World Congress of Chemical Engineering","article-title":"Development of batch process operating system","author":"Tomita","year":"1986"},{"key":"10.1016\/0004-3702(94)00043-3_BIB122","author":"Torasso","year":"1989"},{"key":"10.1016\/0004-3702(94)00043-3_BIB123","series-title":"Proceedings 3rd IFAC International Workshop on Artificial Intelligence in Real-Time Control","article-title":"Knowledge-based real-time control: the use of abstraction to satisfy deadlines","author":"Vi\u00f1a","year":"1991"},{"key":"10.1016\/0004-3702(94)00043-3_BIB124","article-title":"Diagnostic reasoning in continuous systems","author":"Walseth","year":"1993"},{"key":"10.1016\/0004-3702(94)00043-3_BIB125","series-title":"Proceedings IFAC Symposium on On-Line Fault Detection and Supervision in the Chemical Process Industries","article-title":"Models for diagnosis\u2014application to a fertilizer plant","author":"Walseth","year":"1992"},{"key":"10.1016\/0004-3702(94)00043-3_BIB126","series-title":"Readings in Qualitative Reasoning about Physical Systems","year":"1990"},{"key":"10.1016\/0004-3702(94)00043-3_BIB127","series-title":"Proceedings IJCAI-91","article-title":"The hybrid phenomena theory","author":"Woods","year":"1991"},{"key":"10.1016\/0004-3702(94)00043-3_BIB128","article-title":"The hybrid phenomena theory","author":"Woods","year":"1993"},{"key":"10.1016\/0004-3702(94)00043-3_BIB129","series-title":"Preprints of the 3rd IFAC International Workshop on Artificial Intelligence in Real-Time Control","article-title":"Structural estimation with the hybrid phenomena theory","author":"Woods","year":"1991"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370294000433?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370294000433?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T14:19:08Z","timestamp":1756909148000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370294000433"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":129,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["0004370294000433"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(94)00043-3","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1996,1]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Diagnosis based on explicit means-end models","name":"articletitle","label":"Article Title"},{"value":"Artificial Intelligence","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/0004-3702(94)00043-3","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1996 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}