where \(\Phi _t(x)\)  is the flow map of the dynamical system (REF ) evolved forward up to time \(t\) , given the initial state \(x\) . Instead of examining the evolution of the state, the Koopman semigroup allows us to study the forward evolution of functions of state, \(y(x)\)  [1]}.
