Publication | Closed Access

Model-based reasoning in diagnostic expert systems for chemical process plants

Diagnostic Expert SystemsEngineeringIndustrial EngineeringAutomated ReasoningDiagnostic SystemModel-based ReasoningVerificationDiagnosisProcess ControlFormal MethodsSystems EngineeringSystem DiagnosisProblem DiagnosisModel AnalysisProcess Safety