Reduced-order observers for the velocity estimation of non-linear mechanical systems subject to non-smooth impacts | IEEE Conference Publication | IEEE Xplore