The Steam-Boiler Problem in Lustre.

Thierry Cattel Grégory Duval

Published in: Formal Methods for Industrial Applications (1995)

Keyphrases

power plant
coal fired
fault diagnosis
decision support system
soft computing
historical data
power generation
real time
wind power
machine learning
case based reasoning
power grid
mathematical model
wind speed
decision makers
wireless sensor networks
neural network
databases