{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T04:44:20Z","timestamp":1771562660905,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540851936","type":"print"},{"value":"9783540851943","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85194-3_9","type":"book-chapter","created":{"date-parts":[[2008,8,19]],"date-time":"2008-08-19T06:21:05Z","timestamp":1219126865000},"page":"83-95","source":"Crossref","is-referenced-by-count":4,"title":["Computing Omega-Limit Sets in Linear Dynamical Systems"],"prefix":"10.1007","author":[{"given":"Emmanuel","family":"Hainry","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"9_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. Theoretical Computer Science\u00a0138, 35\u201365 (1995)","journal-title":"Theoretical Computer Science"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-45694-5_14","volume-title":"CONCUR 2002 - Concurrency Theory","author":"E. Asarin","year":"2002","unstructured":"Asarin, E., Schneider, G.: Widening the boundary between decidable and undecidable hybrid systems. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, pp. 193\u2013208. Springer, Heidelberg (2002)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/3-540-45351-2_11","volume-title":"Hybrid Systems: Computation and Control","author":"E. Asarin","year":"2001","unstructured":"Asarin, E., Schneider, G., Yovine, S.: On the decidability of the reachability problem for planar differential inclusions. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 89\u2013104. Springer, Heidelberg (2001)"},{"key":"9_CR4","doi-asserted-by":"crossref","first-page":"175","DOI":"10.24033\/bsmf.1823","volume":"104","author":"J. Berstel","year":"1976","unstructured":"Berstel, J., Mignotte, M.: Deux propri\u00e9t\u00e9s d\u00e9cidables des suites r\u00e9currentes lin\u00e9aires. Bulletin de la Soci\u00e9t\u00e9 Math\u00e9matique de France\u00a0104, 175\u2013184 (1976)","journal-title":"Bulletin de la Soci\u00e9t\u00e9 Math\u00e9matique de France"},{"issue":"9","key":"9_CR5","doi-asserted-by":"publisher","first-page":"1249","DOI":"10.1016\/S0005-1098(00)00050-9","volume":"36","author":"V. Blondel","year":"2000","unstructured":"Blondel, V., Tsitsiklis, J.N.: A survey of computational complexity results in systems and control. Automatica\u00a036(9), 1249\u20131274 (2000)","journal-title":"Automatica"},{"key":"9_CR6","unstructured":"Bostan, A.: Algorithmique efficace pour des op\u00e9rations de base en calcul formel. PhD thesis, \u00c9cole polytechnique, d\u00e9cembre (2003)"},{"key":"9_CR7","unstructured":"Bournez, O.: Complexit\u00e9 algorithmique des syst\u00e8mes dynamiques continus et hybrides. PhD thesis, \u00c9cole Normale Sup\u00e9rieure de Lyon, janvier (1999)"},{"issue":"2","key":"9_CR8","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0012-365X(87)90135-X","volume":"65","author":"J.V. Brawley","year":"1987","unstructured":"Brawley, J.V., Carlitz, L.: Irreducibles and the composed product for polynomials over a finite field. Discrete Mathematics\u00a065(2), 115\u2013139 (1987)","journal-title":"Discrete Mathematics"},{"key":"9_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02945-9","volume-title":"A Course in Computational Algebraic Number Theory","author":"H. Cohen","year":"1993","unstructured":"Cohen, H.: A Course in Computational Algebraic Number Theory. Springer, Heidelberg (1993)"},{"key":"9_CR10","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)"},{"key":"9_CR11","unstructured":"Halava, V., Harju, T., Hirvensalo, M., Karhum\u00e4ki, J.: Skolem\u2019s problem - on the border between decidability and undecidability. Technical Report 683, Turku Center for Computer Science (2005)"},{"key":"9_CR12","volume-title":"Differential Equations, Dynamical Systems, and an Introduction to Chaos","author":"M.W. Hirsch","year":"2003","unstructured":"Hirsch, M.W., Smale, S., Devaney, R.: Differential Equations, Dynamical Systems, and an Introduction to Chaos. Elsevier Academic Press, Amsterdam (2003)"},{"key":"9_CR13","volume-title":"Differential Equations, Dynamical Systems, and Linear Algebra","author":"M.W. Hirsch","year":"1974","unstructured":"Hirsch, M.W., Smale, S.: Differential Equations, Dynamical Systems, and Linear Algebra. Academic Press, London (1974)"},{"key":"9_CR14","unstructured":"Lelong-Ferrand, J., Arnaudi\u00e8s, J.-M.: Cours de math\u00e9matiques, tome 1: alg\u00e8bre. Dunod (1971)"},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1175\/1520-0469(1963)020<0130:DNF>2.0.CO;2","volume":"20","author":"E.N. Lorenz","year":"1963","unstructured":"Lorenz, E.N.: Deterministic non-periodic flow. Journal of the Atmospheric Sciences\u00a020, 130\u2013141 (1963)","journal-title":"Journal of the Atmospheric Sciences"},{"issue":"128","key":"9_CR16","doi-asserted-by":"publisher","first-page":"1153","DOI":"10.2307\/2005373","volume":"28","author":"M. Mignotte","year":"1974","unstructured":"Mignotte, M.: An inequality about factors of polynomials. Mathematics of Computation\u00a028(128), 1153\u20131157 (1974)","journal-title":"Mathematics of Computation"},{"key":"9_CR17","unstructured":"Mignotte, M.: Suites r\u00e9currentes lin\u00e9aires. In: S\u00e9minaire Delange-Pisot-Poitou. Th\u00e9orie des nombres, vol.\u00a015, pp. G14\u20131\u2013G14\u20139 (1974)"},{"key":"9_CR18","series-title":"Biomathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-08542-4","volume-title":"Mathematical Biology","author":"J.D. Murray","year":"1993","unstructured":"Murray, J.D.: Mathematical Biology, 2nd edn. Biomathematics, vol.\u00a019. Springer, Berlin (1993)","edition":"2"},{"key":"9_CR19","volume-title":"Modern Computer Algebra","author":"J. von zur Gathen","year":"2003","unstructured":"von zur Gathen, J., Gerhard, J.: Modern Computer Algebra. Cambridge University Press, Cambridge (2003)"}],"container-title":["Lecture Notes in Computer Science","Unconventional Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85194-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,11]],"date-time":"2024-05-11T04:06:09Z","timestamp":1715400369000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-85194-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540851936","9783540851943"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85194-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}