{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,30]],"date-time":"2026-05-30T04:50:53Z","timestamp":1780116653339,"version":"3.54.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540008989","type":"print"},{"value":"9783540365778","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36577-x_14","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:12:04Z","timestamp":1269882724000},"page":"192-207","source":"Crossref","is-referenced-by-count":48,"title":["Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement"],"prefix":"10.1007","author":[{"given":"Edmund","family":"Clarke","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ansgar","family":"Fehnker","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhi","family":"Han","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bruce","family":"Krogh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olaf","family":"Stursberg","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Theobald","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"14_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/10722167_15","volume-title":"CAV","author":"E. Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement. In: CAV. Volume 1855 of LNCS, Springer (2000) 154\u2013169"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Kurshan, R.: Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach. Princeton University Press (1994)","DOI":"10.1515\/9781400864041"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Silva, B., Stursberg, O., Krogh, B., Engell, S.: An assessment of the current status of algorithmic approaches to the verification of hybrid systems. In: IEEE Conf. on Decision and Control. (2001) 2867\u20132874","DOI":"10.1109\/CDC.2001.980711"},{"key":"14_CR4","series-title":"Lect Notes Comput Sci","first-page":"275","volume-title":"HSCC","author":"H. T","year":"2001","unstructured":"Henzinger, T., Minea, M., Prabhu, V.: Assume-guarantee reasoning for hierarchical hybrid systems. In: HSCC. Volume 2034 of LNCS, Springer (2001) 275\u2013290"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Frehse, G., Stursberg, O., Engell, S., Huuck, R., Lukoschus, B.: Modular analysis of discrete controllers for distributed hybrid systems. In: IFACWorld Congress. (2002)","DOI":"10.3182\/20020721-6-ES-1901.00566"},{"key":"14_CR6","first-page":"971","volume":"88","author":"R. Alur","year":"2000","unstructured":"Alur, R., Henzinger, T., Lafferriere, G., Pappas, G.: Discrete abstractions of hybrid systems. Proceedings of the IEEE 88 (2000) 971\u2013984","journal-title":"Discrete abstractions of hybrid systems"},{"key":"14_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/3-540-45873-5_6","volume-title":"HSCC","author":"R. Alur","year":"2002","unstructured":"Alur, R., Dang, T., Ivancic, F.: Reachability analysis of hybrid systems via predicate abstraction. In: HSCC. Volume 2289 of LNCS, Springer (2002) 35\u201348"},{"key":"14_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/3-540-45873-5_36","volume-title":"HSCC","author":"A. Tiwari","year":"2002","unstructured":"Tiwari, A., Khanna, G.: Series of abstractions for hybrid automata. In: HSCC. Volume 2289 of LNCS, Springer (2002) 465\u2013478"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"1401","DOI":"10.1109\/9.948467","volume":"46","author":"A. Chutinan","year":"2001","unstructured":"Chutinan, A., Krogh, B.: Verification of infinite-state dynamic systems using approximate quotient transition systems. IEEE Transactions on Automatic Control 46 (2001) 1401\u20131410","journal-title":"IEEE Transactions on Automatic Control"},{"key":"14_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45669-4","volume-title":"CAV","author":"E. Clarke","year":"2002","unstructured":"Clarke, E., Gupta, A., Kukula, J., Strichman, O.: Sat based abstraction-refinement using ilp and machine learning techniques. In: CAV. LNCS, Springer (2002)"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Ball, T., Majumdar, R., Millstein, T.D., Rajamani, S.K.: Automatic predicate abstraction of c programs. In: PLDI. SIGPLAN 36(5) (2001)","DOI":"10.1145\/378795.378846"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Henzinger, T., Jhala, R., Majumdar, R., Sutre, G.: Lazy abstraction. In: Symp. on Principles of Programming Languages, ACM Press (2002) 58\u201370","DOI":"10.1145\/503272.503279"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Jeannet, B., Halbwachs, N., Raymond, P.: Dynamic Partitioning in Analyses of Numerical Properties. In: Static Analysis Symposium (1999), 39\u201350","DOI":"10.1007\/3-540-48294-6_3"},{"key":"14_CR14","unstructured":"Alur, R., Dang, T., Ivan\u010di\u0107, F.: Counter-Example Guided Predicate Abstraction of Hybrid Systems. In: TACAS, Springer (2003)"},{"key":"14_CR15","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press (1999)"},{"key":"14_CR16","unstructured":"Clarke, E., Fehnker, A., Han, Z., Krogh, B., Ouaknine, J., Stursberg, O., Theobald, M.: Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. Technical report CMU-CS-03-104. Download from http:\/\/www.cs.cmu.edu\/~theobald ."},{"key":"14_CR17","series-title":"Lect Notes Comput Sci","first-page":"103","volume-title":"HSCC","author":"G. Lafferriere","year":"1999","unstructured":"Lafferriere, G., Pappas, G., Yovine, S.: A new class of decidable hybrid systems. In: HSCC. LNCS 1569, Springer (1999) 103\u2013116"},{"key":"14_CR18","unstructured":"Henzinger, T., Kopke, P., Puri, A., Varaiya, P.: What\u2019s decidable about hybrid automata? In: Symposium on Theory of Computing, ACM Press (1995) 373\u2013382"},{"key":"14_CR19","series-title":"Lect Notes Comput Sci","volume-title":"HSCC","author":"T. Dang","year":"1998","unstructured":"Dang, T., Maler, O.: Reachability analysis via face lifting. In: HSCC. LNCS 1386 (1998)"},{"key":"14_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/3-540-48983-5_10","volume-title":"HSCC","author":"A. Chutinan","year":"1999","unstructured":"Chutinan, A., Krogh, B.: Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In: HSCC. LNCS 1569, Springer Verlag (1999) 76\u201390"},{"key":"14_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/3-540-48983-5_12","volume-title":"HSCC","author":"M. Greenstreet","year":"1999","unstructured":"Greenstreet, M., Mitchell, I.: Reachability analysis using polygonal projections. In: HSCC. LNCS 1569, Springer (1999) 103\u2013116"},{"key":"14_CR22","series-title":"Lect Notes Comput Sci","first-page":"203","volume-title":"HSCC","author":"A. Kurzhanski","year":"2000","unstructured":"Kurzhanski, A., Varaiya, P.: Ellipsoidal techniques for reachability analysis. In: HSCC. LNCS 1790, Springer (2000) 203\u2013213"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36577-X_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T14:47:36Z","timestamp":1558968456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36577-X_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008989","9783540365778"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-36577-x_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2003]]}}}