Symbolic models approximating possibly unstable time–delay systems with application to the artificial pancreas

Symbolic models are becoming more and more popular in the research community working on hybrid systems because they provide a systematic approach to enforce logic specifications on purely continuous or hybrid systems while fulfilling the constraints at the hardware/software implementation level. This paper contributes to this research line and proposes symbolic models approximating possibly unstable time-delay systems with quantized measurements of the outputs. An application of the proposed results to the glucose control problems for the Artificial Pancreas is discussed in the paper.