Model-based safety verification under uncertainty

Computer Aided Chemical Engineering

Volumn 8, Issue C, 2000, Pages 793-798

  Huang, H ^a   Adjiman, C S ^a   Shah, N ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 77956796765     PISSN: 15707946     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S1570-7946(00)80134-0     Document Type: Article

References (7)

1. Adjiman C.S. Safety verification in chemical plants: a new quantitative approach. Computers chem. Engng. 23 (1999) S581
2. Dimitriadis V.D., Shah N., and Pantelides C.C. Modelling and safety verification of discrete-continuous processing systems. AIChE J. 43 (1997) 1041
3. nd Ed. (1996), Butterworths, London
4. Moore R.E. Interval Analysis (1966), Prentice Hall, Englewood Cliffs, NJ
5. Srinivasan R., Dimitriadis V.D., Shah N., and Venkatasubramanian V. Safety verification using a hybrid knowledge based mathematical programming framework. AIChE J. 44 (1998) 361
6. Torney R., and Pitblado R. Risk assessment in the process industries (1996), ICheme
7. Venkatasubramanian V., and Vaidhyanathan R. A knowledge-based framework for automating HAZOP analysis. AIChE J. 40 (1994) 496