{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T09:40:35Z","timestamp":1758706835312},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319249520"},{"type":"electronic","value":"9783319249537"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24953-7_34","type":"book-chapter","created":{"date-parts":[[2015,10,7]],"date-time":"2015-10-07T15:00:11Z","timestamp":1444230011000},"page":"482-499","source":"Crossref","is-referenced-by-count":8,"title":["Decidability of the Reachability for a Family of Linear Vector Fields"],"prefix":"10.1007","author":[{"given":"Ting","family":"Gan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mingshuai","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liyun","family":"Dai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bican","family":"Xia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naijun","family":"Zhan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,22]]},"reference":[{"key":"34_CR1","unstructured":"http:\/\/www.math.utah.edu\/~gustafso\/s2013\/2250\/systemsExamplesTheory2008.pdf"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"Achatz, M., McCallum, S., Weispfenning, V.: Deciding polynomial-exponential problems. In: ISSAC 2008 (2008)","DOI":"10.1145\/1390768.1390799"},{"issue":"1","key":"34_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoret. Comput. Sci. 138(1), 3\u201334 (1995)","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"34_CR4","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theoret. Comput. Sci."},{"issue":"5","key":"34_CR5","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1006\/jsco.2001.0463","volume":"32","author":"CW Brown","year":"2001","unstructured":"Brown, C.W.: Improved projection for cylindrical algebraic decomposition. J. Symb. Comput. 32(5), 447\u2013465 (2001)","journal-title":"J. Symb. Comput."},{"key":"34_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-39799-8_18","volume-title":"Computer Aided Verification","author":"X Chen","year":"2013","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 258\u2013263. Springer, Heidelberg (2013)"},{"key":"34_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume-title":"Automata Theory and Formal Languages 2nd GI Conference","author":"GE Collins","year":"1975","unstructured":"Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decompostion. In: Brakhage, H. (ed.) Automata Theory and Formal Languages 2nd GI Conference. LNCS, vol. 33, pp. 134\u2013183. Springer, Heidelberg (1975)"},{"issue":"3","key":"34_CR8","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"GE Collins","year":"1991","unstructured":"Collins, G.E., Hong, H.: Partial cylindrical algebraic decomposition for quantifier elimination. J. Symb. Comput. 12(3), 299\u2013328 (1991)","journal-title":"J. Symb. Comput."},{"key":"34_CR9","doi-asserted-by":"crossref","unstructured":"Collins, G.E., Loos, R.: Real zeros of polynomials. In: Computer Algebra - Symbolic and Algebraic Computation, pp. 83\u201394. Springer (1982)","DOI":"10.1007\/978-3-7091-3406-1_7"},{"issue":"1","key":"34_CR10","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/S0747-7171(88)80004-X","volume":"5","author":"JH Davenport","year":"1988","unstructured":"Davenport, J.H., Heintz, J.: Real quantifier elimination is doubly exponential. J. Symb. Comput. 5(1), 29\u201335 (1988)","journal-title":"J. Symb. Comput."},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"Han, J., Dai, L., Xia, B.: Constructing fewer open cells by gcd computation in cad projection. In: ISSAC 2014, pp. 240\u2013247. ACM (2014)","DOI":"10.1145\/2608628.2608676"},{"issue":"1","key":"34_CR12","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1006\/jcss.1998.1581","volume":"57","author":"TA Henzinger","year":"1998","unstructured":"Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What\u2019s decidable about hybrid automata? J. Comput. Syst. Sci. 57(1), 94\u2013124 (1998)","journal-title":"J. Comput. Syst. Sci."},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"Hong, H.: An improvement of the projection operator in cylindrical algebraic decomposition. In: ISSAC 1990, pp. 261\u2013264. ACM (1990)","DOI":"10.1145\/96877.96943"},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"Kong, S., Gao, S., Chen, W., Clarke, E.: dreach: Delta-reachability analysis for hybrid systems. In: TACAS 2015 (2015)","DOI":"10.1007\/978-3-662-46681-0_15"},{"issue":"1","key":"34_CR15","first-page":"1","volume":"13","author":"G Lafferriere","year":"2000","unstructured":"Lafferriere, G., Pappas, G.J., Sastry, S.: O-minimal hybrid systems. MCSS 13(1), 1\u201321 (2000)","journal-title":"MCSS"},{"key":"34_CR16","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1006\/jsco.2001.0472","volume":"32","author":"G Lafferriere","year":"2001","unstructured":"Lafferriere, G., Pappas, G.J., Yovine, S.: Symbolic reachability computation for families of linear vector fields. J. Symb. Comput. 32, 231\u2013253 (2001)","journal-title":"J. Symb. Comput."},{"issue":"1","key":"34_CR17","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0747-7171(88)80010-5","volume":"5","author":"S McCallum","year":"1988","unstructured":"McCallum, S.: An improved projection operation for cylindrical algebraic decomposition of three-dimensional space. J. Symb. Comput. 5(1), 141\u2013161 (1988)","journal-title":"J. Symb. Comput."},{"key":"34_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1007\/978-3-540-31954-2_37","volume-title":"Hybrid Systems: Computation and Control","author":"S Ratschan","year":"2005","unstructured":"Ratschan, S., She, Z.: Safety verification of hybrid systems by constraint propagation based abstraction refinement. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 573\u2013589. Springer, Heidelberg (2005)"},{"key":"34_CR19","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1006\/jsco.1997.0157","volume":"24","author":"D Richardson","year":"1997","unstructured":"Richardson, D.: How to recognize zero. J. Symb. Comput. 24, 627\u2013645 (1997)","journal-title":"J. Symb. Comput."},{"issue":"3","key":"34_CR20","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1006\/jsco.1999.0327","volume":"29","author":"A Strzebo\u0144ski","year":"2000","unstructured":"Strzebo\u0144ski, A.: Solving systems of strict polynomial inequalities. J. Symb. Comput. 29(3), 471\u2013480 (2000)","journal-title":"J. Symb. Comput."},{"key":"34_CR21","doi-asserted-by":"crossref","unstructured":"Strzebo\u0144ski, A.: Real root isolation for exp-log functions. In: ISSAC 2008, pp. 303\u2013314 (2008)","DOI":"10.1145\/1390768.1390810"},{"key":"34_CR22","doi-asserted-by":"publisher","first-page":"1284","DOI":"10.1016\/j.jsc.2011.08.009","volume":"46","author":"A Strzebo\u0144ski","year":"2011","unstructured":"Strzebo\u0144ski, A.: Cylindrical decomposition for systems transcendental in the first variable. J. Symb. Comput. 46, 1284\u20131290 (2011)","journal-title":"J. Symb. Comput."},{"key":"34_CR23","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"A Tarski","year":"1951","unstructured":"Tarski, A.: A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley (1951)"},{"key":"34_CR24","unstructured":"Wing, J.: How can we provide people with cyber-physical systems they can bet their lives on? Computing Research News, 20(1) (2008)"},{"key":"34_CR25","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2014.09.015","author":"M Xu","year":"2015","unstructured":"Xu, M., Li, Z.-B., Yang, L.: Quantifier elimination for a class of exponential polynomial formulas. J. Symb. Comput. (2015). doi: 10.1016\/j.jsc.2014.09.015","journal-title":"J. Symb. Comput."}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24953-7_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,22]],"date-time":"2022-05-22T19:54:09Z","timestamp":1653249249000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24953-7_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319249520","9783319249537"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24953-7_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}