I've never really gotten that scientific about it. If I want to mash at 152 degrees, I generally just set the PID to 154 or 155 until it hits that temp, then dial it back immediately before mashing in.
It sometimes drops to 150 or so before coming back up. But it usually returns to my desired...