Modeling and control of impact in mechanical systems: theory and experimental results | IEEE Journals & Magazine | IEEE Xplore