Login / Signup
An Object-Oriented Algebraic Steam-Boiler Control Specification.
Peter Csaba Ölveczky
Piotr Kosiuczenko
Martin Wirsing
Published in:
Formal Methods for Industrial Applications (1995)
Keyphrases
</>
power plant
control method
control system
object oriented
temperature control
website
control theory
data sets
control strategy
control algorithm
adaptive control
mobile robot
mathematical model
data acquisition
formal verification