{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T21:33:06Z","timestamp":1760131986007},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418665"},{"type":"electronic","value":"9783540453512"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45351-2_11","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T23:27:49Z","timestamp":1194996469000},"page":"89-104","source":"Crossref","is-referenced-by-count":25,"title":["On the Decidability of the Reachability Problem for Planar Differential Inclusions"],"prefix":"10.1007","author":[{"given":"Eugene","family":"Asarin","sequence":"first","affiliation":[]},{"given":"Gerardo","family":"Schneider","sequence":"additional","affiliation":[]},{"given":"Sergio","family":"Yovine","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,21]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. TCS 138 (1995) 3\u201334.","journal-title":"TCS"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D.L. Dill. A theory of timed automata. TCS 126 (1994) 183\u2013235.","journal-title":"TCS"},{"key":"11_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/3-540-46430-1_6","volume-title":"HSCC\u201900","author":"E. Asarin","year":"2000","unstructured":"E. Asarin, O. Bournez, T. Dang, and O. Maler. Reachability analysis of piecewise-linear dynamical systems. In HSCC\u201900, 20\u201331. LNCS 1790, Springer Verlag, 2000."},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0304-3975(94)00228-B","volume":"138","author":"E. Asarin","year":"1995","unstructured":"E. Asarin, O. Maler, and A. Pnueli. On the analysis of dynamical systems having piecewise-constant derivatives. TCS, 138 (1995) 35\u201365.","journal-title":"TCS"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"E. Asarin, G. Schneider and S. Yovine. On the Decidability of the Reachability Problem for Planar Differential Inclusions. VERIMAG Technical Report. 2001. http:\/\/www-verimag.imag.fr\/~gerardo .","DOI":"10.1007\/3-540-45351-2_11"},{"key":"11_CR6","series-title":"Lect Notes Comput Sci","volume-title":"HSCC\u201900","author":"O. Botchkarev","year":"2000","unstructured":"O. Botchkarev and S. Tripakis. Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations. In HSCC\u201900. LNCS 1790, Springer Verlag, 2000."},{"key":"11_CR7","series-title":"Lect Notes Comput Sci","volume-title":"HSCC\u201999","author":"M. Broucke","year":"1999","unstructured":"M. Broucke. A geometric approach to bisimulation and verification of hybrid systems. In HSCC\u201999. LNCS 1569, Springer Verlag, 1999."},{"key":"11_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems III","author":"K. \u010cer\u0101ns","year":"1996","unstructured":"K. \u010cer\u0101ns and J. V\u012bksna. Deciding reachability for planar multi-polynomial systems. In Hybrid Systems III. LNCS 1066, Springer Verlag, 1996."},{"key":"11_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-64358-3_34","volume-title":"HSCC\u201998","author":"T. Dang","year":"1998","unstructured":"T. Dang and O. Maler. Reachability analysis via face lifting. In HSCC\u201998, 96\u2013109. LNCS 1386, Springer Verlag, 1998."},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"J. Della Dora and S. Yovine. Looking for a methodology for analyzing hybrid systems. Submitted to ECC 2001, 2000.","DOI":"10.23919\/ECC.2001.7076539"},{"key":"11_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/3-540-48983-5_12","volume-title":"HSCC\u201999","author":"M. R. Greenstreet","year":"1999","unstructured":"M. R. Greenstreet and I. Mitchell. Reachability analysis using polygonal projections. In HSCC\u201999. LNCS 1569, 103\u2013116. Springer Verlag, 1999."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya. What\u2019s decidable about hybrid automata? In 27th Annual Symposium on Theory of Computing, 373\u2013382. ACM Press, 1995.","DOI":"10.1145\/225058.225162"},{"key":"11_CR13","unstructured":"P. Koiran. My favourite problems. http:\/\/www.ens-lyon.fr\/~koiran\/problems.html ."},{"key":"11_CR14","series-title":"Lect Notes Comput Sci","volume-title":"HSCC\u201900","author":"A.B. Kurzhanski","year":"2000","unstructured":"A.B. Kurzhanski and P. Varaiya. Ellipsoidal techniques for reachability analysis. In HSCC\u201900. LNCS 1790, Springer Verlag, 2000."},{"key":"11_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-48983-5_15","volume-title":"HSCC\u201999","author":"G. Lafferriere","year":"1999","unstructured":"G. Lafferriere, G. J. Pappas, and S. Yovine. A new class of decidable hybrid systems. In HSCC\u201999. LNCS 1569, 137\u2013151. Springer Verlag, 1999."},{"key":"11_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/3-540-56922-7_17","volume-title":"CAV\u201993","author":"O. Maler","year":"1993","unstructured":"O. Maler and A. Pnueli. Reachability analysis of planar multi-linear systems. In CAV\u201993. LNCS 697, 194\u2013209. Springer Verlag, 1993."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45351-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T11:24:29Z","timestamp":1556969069000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45351-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418665","9783540453512"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45351-2_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}