Steam Boiler Control Specification Problem: A TLA Solution.

Frank Leßke Stephan Merz

Published in: Formal Methods for Industrial Applications (1995)

Keyphrases

power plant
optimal solution
monitoring system
artificial intelligence
high level
control method
control policy
real time
data sets
information systems
evolutionary algorithm
control system
data acquisition
closed form
exact solution
control program