{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:11:53Z","timestamp":1743135113797,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642297083"},{"type":"electronic","value":"9783642297090"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29709-0_22","type":"book-chapter","created":{"date-parts":[[2012,5,12]],"date-time":"2012-05-12T09:49:34Z","timestamp":1336816174000},"page":"251-261","source":"Crossref","is-referenced-by-count":0,"title":["Reachability in One-Dimensional Controlled Polynomial Dynamical Systems"],"prefix":"10.1007","author":[{"given":"Margarita","family":"Korovina","sequence":"first","affiliation":[]},{"given":"Nicolai","family":"Vorobjov","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"22_CR1","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0304-3975(94)00228-B","volume":"138","author":"E. Asarin","year":"1995","unstructured":"Asarin, E., Maler, O., Pnueli, A.: Reachability analysis of dynamical systems having piecewise-constant derivatives. Theoret. Comput. Sci.\u00a0138(1), 35\u201365 (1995)","journal-title":"Theoret. Comput. Sci."},{"key":"22_CR2","unstructured":"Asarin, E., Mysore, V., Pnueli, A., Schneider, G.: Low dimensional Hybrid Systems - Decidable, Undecidable, Don\u2019t Know. Accepted for publication in Information and Computation (2010)"},{"key":"22_CR3","series-title":"Results in Mathematics and Related Areas (3)","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03718-8","volume-title":"Real Algebraic Geometry","author":"J. Bochnak","year":"1998","unstructured":"Bochnak, J., Coste, M., Roy, M.-F.: Real Algebraic Geometry. Results in Mathematics and Related Areas (3), vol.\u00a036. Springer, Berlin (1998)"},{"key":"22_CR4","series-title":"Algorithms and Computation in Mathematics","doi-asserted-by":"crossref","first-page":"662","DOI":"10.1007\/3-540-33099-2","volume-title":"Algorithms in real algebraic geometry","author":"S. Basu","year":"2006","unstructured":"Basu, S., Pollack, R., Roy, M.-F.: Algorithms in real algebraic geometry, 2nd edn. Algorithms and Computation in Mathematics, vol.\u00a010, p. x+662. Springer, Berlin (2006)","edition":"2"},{"issue":"4","key":"22_CR5","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/j.jco.2004.09.003","volume":"21","author":"T. Brihaye","year":"2005","unstructured":"Brihaye, T., Michaux, C.: On the expressiveness and decidability of o-minimal hybrid systems. Journal of Complexity\u00a021(4), 447\u2013478 (2005)","journal-title":"Journal of Complexity"},{"issue":"2","key":"22_CR6","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1002\/malq.200510024","volume":"52","author":"T. Brihaye","year":"2006","unstructured":"Brihaye, T.: A note on the undecidability of the reachability problem for o-minimal dynamical systems. Math. Log. Q.\u00a052(2), 165\u2013170 (2006)","journal-title":"Math. Log. Q."},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Bouyer, P., Brihaye, T., Chevalier, F.: Control in o-minimal Hybrid Systems. In: Proc. LICS 2006, pp. 367\u2013378 (2006)","DOI":"10.1109\/LICS.2006.22"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1007\/978-3-540-30124-0_33","volume-title":"Computer Science Logic","author":"M. Korovina","year":"2004","unstructured":"Korovina, M., Vorobjov, N.: Pfaffian Hybrid Systems. In: Marcinkowski, J., Tarlecki, A. (eds.) CSL 2004. LNCS, vol.\u00a03210, pp. 430\u2013441. Springer, Heidelberg (2004)"},{"issue":"1","key":"22_CR9","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1016\/j.jlap.2009.02.004","volume":"79","author":"M. Korovina","year":"2010","unstructured":"Korovina, M., Vorobjov, N.: Computing combinatorial types of trajectories in Pfaffian Dynamics. Journal of Logic and Algebraic Programming\u00a079(1), 32\u201337 (2010)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"1","key":"22_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/PL00009858","volume":"13","author":"G. Lafferriere","year":"2000","unstructured":"Lafferriere, G., Pappas, G.J., Sastry, S.: O-minimal hybrid systems. Math. Control Signals Systems\u00a013(1), 1\u201321 (2000)","journal-title":"Math. Control Signals Systems"}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29709-0_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:56:27Z","timestamp":1743112587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29709-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642297083","9783642297090"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29709-0_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}