A model predictive sedation control system under total intravenous anesthesia | IEEE Conference Publication | IEEE Xplore