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

Contract-based design is a compositional approach that enables to satisfy specifications for complex systems by partitioning responsibilities among the constituent subsystems. A natural application of assume-guarantee reasoning arises in the context of biological systems, which are composed of different modules, each responsible for particular actions. This work presents an application of the assume-guarantee contracts theory to the glucose regulation system, a topic of major importance in diabetes treatment, in the context of the so-called Artificial Pancreas. The glucose control problem is defined and solved in a decentralized way by defining suitable contracts to be satisfied by the glucose and insulin subsystems, while the framework naturally takes into account sampling and quantization arising from the digital environment. The results show that the approach is feasible and promising for further investigation.