Gaussian process-based model predictive control of blood glucose for patients with type 1 diabetes mellitus | IEEE Conference Publication | IEEE Xplore