Safety verification in chemical plants: A new quantitative approach

Computers and Chemical Engineering

Volumn 23, Issue SUPPL. 1, 1999, Pages

  Adjiman, C S ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Hazard identification; Hybrid state transition system; Interval arithmetic; Safety verification

Indexed keywords

BATCH REACTORS; CHEMICAL PLANTS; UNCERTAINTY ANALYSIS;

HAZARD IDENTIFICATION; HYBRID STATE; INTERVAL ARITHMETIC; QUANTITATIVE APPROACH; SAFETY ANALYSIS; SAFETY VERIFICATION; TIME HORIZONS; TRANSITION MODEL;

HAZARDS;

EID: 26544444095     PISSN: 00981354     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0098-1354(99)80143-4     Document Type: Conference Paper

References (11)

1. Alur, R., Courcoubetis, C., Henziger, T.A. and Ho,P.-H., 1993, in Hybl'id Systems, Grossman, R.L. and Nerode, A. and Ravn, A.P. and Rischel, H., Editors, Lectures Notes in Computer Science, vol. 736, pp. 209-229, Springer-Verlag, Berlin.
2. Alur, R., Courcoubetis, C., Halbwachs, N., Henziger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J. and Yovine, S., 1995, The algorithmic analysis of hybrid systems, Theoretical Computer Science, 138, 334.
3. R. Alur, T.A. Henziger and P.-H. Ho, 1996, Automatic symbolic verification of embedded systems, IEEE Transactions on Software Engineering, 22, 181201.
4. Barton, PJ. and Pantelides, C.C., 1994, Modeling of combined discrete-continuous processes, AIChE Journal, 40, 966-979.
5. Catino, C.A. and Ungar, L.H., 1995, Model-based approach to automated hazard identification of chemical plants, AIChE Journal, 41,97-109.
6. Dimitriadis, V.D., Shah, N. and Pantelides, C.C., 1997, Modeling and safety verification of discrete/ continuous processing systems, AIChE Journal, 43, 1041-1059.
7. Goring, M.H. and Schecker, H.G., 1993, HAZEXPERT - An integrated expert system to support hazard analysis in process plant design, Computers and Chemical Engineering, 17, S429-5434.
8. Grossman, R.L., Nerode, A., Ravn, A.P. and Rischel, H. (Eds .), 1993, Hybrid Systems, Lectures Notes in Computer Science, 736, Springer-Verlag, Berlin.
9. Jaulin L. and Walter E., 1997, Global numerical approach to nonlinear discrete-time control, IEEE Tmnsactions on Automatic Control, 42, 872-875.
10. Lapp, S.A. and Powers, G.J., 1977, Computer-aided synthesis of fault-trees, IEEE Transactions on Reliability, R-26, 2-11.
11. Moore, R.E., 1966, Interval Analysis, Prentice Hall, Englewood Cliffs, NJ