Motivated by the concept of transition system investigated by Kotzig in 1968, Krivelevich, Lee and Sudakov proposed a more general notion of incompatibility system to formulate the robustness of Hamiltonicity of Dirac graphs. Given a graph $G=(V,E)$, an {\em incompatibility system} $\mathcal{F}$ over $G$ is a family $\mathcal{F}=\{F_v\}_{v\in V}$ such that for every $v\in V$, $F_v$ is a family of edge pairs in $\{\{e,e'\}: e\ne e'\in E, e\cap e'=\{v\}\}$. An incompatibility system $\mathcal{F}$ is \emph{$Δ$-bounded} if for every vertex $v$ and every edge $e$ incident with $v$, there are at most $Δ$ pairs in $F_v$ containing $e$. A subgraph $H$ of $G$ is \emph{compatible} (with respect to $\mathcal{F}$) if every pair of adjacent edges $e,e'$ of $H$ satisfies $\{e,e'\} \notin F_v$, where $v=e\cap e'$. Krivelevich, Lee and Sudakov proved that there is an universal constant $μ>0$ such that for every $μn$-bounded incompatibility system $\mathcal{F}$ over a Dirac graph, there exists a compatible Hamilton cycle, which resolves a conjecture of Häggkvist from 1988. We study high powers of Hamilton cycles in this context and show that for every $γ>0$ and $k\in\mathbb{N}$, there exists a constant $μ>0$ such that for sufficiently large $n\in\mathbb{N}$ and every $μn$-bounded incompatibility system over an $n$-vertex graph $G$ with $δ(G)\ge(\frac{k}{k+1}+γ)n$, there exists a compatible $k$-th power of a Hamilton cycle in $G$. Moreover, we give a construction which has minimum degree $\frac{k}{k+1}n+Ω(n)$ and contains no compatible $k$-th power of a Hamilton cycle.