A Steam-Boiler Control Specification with Statecharts and Z.

Robert Büssow Matthias Weber

Published in: Formal Methods for Industrial Applications (1995)

Keyphrases

power plant
reactive systems
control system
formal methods
high level
control program
control method
artificial intelligence
information systems
fuzzy logic
decision support system
monitoring system
optimal control
formal specification
agent oriented
temperature control