[{"volume":1165,"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.","extern":"1","day":"01","doi":"10.1007/BFb0027241","abstract":[{"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.","lang":"eng"}],"citation":{"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.","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>","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."},"year":"1996","date_updated":"2022-07-06T10:06:19Z","publisher":"Springer","quality_controlled":"1","page":"265 - 282","article_processing_charge":"No","date_created":"2018-12-11T12:08:48Z","publication_status":"published","intvolume":"      1165","alternative_title":["LNCS"],"title":"Using HyTech to synthesize control parameters for a steam boiler","_id":"4427","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A"},{"first_name":"Howard","last_name":"Wong Toi","full_name":"Wong Toi, Howard"}],"main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/BFb0027241"}],"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publication_identifier":{"isbn":["9783540495666"]},"publist_id":"303","type":"book_chapter","date_published":"1996-01-01T00:00:00Z","language":[{"iso":"eng"}],"oa_version":"None","month":"01","publication":"Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control"}]