---
_id: '4427'
abstract:
- lang: eng
  text: 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.
acknowledgement: This research was supported in part by the ONR YIP award N00014-95-1-0520,
  by the NSF CAREER award CCR-9501708, by the NSF grant CCR-9504469, by the AFOSR
  contract F49620-93-1-0056, and by the ARPA grant NAG2-892.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Howard
  full_name: Wong Toi, Howard
  last_name: Wong Toi
citation:
  ama: 'Henzinger TA, Wong Toi H. Using HyTech to synthesize control parameters for
    a steam boiler. In: <i>Formal Methods for Industrial Applications: Specifying
    and Programming the Steam Boiler Control</i>. Vol 1165. Springer; 1996:265-282.
    doi:<a href="https://doi.org/10.1007/BFb0027241">10.1007/BFb0027241</a>'
  apa: 'Henzinger, T. A., &#38; Wong Toi, H. (1996). Using HyTech to synthesize control
    parameters for a steam boiler. In <i>Formal Methods for Industrial Applications:
    Specifying and Programming the Steam Boiler Control</i> (Vol. 1165, pp. 265–282).
    Springer. <a href="https://doi.org/10.1007/BFb0027241">https://doi.org/10.1007/BFb0027241</a>'
  chicago: 'Henzinger, Thomas A, and Howard Wong Toi. “Using HyTech to Synthesize
    Control Parameters for a Steam Boiler.” In <i>Formal Methods for Industrial Applications:
    Specifying and Programming the Steam Boiler Control</i>, 1165:265–82. Springer,
    1996. <a href="https://doi.org/10.1007/BFb0027241">https://doi.org/10.1007/BFb0027241</a>.'
  ieee: 'T. A. Henzinger and H. Wong Toi, “Using HyTech to synthesize control parameters
    for a steam boiler,” in <i>Formal Methods for Industrial Applications: Specifying
    and Programming the Steam Boiler Control</i>, vol. 1165, Springer, 1996, pp. 265–282.'
  ista: 'Henzinger TA, Wong Toi H. 1996.Using HyTech to synthesize control parameters
    for a steam boiler. In: Formal Methods for Industrial Applications: Specifying
    and Programming the Steam Boiler Control. LNCS, vol. 1165, 265–282.'
  mla: 'Henzinger, Thomas A., and Howard Wong Toi. “Using HyTech to Synthesize Control
    Parameters for a Steam Boiler.” <i>Formal Methods for Industrial Applications:
    Specifying and Programming the Steam Boiler Control</i>, vol. 1165, Springer,
    1996, pp. 265–82, doi:<a href="https://doi.org/10.1007/BFb0027241">10.1007/BFb0027241</a>.'
  short: 'T.A. Henzinger, H. Wong Toi, in:, Formal Methods for Industrial Applications:
    Specifying and Programming the Steam Boiler Control, Springer, 1996, pp. 265–282.'
date_created: 2018-12-11T12:08:48Z
date_published: 1996-01-01T00:00:00Z
date_updated: 2022-07-06T10:06:19Z
day: '01'
doi: 10.1007/BFb0027241
extern: '1'
intvolume: '      1165'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/BFb0027241
month: '01'
oa_version: None
page: 265 - 282
publication: 'Formal Methods for Industrial Applications: Specifying and Programming
  the Steam Boiler Control'
publication_identifier:
  isbn:
  - '9783540495666'
publication_status: published
publisher: Springer
publist_id: '303'
quality_controlled: '1'
status: public
title: Using HyTech to synthesize control parameters for a steam boiler
type: book_chapter
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1165
year: '1996'
...