controller/rotation_controller library