Safety and Operability Analysis of Chemical Process Designs using Symbolic Model Verification

Safety and Operability Analysis of Chemical Process Designs using Symbolic Model Verification

Author(s):

Probst, S. T. ( Department of Chemical Engineering, Carnegie Mellon University 5000 Forbes Avenue, pittsburgh, PA 15213 )
Powers, G. J. ( Department of Chemical Engineering, Carnegie Mellon University 5000 Forbes Avenue, pittsburgh, PA 15213 )

Publication title:

AIChE SPRING NATIONAL MEETING -ATLANTA CA.- APRIL 17-24, 1994

Title of ser.:

AIChE meeting [papers]

Ser. no.:

1994

Pub. Year:

1994

Paper no.:

81a

Pages:

22

Pub. info.:

New York: American Institute of Chemical Engineers

Language:

English

Call no.:

A08000

Type:

Conference Proceedings

Details

TDL ID:	ZA00015157
Series ID:	PA00000179
Conf. info. (Name):	AIChE Spring National Meeting
Conf. info. (Number):	1994
Conf. info. (Venue):	Atlanta, GA, USA
Conf. info. (Date):	1994.04.17-1994.04.24
Note for article:	Fiche 37

Similar Items:

1 Conference Proceedings Automatic Verification of Control Logic in the Presence of Process Faults Probst, S.T., Powers, G.J. American Institute of Chemical Engineers	7 Conference Proceedings Automatic Verification of Real Time Batch Process Schedules using Symbolic Model Verification Kim, Jinkyung, Lee, Hanyong, Moon, Il American Institute of Chemical Engineers
2 Conference Proceedings Process Models for the Synthesis, Verification and Validation of Chemical Process Control Systems Moon, Il, Powers, Gary J. American Institute of Chemical Engineers	8 Conference Proceedings Model-Based Safety Verification of Discrete/Continuous Chemical Processes Dimitriadis, V., Shah, N., Pantelides, C.C. American Institute of Chemical Engineers
3 Conference Proceedings Modeling and Verification of a Thermal Oxidation Process Turk, A., Powers, G. American Institute of Chemical Engineers	9 Conference Proceedings Analysis and Verification of Model Climate Boer J. G. Kluwer Academic Publishers
4 Conference Proceedings Hazard and Operability Study: A Flexible Technique for Process System Safety and Reliability Analysis Shafaghi, A., Gibson, S. B. American Chemical Society	10 Conference Proceedings HAZARD AND OPERABILITY ANALYSIS IN PROCESS DESIGN LEVITZKY, JOSEPH J. American Institute of Chemical Engineers
5 Conference Proceedings Color image processing using symbolic data analysis Florou,G. SPIE-The International Society for Optical Engineering	11 Conference Proceedings Operability Analysis of Chemical Process Alternatives During Design Gollapalli, Usha, High, Karen A. American Institute of Chemical Engineers
6 Conference Proceedings Operability Considerations in Retrofit Designs of Heat Exchanger Networks STEPHANOPOULOS, G., CALANDRANIS, J. American Institute of Chemical Engineers	12 Conference Proceedings Model and Verification of the Control Logic for a 64 Inch Slitter Turk, Adam L., Powers, Gary J. American Institute of Chemical Engineers

1

2

3

4

5

6

7

8

9

10

11

12