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