Design of glucose control via symbolic computation | IEEE Conference Publication | IEEE Xplore