(703b) Error Detection for Chemical Plant Automation Logic Using Model Checking and Supervisory Control Theory
- Author(s):
- Publication title:
- Computing and Systems Technology Division 2015 : Core Programming Area at the 2015 AIChE Annual Meeting : Salt Lake City, Utah, USA, 8-13 November 2015
- Title of ser.:
- AIChE Conference Proceedings
- Ser. no.:
- 2015
- Pub. Year:
- 2015
- Pt.:
- 2
- Page(from):
- 922
- Page(to):
- 922
- Pages:
- 1
- Pub. info.:
- New York: American Institute of Chemical Engineers
- ISBN:
- 9781510818569 [1510818561]
- Language:
- English
- Call no.:
- A08000/2015 [CD-ROM]
- Type:
- Conference Proceedings
Similar Items:
|
American Institute of Chemical Engineers |
American Institute of Chemical Engineers |
|
2
Conference Proceedings
(493c) Dynamic Modeling and Control of Gas Turbines in Combined Cycle Power Plants
American Institute of Chemical Engineers |
8
Conference Proceedings
(569e) Passivity Based Control of Chemical Reactors Using Reaction Invariants
American Institute of Chemical Engineers |
|
American Institute of Chemical Engineers |
9
Conference Proceedings
(359c) Avoid Instability in Distillation Using Control Based on the Second Law of Thermodynamics
American Institute of Chemical Engineers |
|
4
Conference Proceedings
522b. Multi-Scale Modeling and Control of Particulate Cvd for Production of Solar Grade Silicon In Fluidized Beds
American Institute of Chemical Engineers |
American Institute of Chemical Engineers |
|
American Institute of Chemical Engineers |
11
Conference Proceedings
(206b) Optimal Control of Uncertain Systems Using Dual Model Predictive Control (DMPC)
American Institute of Chemical Engineers |
|
American Institute of Chemical Engineers |
12
Conference Proceedings
(32b) Energyplus Model-Based Predictive Control (EPMPC) Using Matlab/Simulink and Mle+
American Institute of Chemical Engineers |