Model predictive control of glucose concentration based on signal temporal logic specifications

F Cairoli, G Fenu, FA Pellegrino… - 2019 6th International …, 2019 - ieeexplore.ieee.org
Insulin is a peptide hormone produced by the pancreas to regulate the cells intake of
glucose in the blood. Type 1 diabetes compromises this particular capacity of the pancreas …

Model predictive control of glucose concentration based on signal temporal logic specifications with unknown-meals occurrence

F Cairoli, G Fenu, FA Pellegrino… - Cybernetics and …, 2020 - Taylor & Francis
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 …

Chance-constrained model predictive control for blood glucose management in diabetes

C Lackinger, F Reiterer, D Moser… - 2017 IEEE 56th …, 2017 - ieeexplore.ieee.org
Patients with type 1 diabetes mellitus (T1DM) need to supply their body with insulin from
external sources in order to manage their blood glucose (BG) concentration and mitigate the …

Constrained Linear Model Predictive Control for an Artificial Pancreas

KF Arbi, MR Morakchi, ZA El Aouaber… - … on Image and …, 2024 - ieeexplore.ieee.org
The achievement of closed-loop glycemic control, and hence the automation of insulin
administration, is highly required in the implementation of an Artificial Pancreas system …

Artificial pancreas under periodic MPC for trajectory tracking: handling circadian variability of insulin sensitivity

P Abuin, A Ferramosca, C Toffanin, L Magni… - IFAC-PapersOnLine, 2022 - Elsevier
Closed-loop glycemic control algorithms have demonstrated the ability to improve glucose
regulation in patients with type 1 diabetes mellitus (T1D), both in silico and clinical trials …

Bi-hormonal Linear Time-Varying Model Predictive Control for Blood Glucose Regulation in Type 1 Diabetes Patients

D Kalisvaart, J Bonekamp… - 2023 IEEE Conference …, 2023 - ieeexplore.ieee.org
We study predictive control for blood glucose regulation in patients with type 1 diabetes
mellitus. We determine optimal control actions for insulin and glucagon infusion via linear …

Barrier function-based model predictive control under signal temporal logic specifications

M Charitidou, DV Dimarogonas - 2021 European Control …, 2021 - ieeexplore.ieee.org
In this work a continuous-time MPC scheme is presented for linear systems under Signal
Temporal Logic (STL) specifications and input constraints. The satisfaction of the STL …

Tuning of an Artificial Pancreas Controller: an in silico methodology based on clinically-relevant criteria

L Olçomendy, A Pirog, Y Bornat… - 2020 42nd Annual …, 2020 - ieeexplore.ieee.org
This paper presents a methodology to tune an artificial pancreas controller by minimizing the
time spent in endangering glycaemic ranges (hypo-and hyperglycaemia). The risk …

Automated insulin delivery for type 1 diabetes mellitus patients using Gaussian process-based model predictive control

L Ortmann, D Shi, E Dassau, FJ Doyle… - 2019 American …, 2019 - ieeexplore.ieee.org
The human insulin-glucose metabolism is a time-varying process, which is partly caused by
the changing insulin sensitivity of the body. This insulin sensitivity follows a circadian rhythm …

A variable reference trajectory for model-free glycemia regulation

T MohammadRidha, CH Moog, E Delaleau… - 2015 Proceedings of the …, 2015 - SIAM
The control design of an artificial pancreas, a hot research topic in diabetology, is tackled via
the newly introduced model-free control and its corresponding “intelligent” proportional …