Controller design for analgesia with quantized pupil size variation output and saturating infusion rate. Issue 18 (2016)