Modeling and Safety Verification of Discrete/Continuous Processing Systems

AIChE Journal

Volumn 43, Issue 4, 1997, Pages 1041-1059

  Dimitriadis, V D ^a   Shah, N ^a   Pantelides, C C ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CHEMICAL ENGINEERING; COMPUTER SIMULATION; DISCRETE TIME CONTROL SYSTEMS; MATHEMATICAL MODELS; OPTIMIZATION;

CHEMICAL PROCESS SAFETY; CONTINUOUS PROCESSING SYSTEMS; DISCRETE PROCESSING SYSTEMS; SAFETY VERIFICATION;

SECURITY SYSTEMS;

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

References (24)

1. Alur, R., C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, "The Algorithmic Analysis of Hybrid Systems," Theor. Comput. Sci., 138, 3 (1995).
2. Alur R., C. Courcoubetis, T. Henzinger, and P. Ho, "Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems," Hybrid Systems, R. Grossman and A. Nerode, eds., No. 736, Lecture Notes in Computer Science, Springer-Verlag, New York, p. 209 (1993).
3. Barton, P., and C. Pantelides, "Modeling of Combined Discrete/Continuous Processes," AIChE J., 40, 966 (1994).
4. Cassandras, C., Discrete Event Systems: Modeling and Performance Analysis, Aksen, Boston (1993).
5. Catino, A., and L. Ungar, "Model-based Approach to Automated Hazard Identification of Chemical Plants," AIChE J., 41, 97 (1995).
6. Chase, C., J. Serrano, and P. Ramadge, "Periodicity and Chaos from Switched Flow Systems: Contrasting Examples of Discretely Controlled Continuous Systems," Proc. Conf. on Control and Its Applications, Minneapolis (1992).
7. Clarke E., E. Emerson, and A. Sistla, "Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications," ACM Trans. Program. Lang. Syst., 8, 244 (1986).
8. Crowl, D., and J. Louvar, Chemical Process Safety: Fundamentals with Applications, Prentice Hall, Englewood Cliffs, NJ (1990).
9. Dimitriadis, V., N. Shah, and C. Pantelides, "Optimal Design of Hybrid Controllers for Hybrid Process Systems," DIMACS Workshop on Verification and Control of Hybrid Systems, New Brunswick, NJ (1995).
10. Grossman, R., and A. Nerode, eds., Hybrid Systems, No. 736, Lecture Notes in Computer Science, Springer-Verlag, New York (1993).
11. Hackenberg, J., "Modelling and Safety Verification of a Batch Fertiliser Plant," Tech. Rep., Centre for Process Systems Engineering, Imperial College, London (1995).
12. IBM, Optimization Subroutine Library: Guide and Reference, Release 2, 4th ed., IBM Corp., Kingston, New York (1992).
13. Kletz, T., What Went Wrong? Case Histories of Process Plant Disasters, Gulf Publ., Houston, TX (1985).
14. Kletz, T., HAZOP and HAZAN. Identifying and Assessing Process Industry Hazards, 3rd ed., Inst. Chem. Eng., Rugby, UK (1992).
15. Moon, I., "Automatic Verification of Discrete Chemical Process Control Systems," PhD Thesis, Carnegie Mellon University, Pittsburgh (1992).
16. Moon, I., and S. Macchietto, "Formal Verification of Batch Processing Control Procedures," Proc. PSE '94, Seoul, Korea, p. 469 (1994).
17. Moon, I., G. Powers, J. Burch, and E. Clarke, "Automatic Verification of Sequential Control Systems Using Temporal Logic," AIChE J., 38, 67 (1992).
18. Nicollin, X., A. Olivero, J. Sifakis, and S. Yovine, "An Approach to the Description and Analysis of Hybrid Systems," Hybrid Systems, R. Grossman and A. Nerode, eds., No. 736, Lecture Notes in Computer Science, Springer-Verlag, New York, p. 149 (1993).
19. Park, T., and P. Barton, "Towards Dynamic Simulation of a Process and Its Automatic Protective System," Int. Symp. and Workshop on Safe Chemical Process Automation, Houston, TX (1994).
20. Probst, S., "Chemical Process Safety and Operability Analysis," PhD Thesis, Carnegie Mellon University, Pittsburgh (1996).
21. Probst, S., and G. Powers, "Automatic Verification of Control Logic in the Presence of Process Faults," AIChE Meeting, San Francisco (1994).
22. Srinivasan, R., V. Dimitriadis, N. Shah, and V. Venkatasubramanian, "Integrating Knowledge Based and Mathematical Programming Approaches for Process Safety Verification," ESCAPE-7, Trondheim, Norway (1997).
23. Venkatasubramanian, V., and R. Vaidhyanathan, "A Knowledge-Based Framework for Automating Hazop Analysis," AIChE J., 40, 496 (1994).
24. Waters, A., and J. Ponton, "Qualitative Simulation and Fault Propagation in Process Plants," Chem. Eng. Res. Des., 67, 407 (1989).