{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T22:15:49Z","timestamp":1755036949235},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642151545"},{"type":"electronic","value":"9783642151552"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15155-2_19","type":"book-chapter","created":{"date-parts":[[2010,8,13]],"date-time":"2010-08-13T20:17:45Z","timestamp":1281730665000},"page":"198-208","source":"Crossref","is-referenced-by-count":2,"title":["Robust Computations with Dynamical Systems"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Bournez","sequence":"first","affiliation":[]},{"given":"Daniel S.","family":"Gra\u00e7a","sequence":"additional","affiliation":[]},{"given":"Emmanuel","family":"Hainry","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Asarin, E., Bouajjani, A.: Perturbed Turing machines and hybrid systems. In: Proc. 16th Annual IEEE Symposium, Logic in Computer Science, pp. 269\u2013278 (2001)","key":"19_CR1","DOI":"10.1109\/LICS.2001.932503"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems: Computation and Control","year":"2004","unstructured":"Alur, R., Pappas, G.J. (eds.): HSCC 2004. LNCS, vol.\u00a02993. Springer, Heidelberg (2004)"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/BFb0032042","volume-title":"Automata, Languages and Programming","author":"R. Alur","year":"1990","unstructured":"Alur, R., Dill, D.L.: Automata for modeling real-time systems. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol.\u00a0443, pp. 322\u2013335. Springer, Heidelberg (1990)"},{"issue":"1","key":"19_CR4","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1006\/jcss.1998.1581","volume":"57","author":"T.A. Henzinger","year":"1998","unstructured":"Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What\u2019s decidable about hybrid automata? J. Comput. System Sci.\u00a057(1), 94\u2013124 (1998)","journal-title":"J. Comput. System Sci."},{"key":"19_CR5","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, 35\u201365 (1995)","journal-title":"Theoret. Comput. Sci."},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.tcs.2005.05.001","volume":"341","author":"P. Collins","year":"2005","unstructured":"Collins, P.: Continuity and computability of reachable sets. Theor. Comput. Sci.\u00a0341, 162\u2013195 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/3-540-48168-0_10","volume-title":"Computer Science Logic","author":"M. Fr\u00e4nzle","year":"1999","unstructured":"Fr\u00e4nzle, M.: Analysis of hybrid systems: An ounce of realism can save an infinity of states. In: Flum, J., Rodr\u00edguez-Artalejo, M. (eds.) CSL 1999. LNCS, vol.\u00a01683, pp. 126\u2013140. Springer, Heidelberg (1999)"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/3-540-46430-1_15","volume-title":"Hybrid Systems: Computation and Control","author":"T.A. Henzinger","year":"2000","unstructured":"Henzinger, T.A., Raskin, J.F.: Robust undecidability of timed and hybrid systems. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 145\u2013159. Springer, Heidelberg (2000)"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1031","DOI":"10.1007\/11523468_83","volume-title":"Automata, Languages and Programming","author":"E. Asarin","year":"2005","unstructured":"Asarin, E., Collins, P.: Noisy Turing machines. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol.\u00a03580, pp. 1031\u20131042. Springer, Heidelberg (2005)"},{"key":"19_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1140-2","volume-title":"Nonlinear Oscillations, Dynamical Systems, and Bifurcation of Vector Fields","author":"J. Guckenheimer","year":"1983","unstructured":"Guckenheimer, J., Holmes, P.: Nonlinear Oscillations, Dynamical Systems, and Bifurcation of Vector Fields. Springer, Heidelberg (1983)"},{"key":"19_CR11","volume-title":"Differential Equations, Dynamical Systems, and an Introduction to Chaos","author":"M.W. Hirsch","year":"2004","unstructured":"Hirsch, M.W., Smale, S., Devaney, R.: Differential Equations, Dynamical Systems, and an Introduction to Chaos. Academic Press, London (2004)"},{"key":"19_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis: an Introduction","author":"K. Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable Analysis: an Introduction. Springer, Heidelberg (2000)"},{"key":"19_CR13","volume-title":"Ordinary Differential Equations","author":"G. Birkhoff","year":"1989","unstructured":"Birkhoff, G., Rota, G.C.: Ordinary Differential Equations, 4th edn. John Wiley & Sons, Chichester (1989)","edition":"4"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/11494645_21","volume-title":"New Computational Paradigms","author":"D.S. Gra\u00e7a","year":"2005","unstructured":"Gra\u00e7a, D.S., Campagnolo, M.L., Buescu, J.: Robust simulations of Turing machines with analytic maps and flows. In: Cooper, S.B., L\u00f6we, B., Torenvliet, L. (eds.) CiE 2005. LNCS, vol.\u00a03526, pp. 169\u2013179. Springer, Heidelberg (2005)"},{"issue":"3","key":"19_CR15","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1016\/j.aam.2007.02.003","volume":"40","author":"D.S. Gra\u00e7a","year":"2008","unstructured":"Gra\u00e7a, D.S., Campagnolo, M.L., Buescu, J.: Computability with polynomial differential equations. Adv. Appl. Math.\u00a040(3), 330\u2013349 (2008)","journal-title":"Adv. Appl. Math."},{"key":"19_CR16","first-page":"230","volume":"Ser. 2-42","author":"A.M. Turing","year":"1936","unstructured":"Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. Proc. London Math. Soc.\u00a0(Ser. 2-42), 230\u2013265 (1936)","journal-title":"Proc. London Math. Soc."},{"key":"19_CR17","doi-asserted-by":"crossref","first-page":"168","DOI":"10.4064\/fm-42-1-168-202","volume":"42","author":"A. Grzegorczyk","year":"1955","unstructured":"Grzegorczyk, A.: Computable functionals. Fund. Math.\u00a042, 168\u2013202 (1955)","journal-title":"Fund. Math."},{"key":"19_CR18","first-page":"151","volume":"241","author":"D. Lacombe","year":"1955","unstructured":"Lacombe, D.: Extension de la notion de fonction r\u00e9cursive aux fonctions d\u2019une ou plusieurs variables r\u00e9elles III. C. R. Acad. Sci. Paris\u00a0241, 151\u2013153 (1955)","journal-title":"C. R. Acad. Sci. Paris"},{"key":"19_CR19","volume-title":"Computational Complexity of Real Functions","author":"K.-I. Ko","year":"1991","unstructured":"Ko, K.-I.: Computational Complexity of Real Functions. Birkh\u00e4user, Basel (1991)"},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/BFb0055349","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"A. Puri","year":"1998","unstructured":"Puri, A.: Dynamical properties of timed automata. In: Ravn, A.P., Rischel, H. (eds.) FTRTFT 1998. LNCS, vol.\u00a01486, pp. 210\u2013227. Springer, Heidelberg (1998)"},{"key":"19_CR21","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511803260","volume-title":"Chaos in Dynamical Systems","author":"E. Ott","year":"2002","unstructured":"Ott, E.: Chaos in Dynamical Systems, 2nd edn. Cambridge University Press, Cambridge (2002)","edition":"2"},{"issue":"6","key":"19_CR22","first-page":"1162","volume":"15","author":"P. Collins","year":"2009","unstructured":"Collins, P., Gra\u00e7a, D.S.: Effective computability of solutions of differential inclusions \u2014 the ten thousand monkeys approach. Journal of Universal Computer Science\u00a015(6), 1162\u20131185 (2009)","journal-title":"Journal of Universal Computer Science"},{"issue":"2","key":"19_CR23","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1016\/S0304-3975(96)00086-2","volume":"168","author":"O. Bournez","year":"1996","unstructured":"Bournez, O., Cosnard, M.: On the computational power of dynamical systems and hybrid systems. Theoret. Comput. Sci.\u00a0168(2), 417\u2013459 (1996)","journal-title":"Theoret. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15155-2_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:01:35Z","timestamp":1606186895000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15155-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642151545","9783642151552"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15155-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}