Model-based controller for anesthesia automation | IEEE Conference Publication | IEEE Xplore