The glycemia regulation is a significant challenge in the Artificial Pancreas (AP) scenario. Several control systems have been developed in the last years, many of them requiring meal announcements. Therefore, if the patients skip the meal announcement or make a mistake in the estimation of the amount of carbohydrates, the control performance will be negatively affected. In this extended version of our previous work, we present a Model Predictive Controller (MPC) for the AP in which the meal is treated as a disturbance to be estimated by an Unknown Input Observer (UIO). The MPC constraints are expressed in terms of Signal Temporal Logic (STL) specifications. Indeed, in the AP some requirements result in hard constraints (in particular, absolutely avoid hypoglycemia and absolutely avoid severe hyperglycemia) and some other in soft constraints (avoid a prolonged hyperglycemia) and STL is suitable for expressing such requirements. The achieved results are obtained using the BluSTL toolbox, which allows to synthesize model predictive controllers with STL constraints. We report simulations showing that the proposed approach, avoiding unnecessary restrictions, provides safe trajectories in correspondence of higher unknown disturbance.

Model Predictive Control of Glucose Concentration Based on Signal Temporal Logic Specifications with Unknown-Meals Occurrence

Cairoli, Francesca;Fenu, Gianfranco;Pellegrino, Felice Andrea;Salvato, Erica
2020

Abstract

The glycemia regulation is a significant challenge in the Artificial Pancreas (AP) scenario. Several control systems have been developed in the last years, many of them requiring meal announcements. Therefore, if the patients skip the meal announcement or make a mistake in the estimation of the amount of carbohydrates, the control performance will be negatively affected. In this extended version of our previous work, we present a Model Predictive Controller (MPC) for the AP in which the meal is treated as a disturbance to be estimated by an Unknown Input Observer (UIO). The MPC constraints are expressed in terms of Signal Temporal Logic (STL) specifications. Indeed, in the AP some requirements result in hard constraints (in particular, absolutely avoid hypoglycemia and absolutely avoid severe hyperglycemia) and some other in soft constraints (avoid a prolonged hyperglycemia) and STL is suitable for expressing such requirements. The achieved results are obtained using the BluSTL toolbox, which allows to synthesize model predictive controllers with STL constraints. We report simulations showing that the proposed approach, avoiding unnecessary restrictions, provides safe trajectories in correspondence of higher unknown disturbance.
Pubblicato
https://www.tandfonline.com/doi/full/10.1080/01969722.2020.1758463
File in questo prodotto:
File Dimensione Formato  
Model Predictive Control of Glucose Concentration Based on Signal Temporal Logic Specifications with Unknown Meals Occurrence.pdf

non disponibili

Tipologia: Documento in Versione Editoriale
Licenza: Copyright Editore
Dimensione 1.77 MB
Formato Adobe PDF
1.77 MB Adobe PDF   Visualizza/Apri   Richiedi una copia
Post.pdf

embargo fino al 18/05/2021

Tipologia: Bozza finale post-referaggio (post-print)
Licenza: Digital Rights Management non definito
Dimensione 2.16 MB
Formato Adobe PDF
2.16 MB Adobe PDF Visualizza/Apri
11368_2965255_print.pdf

accesso aperto

Tipologia: Bozza finale post-referaggio (post-print)
Licenza: Digital Rights Management non definito
Dimensione 2.07 MB
Formato Adobe PDF
2.07 MB Adobe PDF Visualizza/Apri

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: http://hdl.handle.net/11368/2965255
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
social impact