In case anyone else needs it, https://en.m.wikipedia.org/wiki/PID_controller