Dynamic output-feedback controller design for analgesia guided by the pupil size variation | IEEE Conference Publication | IEEE Xplore