Safety verification using a hybrid knowledge‐based mathematical programming framework
- 1 February 1998
- journal article
- process systems-engineering
- Published by Wiley in AIChE Journal
- Vol. 44 (2) , 361-371
- https://doi.org/10.1002/aic.690440213
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Automating HAZOP analysis of batch chemical plants: Part I. The knowledge representation frameworkComputers & Chemical Engineering, 1998
- Modeling and safety verification of discrete/continuous processing systemsAIChE Journal, 1997
- A case study in hybrid process safety verificationComputers & Chemical Engineering, 1996
- A semi-quantitative reasoning methodology for filtering and ranking HAZOP results in HAZOPExpertReliability Engineering & System Safety, 1996
- Hazopexpert: An expert system for automating HAZOP analysisProcess Safety Progress, 1996
- Modeling of combined discrete/continuous processesAIChE Journal, 1994