Articolo in rivista, 2022, ENG, 10.1109/TCST.2021.3135320

Symbolic Control Design of an Artificial Pancreas for Type-2 Diabetes

Borri, Alessandro; Pola, Giordano; Pepe, Pierdomenico; Di Benedetto, Maria Domenica; Palumbo, Pasquale

Consiglio Nazionale delle Ricerche; Università degli Studi dell'Aquila; Università degli Studi di Milano-Bicocca

Diabetes is a widespread disease characterized by chronic hyperglycemia so that diabetic individuals usually require the administration of exogenous insulin for survival. As a consequence, in the context of the so-called artificial pancreas, many glucose control methods have been presented in the last few years. In this work, we focus on type-2 diabetes and propose a novel model-based glucose control technique based on the use of symbolic models, which are finite approximations of complex dynamical systems. This framework allows taking into account nonlinearities and delays in the dynamics, uncertainties, and input bounds, as well as nonidealities coming from the interaction between physical plant and digital environment. The methodology is extensively validated over a virtual patient model, broadly accepted as a substitute to animal trials in the preclinical testing of closed-loop glucose control strategies. The results show the effectiveness and the robustness of the approach.

IEEE transactions on control systems technology (Print) 30 (5), pp. 2131–2146

Keywords

Artificial pancreas (AP), formal methods, hybrid systems, in silico validation, nonlinear time-delay systems, symbolic control

CNR authors

Palumbo Pasquale, Di Benedetto Maria Domenica, Borri Alessandro

CNR institutes

IASI – Istituto di analisi dei sistemi ed informatica "Antonio Ruberti"