Active vibration suppression in robotic milling using optimal control. (May 2020)