On algorithmic and topological properties of orbits for piecewise-affine mappings
The open reachability problem for one dimensional piecewise-affine mappings with two intervals (2-PAM) is considered. Some decidability results following from the specific topological properties of reachable states of the 2-PAM's are given.
Download file
Counter downloads: 291
Keywords
кусочно-аффинные отображения, проблема достижимости, piecewise-affine mapping, reachability problemAuthors
| Name | Organization | |
| Kurganskyy O. M. | Institute of Applied Mathematics and Mechanics, National Academy of Sciences of Ukraine (Donetsk) | topologia@mail.ru |
References
Savchenko A. Ya., Kovalev A.M., Kozlovskii V. A., and ScherbakV.F. Inverse dynamical systems in secure communication and its discrete analogs for information transfer // Proc. NDES 2003, May 18-22, Scuol/Schuls, Switzerland. P. 112-116.
Asarin E., Mysore V., Pnueli A., and Schneider G. Low dimensional hybrid systems — decidable, undecidable, don't know // Inform. Comput. 2012. V. 211. P. 138-159.
Kurganskyy O., Potapov I., and Sancho-Caparrini F. Reachability problems in low-dimensional iterative maps // Int. J. Found. Comput. Sci. 2008. No. 19(4). P. 935-951.
