Abstract
Piecewise affine maps (PAMs) are frequently used as a reference model to show the openness of the reachability questions in other systems. The reachability problem for one-dimensional PAM is still open even if we define it with only two intervals. As the main contribution of this paper we introduce new techniques for solving reachability problems based on p-adic norms and weights as well as showing decidability for two classes of maps. Then we show the connections between topological properties for PAM’s orbits, reachability problems and representation of numbers in a rational base system. Finally we show a particular instance where the uniform distribution of the original orbit may not remain uniform or even dense after making regular shifts and taking a fractional part in that sequence.
This research is supported by EPSRC grant “Reachability problems for words, matrices and maps” (EP/M00077X/1).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
It will be clear from the context if brackets are used in other conventional ways, for example, to indicate a set of numbers.
- 2.
Also in a similar way it is possible to define set-to-point and set-to-set reachability problems.
- 3.
In particularly the continuous piecewise affine mapping of degree two.
- 4.
I.e. with linear coefficients that are greater than 1.
References
Asarin, E., Maler, O., Pnueli, A.: Reachability analysis of dynamical systems having piecewise-constant derivatives. Theor. Comput. Sci. 138, 35–66 (1995)
Asarin, E., Mysore, V., Pnueli, A., Schneider, G.: Low dimensional hybrid systems - decidable, undecidable, don’t know. Inf. Comput. 211, 138–159 (2012)
Asarin, E., Schneider, G.: Widening the boundary between decidable and undecidable hybrid systems. In: Brim, L., Jančar, P., Křetínský, M., Kučera, A. (eds.) CONCUR 2002. LNCS, vol. 2421, pp. 193–208. Springer, Heidelberg (2002)
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–636. Springer, Heidelberg (2007)
Bazille, H., Bournez, O., Gomaa, W., Pouly, A.: On the complexity of bounded time reachability for piecewise affine systems. In: RP 2014, pp. 20–31 (2014)
Bell, P.C., Chen, S., Jackson, L.: Reachability and mortality problems for restricted hierarchical piecewise constant derivatives. In: RP 2014, pp. 32–44 (2014)
Bell, P., Potapov, I.: On undecidability bounds for matrix decision problems. Theor. Comput. Sci. 391(1), 3–13 (2008)
Ben-Amram, A.M.: Mortality of iterated piecewise affine functions over the integers: decidability and complexity. Computability 4(1), 19–56 (2015)
Blank, M., Bunimovich, L.: Switched flow systems: pseudo billiard dynamics. Dyn. Syst. 19(4), 359–370 (2004)
Blondel, V., Bournez, O., Koiran, P., Papadimitriou, C., Tsitsiklis, J.: Deciding stability and mortality of piecewise affine dynamical systems. Theor. Comput. Sci. 255(1–2), 687–696 (2001)
Blondel, V., Bournez, O., Koiran, P., Tsitsiklis, J.: The stability of saturated linear dynamical systems is undecidable. J. Comput. Syst. Sci. 62(3), 442–462 (2001)
Blondel, V., Tsitsiklis, J.: A survey of computational complexity results in systems and control. Automatica 36, 1249–1274 (2004)
Boker, U., Henzinger, T.A., Otop, J.: The target discounted-sum problem. In: LICS 2015, pp. 750–761 (2015)
Dellnitz, M., Froyland, G., Sertl, S.: On the isolated spectrum of the Perron-Frobenius operator. Nonlinearity 13(4), 1171–1188 (2000)
Koiran, P., Cosnard, M., Garzon, M.: Computability with low-dimensional dynamical systems. Theor. Comput. Sci. 132, 113–128 (1994)
Koiran, P.: The topological entropy of iterated piecewise affine maps is uncomputable. Discrete Math. Theor. Comput. Sci. 4(2), 351–356 (2001)
Kurganskyy, O., Potapov, I., Sancho-Caparrini, F.: Reachability problems in low-dimensional iterative maps. Int. J. Found. Comput. Sci. 19(4), 935–951 (2008)
Kurganskyy, O., Potapov, I.: Computation in one-dimensional piecewise maps and planar pseudo-billiard systems. In: Calude, C.S., Dinneen, M.J., Păun, G., Jesús Pérez-Jímenez, M., Rozenberg, G. (eds.) UC 2005. LNCS, vol. 3699, pp. 169–175. Springer, Heidelberg (2005)
Ouaknine, J., Sousa Pinto, J., Worrell, J.: On termination of integer linear loops. In: SODA 2015, pp. 957–969 (2015)
Randour, M., Raskin, J.-F., Sankur, O.: Percentile queries in multi-dimensional Markov decision processes. In: Dagstuhl Seminar “Non-zero-sum Games and Control” (2015)
Renyi, A.: Representations for real numbers and their ergodic properties. Acta Mathematica Academiae Scientiarum Hungarica 8(3–4), 477–493 (1957)
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–690 (2002)
Sidorov, N.: Almost every number has a continuum of \(\beta \)-expansions. Am. Math. Mon. 110(9), 838–842 (2003)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kurganskyy, O., Potapov, I. (2016). Reachability Problems for PAMs. In: Freivalds, R., Engels, G., Catania, B. (eds) SOFSEM 2016: Theory and Practice of Computer Science. SOFSEM 2016. Lecture Notes in Computer Science(), vol 9587. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-49192-8_29
Download citation
DOI: https://doi.org/10.1007/978-3-662-49192-8_29
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-49191-1
Online ISBN: 978-3-662-49192-8
eBook Packages: Computer ScienceComputer Science (R0)