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