Abstract
The computation in low-dimensional system is related to many long standing open problems. In this paper we show the universality of a one-dimensional iterative map defined by elementary functions. The computation in iterative maps have a number of connections with other unconventional models of computations. In particular, one-dimensional iterative maps can be simulated by a planar pseudo-billiard system. As a consequence of our main result we show that a planar pseudo-billiard system is not only can demonstrate a chaotic behaviour, but also has ability of universal computation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Asarin, E., Maler, O., Pnueli, A.: Reachability analysis of dynamical systems having piecewise-constant derivatives. Theoretical Computer Science 138, 35–65 (1995)
Asarin, E.: Chaos and Undecidability. Invited talk at the workshop on Hybrid Systems at Grenoble (1995)
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. 2034, pp. 89–104. Springer, Heidelberg (2001)
Asarin, E., Maler, O.: Discrete-continuous systems: an algorithmic aspect (in Russian). Avtomatika i Telemekhanika (5), 124–137 (1995)
Blank, M., Bunimovich, L.: Switched flow systems: pseudo billiard dynamics. Dynamical Systems 19(4), 359–370 (2004)
Blondel, V., Bournez, O., Koiran, P., Papadimitriou, C.H., Tsitsiklis, J.N.: Deciding stability and mortality of piecewise affine dynamical systems. Theor. Comput. Sci. 255(1-2), 687–696 (2001)
Blondel, V., Tsitsiklis, J.: A survey of computational complexity results in systems and control. Automatica 36, 1249–1274 (2000)
Chase, C., Serrano, J., Ramadge, P.J.: Periodicity and chaos from switched flow systems:contrasting examples of discretely controlled continuous systems. IEEE Trans. Automatic Control 38, 70–83 (1993)
Collet, P., Eckmann, J.: Iterated Maps on the Interval as Dynamical Systems. Birkhuser, Boston, MA (1980)
Froyland, J.: Introduction to chaos and coherence, p. 130. Institute of Physics Publishing, Bristol (1994)
Horn, C., Ramadge, P.J.: A topological analysis of a family of dynamical systems with non-standard chaotic and periodic behavior. Int. J. Control 67, 979–996 (1997)
Katzorke, I., Pikovsky, A.: Chaos and complexity in a simple model of production dynamics. Discrete Dynamics in Nature and Society 5, 179–187 (2000)
Koiran, P.: My Favourite Problems, http://www.ens-lyon.fr/~koiran/problems.html
Koiran, P., Moore, C.: Closed-form analytic maps in one and two dimensions can simulate Turing machines. Theoretical Computer Science 210(1), 217–223 (1999)
Koiran, P., Cosnard, M., Garzon, M.H.: Computability with Low-Dimensional Dynamical Systems. Theor. Comput. Sci. 132(2), 113–128 (1994)
Peters, K., Parlitz, U.: Hybrid systems forming strange billiards. Int. J. of Bifurcations and Chaos 19, 2575–2588 (2003)
Schurmann, T., Hoffman, I.: The entropy of strange billiards inside n-simplexes. J. Phys. A 28, 5033–5039 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kurganskyy, O., Potapov, I. (2005). Computation in One-Dimensional Piecewise Maps and Planar Pseudo-Billiard Systems. In: Calude, C.S., Dinneen, M.J., Păun, G., Pérez-Jímenez, M.J., Rozenberg, G. (eds) Unconventional Computation. UC 2005. Lecture Notes in Computer Science, vol 3699. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11560319_16
Download citation
DOI: https://doi.org/10.1007/11560319_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29100-8
Online ISBN: 978-3-540-32022-7
eBook Packages: Computer ScienceComputer Science (R0)