Invariant Probability Measures and Non-wandering Sets for Impulsive Semiflows

We consider impulsive dynamical systems defined on compact metric spaces and their respective impulsive semiflows. We establish sufficient conditions for the existence of probability measures which are invariant under such impulsive semiflows. Under these conditions we also deduce the forward invariance of their non-wandering sets except the discontinuity points.