{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T02:49:16Z","timestamp":1764557356081},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662491911"},{"type":"electronic","value":"9783662491928"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-662-49192-8_29","type":"book-chapter","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T10:47:27Z","timestamp":1452163647000},"page":"356-368","source":"Crossref","is-referenced-by-count":2,"title":["Reachability Problems for PAMs"],"prefix":"10.1007","author":[{"given":"Oleksiy","family":"Kurganskyy","sequence":"first","affiliation":[]},{"given":"Igor","family":"Potapov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,8]]},"reference":[{"key":"29_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. Theor. Comput. Sci. 138, 35\u201366 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"29_CR2","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1016\/j.ic.2011.11.006","volume":"211","author":"E Asarin","year":"2012","unstructured":"Asarin, E., Mysore, V., Pnueli, A., Schneider, G.: Low dimensional hybrid systems - decidable, undecidable, don\u2019t know. Inf. Comput. 211, 138\u2013159 (2012)","journal-title":"Inf. Comput."},{"key":"29_CR3","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., Ku\u010dera, A. (eds.) CONCUR 2002. LNCS, vol. 2421, pp. 193\u2013208. Springer, Heidelberg (2002)"},{"key":"29_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1007\/978-3-540-71493-4_49","volume-title":"Hybrid Systems: Computation and Control","author":"A Aswani","year":"2007","unstructured":"Aswani, A., Tomlin, C.J.: Reachability algorithm for biological piecewise-affine hybrid systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 633\u2013636. Springer, Heidelberg (2007)"},{"key":"29_CR5","first-page":"20","volume-title":"Lecture Notes in Computer Science","author":"Hugo Bazille","year":"2014","unstructured":"Bazille, H., Bournez, O., Gomaa, W., Pouly, A.: On the complexity of bounded time reachability for piecewise affine systems. In: RP 2014, pp. 20\u201331 (2014)"},{"key":"29_CR6","first-page":"32","volume-title":"Lecture Notes in Computer Science","author":"Paul C. Bell","year":"2014","unstructured":"Bell, P.C., Chen, S., Jackson, L.: Reachability and mortality problems for restricted hierarchical piecewise constant derivatives. In: RP 2014, pp. 32\u201344 (2014)"},{"issue":"1","key":"29_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.tcs.2007.10.025","volume":"391","author":"P Bell","year":"2008","unstructured":"Bell, P., Potapov, I.: On undecidability bounds for matrix decision problems. Theor. Comput. Sci. 391(1), 3\u201313 (2008)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"29_CR8","doi-asserted-by":"crossref","first-page":"19","DOI":"10.3233\/COM-150032","volume":"4","author":"AM Ben-Amram","year":"2015","unstructured":"Ben-Amram, A.M.: Mortality of iterated piecewise affine functions over the integers: decidability and complexity. Computability 4(1), 19\u201356 (2015)","journal-title":"Computability"},{"issue":"4","key":"29_CR9","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1080\/14689360412331304309","volume":"19","author":"M Blank","year":"2004","unstructured":"Blank, M., Bunimovich, L.: Switched flow systems: pseudo billiard dynamics. Dyn. Syst. 19(4), 359\u2013370 (2004)","journal-title":"Dyn. Syst."},{"issue":"1\u20132","key":"29_CR10","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1016\/S0304-3975(00)00399-6","volume":"255","author":"V Blondel","year":"2001","unstructured":"Blondel, V., Bournez, O., Koiran, P., Papadimitriou, C., Tsitsiklis, J.: Deciding stability and mortality of piecewise affine dynamical systems. Theor. Comput. Sci. 255(1\u20132), 687\u2013696 (2001)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"29_CR11","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1006\/jcss.2000.1737","volume":"62","author":"V Blondel","year":"2001","unstructured":"Blondel, V., Bournez, O., Koiran, P., Tsitsiklis, J.: The stability of saturated linear dynamical systems is undecidable. J. Comput. Syst. Sci. 62(3), 442\u2013462 (2001)","journal-title":"J. Comput. Syst. Sci."},{"key":"29_CR12","doi-asserted-by":"publisher","first-page":"1249","DOI":"10.1016\/S0005-1098(00)00050-9","volume":"36","author":"V Blondel","year":"2004","unstructured":"Blondel, V., Tsitsiklis, J.: A survey of computational complexity results in systems and control. Automatica 36, 1249\u20131274 (2004)","journal-title":"Automatica"},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"Boker, U., Henzinger, T.A., Otop, J.: The target discounted-sum problem. In: LICS 2015, pp. 750\u2013761 (2015)","DOI":"10.1109\/LICS.2015.74"},{"issue":"4","key":"29_CR14","doi-asserted-by":"publisher","first-page":"1171","DOI":"10.1088\/0951-7715\/13\/4\/310","volume":"13","author":"M Dellnitz","year":"2000","unstructured":"Dellnitz, M., Froyland, G., Sertl, S.: On the isolated spectrum of the Perron-Frobenius operator. Nonlinearity 13(4), 1171\u20131188 (2000)","journal-title":"Nonlinearity"},{"key":"29_CR15","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0304-3975(94)90229-1","volume":"132","author":"P Koiran","year":"1994","unstructured":"Koiran, P., Cosnard, M., Garzon, M.: Computability with low-dimensional dynamical systems. Theor. Comput. Sci. 132, 113\u2013128 (1994)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"29_CR16","first-page":"351","volume":"4","author":"P Koiran","year":"2001","unstructured":"Koiran, P.: The topological entropy of iterated piecewise affine maps is uncomputable. Discrete Math. Theor. Comput. Sci. 4(2), 351\u2013356 (2001)","journal-title":"Discrete Math. Theor. Comput. Sci."},{"issue":"4","key":"29_CR17","doi-asserted-by":"publisher","first-page":"935","DOI":"10.1142\/S0129054108006054","volume":"19","author":"O Kurganskyy","year":"2008","unstructured":"Kurganskyy, O., Potapov, I., Sancho-Caparrini, F.: Reachability problems in low-dimensional iterative maps. Int. J. Found. Comput. Sci. 19(4), 935\u2013951 (2008)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"29_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11560319_16","volume-title":"Unconventional Computation","author":"O Kurganskyy","year":"2005","unstructured":"Kurganskyy, O., Potapov, I.: Computation in one-dimensional piecewise maps and planar pseudo-billiard systems. In: Calude, C.S., Dinneen, M.J., P\u0103un, G., Jes\u00fas P\u00e9rez-J\u00edmenez, M., Rozenberg, G. (eds.) UC 2005. LNCS, vol. 3699, pp. 169\u2013175. Springer, Heidelberg (2005)"},{"key":"29_CR19","doi-asserted-by":"crossref","unstructured":"Ouaknine, J., Sousa Pinto, J., Worrell, J.: On termination of integer linear loops. In: SODA 2015, pp. 957\u2013969 (2015)","DOI":"10.1137\/1.9781611973730.65"},{"key":"29_CR20","doi-asserted-by":"crossref","unstructured":"Randour, M., Raskin, J.-F., Sankur, O.: Percentile queries in multi-dimensional Markov decision processes. In: Dagstuhl Seminar \u201cNon-zero-sum Games and Control\u201d (2015)","DOI":"10.1007\/978-3-319-21690-4_8"},{"issue":"3\u20134","key":"29_CR21","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/BF02020331","volume":"8","author":"A Renyi","year":"1957","unstructured":"Renyi, A.: Representations for real numbers and their ergodic properties. Acta Mathematica Academiae Scientiarum Hungarica 8(3\u20134), 477\u2013493 (1957)","journal-title":"Acta Mathematica Academiae Scientiarum Hungarica"},{"issue":"5","key":"29_CR22","doi-asserted-by":"publisher","first-page":"662","DOI":"10.1109\/JPROC.2002.1015001","volume":"90","author":"G Setti","year":"2002","unstructured":"Setti, G., Mazzini, G., Rovatti, R., Callegari, S.: Statistical modeling of discrete-time chaotic processes: basic finite dimensional tools and applications. Proc. IEEE 90(5), 662\u2013690 (2002)","journal-title":"Proc. IEEE"},{"issue":"9","key":"29_CR23","doi-asserted-by":"publisher","first-page":"838","DOI":"10.2307\/3647804","volume":"110","author":"N Sidorov","year":"2003","unstructured":"Sidorov, N.: Almost every number has a continuum of $$\\beta $$ -expansions. Am. Math. Mon. 110(9), 838\u2013842 (2003)","journal-title":"Am. Math. Mon."}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2016: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49192-8_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,13]],"date-time":"2020-09-13T14:01:02Z","timestamp":1600005662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49192-8_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662491911","9783662491928"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49192-8_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}