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.