An assume-guarantee approach to sampled-data quantized glucose control