Symbol: reset_pid_controller