Processor-implemented methods of controlling an insulin infusion device for a user are provided here. A first method obtains a current insulin on board (IOB) value that estimates active insulin in the user, and compensates a calculated insulin infusion rate in response to the obtained IOB value. A second method supervises the operation of a glucose sensor by obtaining and processing insulin-delivered data and glucose sensor data for the user. An alert is generated if the second method determines that a current glucose sensor value has deviated from a predicted sensor glucose value by at least a threshold amount.