Automatic Verification of Control Logic in the Presence of Process Faults

Automatic Verification of Control Logic in the Presence of Process Faults

著者名:

Probst, S.T. ( Carnegie Mellon University, Pittsburgh, PA )
Powers, G.J. ( Carnegie Mellon University, Pittsburgh, PA )

掲載資料名:

AIchE 1994 Annual Meeting : November 13-18 San Francisco Hilton and Towers Hotel, San Francisco, California

シリーズ名:

AIChE meeting [papers]

シリーズ巻号:

1994

発行年:

1994

ペーパー番号:

232e

総ページ数:

27

出版情報:

New York: American Institute of Chemical Engineers

言語:

英語

請求記号:

A08000/950031

資料種別:

国際会議録

詳細

TDL書誌ID:	ZA00015159
シリーズID:	PA00000179
会議名:	AIChE Annual Meeting
回次:	1994
会議開催地:	San Francisco, CA, USA
会議開催年:	1994.11.13-1994.11.18
論文注記:	Fiche 29

類似資料:

1 国際会議録 Safety and Operability Analysis of Chemical Process Designs using Symbolic Model Verification Probst, S. T., Powers, G. J. American Institute of Chemical Engineers	7 国際会議録 Computer-Aided Synthesis of Fault Trees for Complex Processing Systems Powers J. G., Tompkins C. F. Jr. Noordhoff International Publishing
2 国際会議録 On-Line Hazard Aversion and Fault Detection : Multiple Loop Control Example Ulerich, N.H., Powers, G.J. American Institute of Chemical Engineers	8 国際会議録 Microstructural Control during Processing of Aluminium Canning Alloys Marshall,G.J. Trans Tech Publications
3 国際会議録 Model and Verification of the Control Logic for a 64 Inch Slitter Turk, Adam L., Powers, Gary J. American Institute of Chemical Engineers	9 国際会議録 Self-sustaining dose control system:ways to improve the exposure process Kivenzor,G.J. SPIE - The International Society for Optical Engineering
4 国際会議録 Process Models for the Synthesis, Verification and Validation of Chemical Process Control Systems Moon, Il, Powers, Gary J. American Institute of Chemical Engineers	10 国際会議録 Progress in Divalent Mixed-Halide Glasses Dai,G.J., Zhang,C.S., Huang,S.T. Trans Tech Publications
5 国際会議録 Modeling and Verification of a Thermal Oxidation Process Turk, A., Powers, G. American Institute of Chemical Engineers	11 国際会議録 Logic Verification, Testing and their Relationship to Logic Synthesis Devadas S., Ma T. K. H. Kluwer Academic Publishers
6 国際会議録 Automatic Verification of Control Logics in Safety Instrumented System for Chemical Industrial Processes Jinkyung Kim, Younghee Lee, Il Moon American Institute of Chemical Engineers	12 国際会議録 Application of fuzzy logic to the automatic processing of particle image velocimetry images of a flow induced by adjacent spinning cylinders Bryanston-Cross,P.J., Wiison,T., Tucker,P.G., Pan,Z., Dunkley,P., Udrea,D.D., Hines,E.L. SPIE - The International Society for Optical Engineering

1

2

3

4

5

6

7

8

9

10

11

12