{"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","language":[{"iso":"eng"}],"title":"HyTech: The Cornell Hybrid Technology Tool","author":[{"full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Ho","full_name":"Ho, Pei","first_name":"Pei"}],"abstract":[{"lang":"eng","text":"This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies that have been incorporated into HyTech, and we illustrate the use of HyTech with three nontrivial case studies."}],"series_title":"LNCS","citation":{"ieee":"T. A. Henzinger and P. Ho, “HyTech: The Cornell Hybrid Technology Tool,” in <i>4th International Hybrid Systems Workshop</i>,  New Brunswick, NJ, United States of America, 1995, vol. 999, pp. 265–293.","ista":"Henzinger TA, Ho P. 1995. HyTech: The Cornell Hybrid Technology Tool. 4th International Hybrid Systems Workshop. Hybrid Systems IIILNCS, LNCS, vol. 999, 265–293.","chicago":"Henzinger, Thomas A, and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.” In <i>4th International Hybrid Systems Workshop</i>, edited by Antsaklis Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:265–93. LNCS. Springer, 1995. <a href=\"https://doi.org/10.1007/3-540-60472-3_14\">https://doi.org/10.1007/3-540-60472-3_14</a>.","mla":"Henzinger, Thomas A., and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.” <i>4th International Hybrid Systems Workshop</i>, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 265–93, doi:<a href=\"https://doi.org/10.1007/3-540-60472-3_14\">10.1007/3-540-60472-3_14</a>.","short":"T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.), 4th International Hybrid Systems Workshop, Springer, 1995, pp. 265–293.","ama":"Henzinger TA, Ho P. HyTech: The Cornell Hybrid Technology Tool. In: Panos A, Kohn W, Nerode A, Sastry S, eds. <i>4th International Hybrid Systems Workshop</i>. Vol 999. LNCS. Springer; 1995:265-293. doi:<a href=\"https://doi.org/10.1007/3-540-60472-3_14\">10.1007/3-540-60472-3_14</a>","apa":"Henzinger, T. A., &#38; Ho, P. (1995). HyTech: The Cornell Hybrid Technology Tool. In A. Panos, W. Kohn, A. Nerode, &#38; S. Sastry (Eds.), <i>4th International Hybrid Systems Workshop</i> (Vol. 999, pp. 265–293).  New Brunswick, NJ, United States of America: Springer. <a href=\"https://doi.org/10.1007/3-540-60472-3_14\">https://doi.org/10.1007/3-540-60472-3_14</a>"},"conference":{"location":" New Brunswick, NJ, United States of America","start_date":"1995-10-22","name":"Hybrid Systems III","end_date":"1955-10-25"},"acknowledgement":"This research was supported in part by the National Science Foundation under grant CCR-9200794, by the Air Force Office of Scientific Research under contract F49620-93-1-0056, by the Office of Naval Research under YIP grant N00014-95-1-0520, and by the Defense Advanced Research Projects Agency under grant NAG2-892.","volume":999,"publication":"4th International Hybrid Systems Workshop","status":"public","publication_status":"published","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-60472-3_14"}],"editor":[{"last_name":"Panos","full_name":"Panos, Antsaklis","first_name":"Antsaklis"},{"last_name":"Kohn","full_name":"Kohn, Wolf","first_name":"Wolf"},{"first_name":"Anil","full_name":"Nerode, Anil","last_name":"Nerode"},{"last_name":"Sastry","full_name":"Sastry, Shankar","first_name":"Shankar"}],"extern":"1","intvolume":"       999","month":"01","date_created":"2018-12-11T12:08:54Z","publist_id":"281","doi":"10.1007/3-540-60472-3_14","article_processing_charge":"No","date_published":"1995-01-01T00:00:00Z","publisher":"Springer","_id":"4447","type":"conference","day":"01","date_updated":"2022-06-10T11:24:15Z","quality_controlled":"1","oa_version":"None","page":"265 - 293","publication_identifier":{"isbn":["9783540683346"]},"year":"1995","alternative_title":["LNCS"]}