{"status":"public","title":"HyTech: The Cornell Hybrid Technology Tool","quality_controlled":"1","alternative_title":["LNCS"],"series_title":"LNCS","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_created":"2018-12-11T12:08:54Z","oa_version":"None","publisher":"Springer","date_published":"1995-01-01T00:00:00Z","extern":"1","publication_status":"published","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-60472-3_14"}],"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."}],"day":"01","type":"conference","date_updated":"2022-06-10T11:24:15Z","month":"01","article_processing_charge":"No","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,"publist_id":"281","intvolume":"       999","year":"1995","citation":{"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>","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.","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>","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>.","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.","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>.","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."},"conference":{"end_date":"1955-10-25","location":" New Brunswick, NJ, United States of America","name":"Hybrid Systems III","start_date":"1995-10-22"},"editor":[{"last_name":"Panos","first_name":"Antsaklis","full_name":"Panos, Antsaklis"},{"last_name":"Kohn","first_name":"Wolf","full_name":"Kohn, Wolf"},{"first_name":"Anil","last_name":"Nerode","full_name":"Nerode, Anil"},{"full_name":"Sastry, Shankar","last_name":"Sastry","first_name":"Shankar"}],"language":[{"iso":"eng"}],"_id":"4447","doi":"10.1007/3-540-60472-3_14","page":"265 - 293","author":[{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","first_name":"Thomas A","orcid":"0000−0002−2985−7724"},{"full_name":"Ho, Pei","first_name":"Pei","last_name":"Ho"}],"publication":"4th International Hybrid Systems Workshop","publication_identifier":{"isbn":["9783540683346"]}}