Contractive Model Predictive Control for Insulin Delivery for Type 1 Diabetics | IEEE Conference Publication | IEEE Xplore