Tilings from Tops of Overlapping Iterated Function Systems

The top of the attractor $A$ of a hyperbolic iterated function system $\left\{ f_{i}:\mathbb{R}^{n}\rightarrow\mathbb{R}^{n}|i=1,2,\dots,M\right\}$ is defined and used to extend self-similar tilings to overlapping systems. The theory provides sequences of approximate supertiles that converge to tilings. Individual tiles in a tiling are limits of nested decreasing sequences of approximate tiles. Examples include systems of finite type, tilings related to aperiodic monotiles, and ones where there are infinitely many distinct but related prototiles.