Quantitative framework for reliable safety analysis

AIChE Journal

Volumn 48, Issue 1, 2002, Pages 78-96

  Huang, Haitao ^a   Adjiman, Claire S ^a   Shah, Nilay ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; ELECTRIC REACTORS; HAZARDS;

SAFE OPERATIONS;

CHEMICAL REACTIONS;

REACTOR; SAFETY FACTOR;

ALGORITHM; ARTICLE; BATCH REACTOR; CHEMICAL PARAMETERS; CHEMICAL PROCEDURES; CHEMICAL REACTION; COST BENEFIT ANALYSIS; ECONOMICS; HAZARD; HYBRID; IDENTITY; QUANTITATIVE ANALYSIS; RELIABILITY; RISK ASSESSMENT; SAFETY;

EID: 0037827216     PISSN: 00011541     EISSN: None     Source Type: Journal    
DOI: 10.1002/aic.690480110     Document Type: Article

References (47)

1. Adjiman, C. S., "Safety Verification in Chemical Plants: A New Quantitative Approach," Comput. and Chem. Eng. Suppl., S581 (1999).
2. Adjiman, C. S., I. P. Androulakis, and C. A. Floudas, "A Global Optimization Method, αBB, for General Twice-Differentiable Constrained NLPs: II. Implementation and Computational Results," Comput. and Chem. Eng., 22, 1159 (1998).
3. Alur, R., C. Courcoubetis, N. Halbwachs, T. Henziger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, "The Algorithmic Analysis of Hybrid Systems," Theor. Comput. Sci., 138, 3 (1995).
4. Alur, R., C. Courcoubetis, T. Henziger, and P.-H. Ho, "Hybrid Automata: an Algorithm Approach to the Specification and Verification of Hybrid Systems," Hybrid Systems, R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, eds., Lectures Notes in Computer Science, Vol. 736, Springer-Verlag, Berlin, p. 209 (1993).
5. Alur, R., T. Henziger, and P.-H. Ho, "Automatic Symbolic Verification of Embedded Systems," IEEE Trans. on Software Eng., 22, 181 (1996a).
6. Alur, R., T. Henziger, and E. Sontag, Hybrid Systems: III. Verification and Control, Lecture Notes in Computer Science, Vol. 1066, Springer-Verlag, Berlin (1996b).
7. Asarin, E., O. Maler, and A. Pnueli, "Reachability Analysis of Dynamical Systems having Piecewise-Constant Derivatives," Theor. Comput. Sci., 138, 35 (1995).
8. Barton, P., and C. Pantelides, "Modeling of Combined Discrete-Continuous Processes," AIChE J., 40, 966 (1994).
9. Barton, P., and T. Park, "Analysis and Control of Combined Discrete/Continuous Systems: Progress and Challenges in the Chemical Processing Industries," AIChE Symp. Ser., 5-316 (1997).
10. Catino, C., and L. Ungar, "Model-Based Approach to Automated Hazard Identification of Chemical Plants," AIChE J., 41, 97 (1995).
11. Chen, C.-T., Linear System Theory and Design, Holt, Rinehart and Winston, New York (1984).
12. Clarke, E., E. Emerson, and A. Sistla, "Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications," ACM Trans. on Programming Languages and Syst., 8, 244 (1986).
13. Dill, D., and H. Wong-Toi, "Verification of Real-Time Systems by Successive Over and Under Approximation," Computer Aided Verification, 939, 409 (1995).
14. Dimitriadis, V., N. S. J. Hackenberg, and C. Pantelides, "A Case Study in Hybrid Process Safety Verification," Comput. and Chem. Eng., 20, S503 (1996).
15. Dimitriadis, V., N. Shah, and C. Pantelides, "Modeling and Safety Verification of Discrete/Continuous Processing Systems," AIChE J., 43, 1041 (1997).
16. Dimitriadis, V. D., "Modelling, Safety Verification and Design of Discrete/Continuous Processing Systems," PhD Thesis, Imperial College (1997).
17. Eley, C., "Compliance Audit Checklists for Hazardous Chemicals," Hybroc. Process., 71, 97 (1992).
18. Fogler, H. S., Elements of Chemical Reaction Engineering, Prentice Hall, Upper Saddle River, NJ, 3rd ed. (1999).
19. Göring, M., and H. Schecker, "HAZEXPERT - An Integrated Expert System to Support Hazard Analysis in Process Plant Design," Comput. and Chem. Eng., 17, S429 (1993).
20. Grossman, R., A. Nerode, A. Ravn, and H. Rischel, Hybrid Systems, Lectures Notes in Computer Science, Vol. 736, Springer-Verlag, Berlin (1993).
21. Huang, H., C. S. Adjiman, and N. Shah, "Model-Based Safety Verification Under Uncertainty," Euro. Symp. on Computer Aided Process Eng.-10, S. Pierucci, ed., Elsevier Science B. V. (2000).
22. Jaulin, L., and E. Walter, "Global Numerical Approach to Nonlinear Discrete-Time Control," IEEE Trans. on Automatic Control, 42, 872 (1997).
23. Jones, D., "Lessons from HAZOP Experiences," Hybroc. Process., 71, 77 (1992).
24. Kearfott, R. B., and M. Novoa III, "INTBIS, a Portable Interval Newton/Bisection Package," ACM Trans. Math. Soft., 16, 152 (1990).
25. Kelly, W., "Oversights and Mythology in a HAZOP Program," Hydroc. Process., 70, 114 (1991).
26. Kesten, Y., A. Pnueli, J. Sifakis, and S. Yovine, "Integration Graphs: a Class of Decidable Hybrid Systems," Hybrid Systems, R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, eds., Lectures Notes in Computer Sci., Vol. 736, Springer-Verlag, Berlin, p. 179 (1993).
27. Kleer, J. D., and J. Brown, "A Qualitative Physics Based on Confluence," Artificial Intelligence, 24, 7 (1984).
28. Kleindorfer, P., and H. Kunreuther, Insuring and Managing Hazardous Risks - From Seveso to Bhopal and Beyond, Springer-Verlag, Berlin (1987).
29. Kletz, T., "Incidents that Could Have Been Prevented by HAZOP," J. of Loss Prevention in the Process Ind., 4, 128 (1991).
30. Kuipers, B., "Qualitative Simulation," Artificial Intelligence, 29, 289 (1986).
31. Kumamoto, H., and E. Henley, Probabilistic Risk Assessment and Management for Engineers and Scientists, 2nd ed., IEEE Press, NJ, (1996).
32. Kurzman, D., A Killing Wind: Inside Union Carbide and the Bhopal Catastrophe, McGraw-Hill, New York (1987).
33. Lewis, D., "Flixborough," Chem. Eng., 466, 6 (1989).
34. Moon, I., G. Powers, J. Burch, and E. Clarke, "Automatic Verification of Sequential Control Systems using Temporal Logic," AIChE J., 38, 67 (1992).
35. Moore, R., Interval Analysis, Prentice Hall, Englewood Cliffs, NJ (1966).
36. Neumaier, A., Interval Methods for Systems of Equations, Cambridge University Press, Cambridge (1990).
37. OJEC, "Seveso II Directive 96/82/EC," Official J. of the Euro. Communities (1997).
38. OSHA, "Process Safety Management of Highly Hazardous Chemicals," U.S. Dept. of Labor, OSHA (1992).
39. Park, T., and P. Barton, "Implicit Model Checking of Logic-Based Control Systems," AIChE J., 43, 2246 (1997).
40. Schnepper, C. A., and M. A. Stadtherr, "Robust Process Simulation using Interval Methods," Comput. Chem. Eng., 20, 187 (1996).
41. Srinivasan, R., V. Dimitriadis, N. Shah, and V. Vekatasubramanian, "Integrating Knowledge-Based and Mathematical Programming Approaches for Process Safety Verification," Comput. and Chem. Eng., 21, S905 (1997).
42. Srinivasan, R., V. Dimitriadis, N. Shah, and V. Venkatasubramanian, "Safety Verification using a Hybrid Knowledge-Based Mathematical Programming Framework," AIChE J., 44, 361 (1998).
43. Srinivasan, R., and V. Venkatasubramanian, "Automating HAZOP Analysis of Batch Chemical Plants: I. The Knowledge Representation Framework," Comput. and Chem. Eng., 22, 1345 (1998).
44. Viswanathan, S., C. Johnsson, R. Srinivasan, V. Venkatasubramanian, and K. E. Arzen, "Automating HAZOP Analysis of Batch Chemical Plants: II. Implementation and Application," Comput. and Chem. Eng., 22, 1687 (1998).
45. Wallace, D., and R. Fujii, "Software Verification and Validation: an Overview," IEEE Software, 6, 10 (1989).
46. Walter, W., Differential and Integral Inequalities, Springer-Verlag, Berlin (1970).
47. Waters, A., and J. Ponton, "Qualitative Simulation and Fault Propagation in Process Plants," Chem. Eng. Res. and Des., 67, 407 (1989).