Safety Analysis Embedded in Heat Exchanger Network Synthesis.

Andreja Nemet Jirí Jaromír Klemes Il Moon Zdravko Kravanja

Published in: Comput. Chem. Eng. (2017)

Keyphrases

safety analysis
heat exchanger
neural network
wireless sensor networks
embedded systems
control system
low cost
predictive control
nuclear power plant
multiple models
safety critical
symbolic model checking