State observers for the time discretization of a class of impulsive mechanical systems. - Preiswerk, Pascal V.; Leine, Remco I. (International Journal of Robust & Nonlinear Control, 2022)