(703b) Error Detection for Chemical Plant Automation Logic Using Model Checking and Supervisory Control Theory
- 著者名:
- 掲載資料名:
- Computing and Systems Technology Division 2015 : Core Programming Area at the 2015 AIChE Annual Meeting : Salt Lake City, Utah, USA, 8-13 November 2015
- シリーズ名:
- AIChE Conference Proceedings
- シリーズ巻号:
- 2015
- 発行年:
- 2015
- パート:
- 2
- 開始ページ:
- 922
- 終了ページ:
- 922
- 総ページ数:
- 1
- 出版情報:
- New York: American Institute of Chemical Engineers
- ISBN:
- 9781510818569 [1510818561]
- 言語:
- 英語
- 請求記号:
- A08000/2015 [CD-ROM]
- 資料種別:
- 国際会議録
類似資料:
|
American Institute of Chemical Engineers |
American Institute of Chemical Engineers |
|
American Institute of Chemical Engineers |
American Institute of Chemical Engineers |
|
American Institute of Chemical Engineers |
9
国際会議録
(359c) Avoid Instability in Distillation Using Control Based on the Second Law of Thermodynamics
American Institute of Chemical Engineers |
|
American Institute of Chemical Engineers |
American Institute of Chemical Engineers |
|
American Institute of Chemical Engineers |
American Institute of Chemical Engineers |
|
American Institute of Chemical Engineers |
American Institute of Chemical Engineers |