{"month":"01","article_processing_charge":"No","date_updated":"2022-06-10T11:48:59Z","type":"conference","day":"01","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-60472-3_13"}],"abstract":[{"lang":"eng","text":"We report on several abstract interpretation strategies that are designed to improve the performance of HyTech, a symbolic model checker for linear hybrid systems. We (1) simultaneously compute the target region from different directions, (2) conservatively approximate the target region by dropping constraints, and (3) iteratively refine the approximation until sufficient precision is obtained. We consider the standard abstract convex-hull operator and a novel abstract extrapolation operator."}],"extern":"1","date_published":"1995-01-01T00:00:00Z","publication_status":"published","publisher":"Springer","oa_version":"None","date_created":"2018-12-11T12:08:54Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","alternative_title":["LNCS"],"quality_controlled":"1","title":"A note on abstract-interpretation strategies for hybrid automata","status":"public","publication_identifier":{"isbn":["9783540604723"]},"doi":"10.1007/3-540-60472-3_13","page":"252 - 264","publication":"3rd International Hybrid Systems Workshop","author":[{"orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger"},{"last_name":"Ho","first_name":"Pei","full_name":"Ho, Pei"}],"editor":[{"last_name":"Panos","first_name":"Antsaklis","full_name":"Panos, Antsaklis"},{"first_name":"Wolf","last_name":"Kohn","full_name":"Kohn, Wolf"},{"full_name":"Nerode, Anil","last_name":"Nerode","first_name":"Anil"},{"full_name":"Sastry, Shankar","first_name":"Shankar","last_name":"Sastry"}],"language":[{"iso":"eng"}],"_id":"4448","citation":{"ieee":"T. A. Henzinger and P. Ho, “A note on abstract-interpretation strategies for hybrid automata,” in <i>3rd International Hybrid Systems Workshop</i>, Ithaca, NY, United States of America, 1995, vol. 999, pp. 252–264.","mla":"Henzinger, Thomas A., and Pei Ho. “A Note on Abstract-Interpretation Strategies for Hybrid Automata.” <i>3rd International Hybrid Systems Workshop</i>, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 252–64, doi:<a href=\"https://doi.org/10.1007/3-540-60472-3_13\">10.1007/3-540-60472-3_13</a>.","short":"T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.), 3rd International Hybrid Systems Workshop, Springer, 1995, pp. 252–264.","ama":"Henzinger TA, Ho P. A note on abstract-interpretation strategies for hybrid automata. In: Panos A, Kohn W, Nerode A, Sastry S, eds. <i>3rd International Hybrid Systems Workshop</i>. Vol 999. Springer; 1995:252-264. doi:<a href=\"https://doi.org/10.1007/3-540-60472-3_13\">10.1007/3-540-60472-3_13</a>","apa":"Henzinger, T. A., &#38; Ho, P. (1995). A note on abstract-interpretation strategies for hybrid automata. In A. Panos, W. Kohn, A. Nerode, &#38; S. Sastry (Eds.), <i>3rd International Hybrid Systems Workshop</i> (Vol. 999, pp. 252–264). Ithaca, NY, United States of America: Springer. <a href=\"https://doi.org/10.1007/3-540-60472-3_13\">https://doi.org/10.1007/3-540-60472-3_13</a>","chicago":"Henzinger, Thomas A, and Pei Ho. “A Note on Abstract-Interpretation Strategies for Hybrid Automata.” In <i>3rd International Hybrid Systems Workshop</i>, edited by Antsaklis Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:252–64. Springer, 1995. <a href=\"https://doi.org/10.1007/3-540-60472-3_13\">https://doi.org/10.1007/3-540-60472-3_13</a>.","ista":"Henzinger TA, Ho P. 1995. A note on abstract-interpretation strategies for hybrid automata. 3rd International Hybrid Systems Workshop. Hybrid Systems II, LNCS, vol. 999, 252–264."},"conference":{"end_date":"1994-10-30","location":"Ithaca, NY, United States of America","start_date":"1994-10-28","name":"Hybrid Systems II"},"year":"1995","intvolume":"       999","publist_id":"282","volume":999,"acknowledgement":" 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."}