@inbook{4427,
  abstract     = {We model a steam-boiler control system using hybrid automata. We provide two abstracted linear models of the nonlinear behavior of the boiler. For each model, we define and verify a controller that maintains safe operation of the boiler. The less abstract model permits the design of a more efficient controller. We also demonstrate how the tool HyTech can be used to automatically synthesize control parameter constraints that guarantee safety of the boiler.},
  author       = {Henzinger, Thomas A and Wong Toi, Howard},
  booktitle    = {Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control},
  isbn         = {9783540495666},
  pages        = {265 -- 282},
  publisher    = {Springer},
  title        = {{Using HyTech to synthesize control parameters for a steam boiler}},
  doi          = {10.1007/BFb0027241},
  volume       = {1165},
  year         = {1996},
}