Symbolic models approximating possibly unstable time-delay systems with application to the artificial pancreas
Giordano Pola, Alessandro Borri, Pierdomenico Pepe, Pasquale J Palumbo, Maria Domenica Di Benedetto · 2019
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.