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.

Borri, A., Pola, G., Pepe, P., Di Benedetto, M., Palumbo, P. (2022). Symbolic Control Design of an Artificial Pancreas for Type-2 Diabetes. IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 30(5 (September 2022)), 2131-2146 [10.1109/TCST.2021.3135320].

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

Palumbo P.
Ultimo
2022

Abstract

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.
Articolo in rivista - Articolo scientifico
Artificial pancreas (AP); Computational modeling; Context modeling; Diabetes; formal methods; Glucose; hybrid systems; in silico validation; Insulin; nonlinear time-delay systems; Regulation; symbolic control.; Uncertainty;
English
2131
2146
16
Borri, A., Pola, G., Pepe, P., Di Benedetto, M., Palumbo, P. (2022). Symbolic Control Design of an Artificial Pancreas for Type-2 Diabetes. IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 30(5 (September 2022)), 2131-2146 [10.1109/TCST.2021.3135320].
Borri, A; Pola, G; Pepe, P; Di Benedetto, M; Palumbo, P
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/356593
Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
Social impact