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