Symbolic Control Design of an Artificial Pancreas for Type-2 Diabetes