$\newcommand{\f}{\phi}$\newcommand{\ep}{\varepsilon}$\newcommand{\R}{\mathbb R}$
Suppose $(\f_t)_{t\ge0}$ is an abstract dynamical system in a Banach space $(X,\|\mathord\cdot\|)$. Let $C(x,\ep)$ denote the closed ball with radius $r$ centered at $x\in X$.
Recall that an abstract dynamical system $(\phi_t)_{t\ge0}$ on $X$ is a collections of maps $\f_t: X\to X$ such that $\f_0$ is the identity map on $X$ and $\f_t\circ\f_{s}=\f_{t+s}$ for all $t,s\ge0$.
Assume the following:
Suppose that for all $t\ge0$ there are maps $f_t,g_t:X\to X$ such that $\f_t(x)=f_t(x)+g_t(x).\tag{1}$
Additionally, suppose that for all $r\ge0$ there is a $T_r\ge0$ and a map $h=h_{T_r}:[0,\infty)\to[0,\infty)$ where $\lim_{t\to\infty}h(t)=0\tag{2}$ and$\overline{f_t[C(0,r)]}\text{ is compact whenever }t>T_r\tag{3}$(the overline is the closure) and for all $t\ge0$ and all $x\in C(0,r)$: $\|g_t(x)\|\le h(t) \tag4$
Then $\lim_{t\to\infty}\alpha(\f_t[A])=0$for all bounded sets $A\subset X$, where $\alpha$ is the Kuratowski measure of noncompactness.
I have been told that this a well-known result from the theory of abstract dynamical systems, but I can't find a proof. Is there someone who knows how to prove this statement or knows a nice reference (preferably a book)?