PID controller
因此PID控制器的離散化可以將formula_4微分，再用一階導數及二階導數的定義求得formula_69，可以得到