[{"abstract":[{"lang":"eng","text":"We propose a formal framework for designing hybrid systems by stepwise refinement. Starting with a specification in hybrid temporal logic, we make successively more transitions explicit until we obtain an executable system."}],"extern":"1","date_created":"2018-12-11T12:09:12Z","oa_version":"None","publist_id":"225","publication":"International Hybrid Systems Workshop","title":"Towards refining temporal specifications into hybrid systems","publisher":"Springer","citation":{"chicago":"Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Towards Refining Temporal Specifications into Hybrid Systems.” In <i>International Hybrid Systems Workshop</i>, edited by Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, 736:60–76. Springer, 1993. <a href=\"https://doi.org/10.1007/3-540-57318-6_24\">https://doi.org/10.1007/3-540-57318-6_24</a>.","ieee":"T. A. Henzinger, Z. Manna, and A. Pnueli, “Towards refining temporal specifications into hybrid systems,” in <i>International Hybrid Systems Workshop</i>, 1993, vol. 736, pp. 60–76.","apa":"Henzinger, T. A., Manna, Z., &#38; Pnueli, A. (1993). Towards refining temporal specifications into hybrid systems. In R. Grossman, A. Nerode, A. Ravn, &#38; H. Rischel (Eds.), <i>International Hybrid Systems Workshop</i> (Vol. 736, pp. 60–76). Springer. <a href=\"https://doi.org/10.1007/3-540-57318-6_24\">https://doi.org/10.1007/3-540-57318-6_24</a>","ama":"Henzinger TA, Manna Z, Pnueli A. Towards refining temporal specifications into hybrid systems. In: Grossman R, Nerode A, Ravn A, Rischel H, eds. <i>International Hybrid Systems Workshop</i>. Vol 736. Springer; 1993:60-76. doi:<a href=\"https://doi.org/10.1007/3-540-57318-6_24\">10.1007/3-540-57318-6_24</a>","mla":"Henzinger, Thomas A., et al. “Towards Refining Temporal Specifications into Hybrid Systems.” <i>International Hybrid Systems Workshop</i>, edited by Robert Grossman et al., vol. 736, Springer, 1993, pp. 60–76, doi:<a href=\"https://doi.org/10.1007/3-540-57318-6_24\">10.1007/3-540-57318-6_24</a>.","short":"T.A. Henzinger, Z. Manna, A. Pnueli, in:, R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), International Hybrid Systems Workshop, Springer, 1993, pp. 60–76.","ista":"Henzinger TA, Manna Z, Pnueli A. 1993. Towards refining temporal specifications into hybrid systems. International Hybrid Systems Workshop. International Hybrid Systems Workshop, LNCS, vol. 736, 60–76."},"publication_identifier":{"isbn":["978-3-540-57318-0"]},"acknowledgement":"This research was supported in part by the National Science Foundation under grants CCR-92-00794 and CCR-92-23226, by the Defense Advanced Research Projects Agency under contract NAG2-703, by the United States Air Force Office of Scientific Research under contracts F49620-93-1-0056 and F49620-93-1-0139, and by the European Community ESPRIT Basic Research Action Project 6021 (REACT).","status":"public","_id":"4506","year":"1993","volume":736,"page":"60 - 76","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"conference","quality_controlled":"1","date_published":"1993-01-01T00:00:00Z","author":[{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger"},{"first_name":"Zohar","last_name":"Manna","full_name":"Manna, Zohar"},{"full_name":"Pnueli, Amir","first_name":"Amir","last_name":"Pnueli"}],"editor":[{"full_name":"Grossman, Robert","last_name":"Grossman","first_name":"Robert"},{"full_name":"Nerode, Anil","last_name":"Nerode","first_name":"Anil"},{"full_name":"Ravn, Anders","first_name":"Anders","last_name":"Ravn"},{"last_name":"Rischel","first_name":"Hans","full_name":"Rischel, Hans"}],"article_processing_charge":"No","alternative_title":["LNCS"],"date_updated":"2022-03-23T13:13:46Z","doi":"10.1007/3-540-57318-6_24","conference":{"name":"International Hybrid Systems Workshop"},"month":"01","language":[{"iso":"eng"}],"day":"01","intvolume":"       736","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-57318-6_24"}],"publication_status":"published"}]