Verifying signed directed graph models for process plants

Computers and Chemical Engineering

Volumn 23, Issue SUPPL. 1, 1999, Pages

  Palmer, Claire ^a   Chung, Paul W H ^a  

^a LOUGHBOROUGH UNIVERSITY   (United Kingdom)

Author keywords

Qualitative modelling; Signed directed graphs; Verification

Indexed keywords

GRAPH THEORY; GRAPHIC METHODS; VERIFICATION;

PROCESS PLANTS; QUALITATIVE MODELLING; SIGNED DIRECTED GRAPH; VERIFICATION TECHNIQUES;

DIRECTED GRAPHS;

EID: 0008531577     PISSN: 00981354     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0098-1354(99)80096-9     Document Type: Conference Paper

References (11)

1. Andert, E.P.,1992, Integrated Knowledge-based SystemDesign and Validation for solving problems in uncertain environments, International Journal of Man-Machine Studies, 36 (2): 357-373.
2. Chung, P.W.H., 1993, Qualitative Analysis of Process Plant Behaviour, The Proceedings of the Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems: 277-283.
3. Gupta, U.M.,1993, Validation and Verification of Knowledge-Based Systems: A Survey. Journal of Applied Intelligence, 3: 343-363.
4. Hoppe, T. and Meseguer, P.,1993, WTTerminology: A Proposal, IEEE Expert(June): 48-55.
5. Iri, M. et al., 1979, An Algorithm for Diagnosis of System Failures in the Chemical Process. Computers and Chemical Engineering, 3: 489-493.
6. Larkin, F.R. et al., 1997, Computer-Aided Hazard Identification: Methodology and System Architecture, IChemESymposium Series Hazards Xlll Process Safety • The Future, 141: 337-348, IChernE, Rugby, UK.
7. Oyeleye, O. O. and Kramer, M.A., 1988, Qualitative Simulation of Chemical Process Systems: Steady State Analysis, AIChEJournal, 34: 1441-1454.
8. Palmer, C. and Chung, P.W.H., 1997, Constructing Qualitative Models, IChemEJubilee ResearchEvent, 2: 725-728, IChernE, Rugby, UK.
9. Palmer, C. and Chung, P.W.H., 1998, Eliminating Ambiguities in Qualitative Models, Computers and Chemical Engineering, (Suppl) 22: S843-S846.
10. Schut, C. and Bredeweg, B.,. 1994, Supporting Qualitative Model Specification, Proceedings of the second International Conference on Intelligent Systems Engineering: 37-42.
11. Wilcox, N.A. and Himmelblau, n.M., 1994, The Possible Cause and Effect Graphs (PeEG) Model for Fault Diagnosis -I. Methodology, Computers and Chemical Engineering, 18: 103-116.