On the prediction of glucose concentration under intra-patient variability in type 1 diabetes: A monotone systems approach

A monotonicity analysis of the model states and parameters is performed. An analysis of critical points, state transformations and application of differential inequalities are proposed to deal with non-monotone parameters. In contrast to current methods, the guaranteed simulations for the glucose-insulin model are carried out by considering uncertainty in all the parameters and initial conditions. Furthermore, no time-discretisation is required, which helps to reduce the computational time significantly. As a result, we are able to compute a tight glucose envelope that bounds all the possible patient's glycemic responses with low computational effort.