arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2506.17790

In silico evaluation of pramlintide dosing algorithms in artificial pancreas systems

Borja Pons Torres·Iván Sala Mira·Clara Furió-Novejarque·Ricardo Sanz·Pedro García·José-Luis Díez·Jorge Bondia
View original source ↗Read source document ↗Export metadata ↓

Abstract

Pramlintide's capability to delay gastric emptying has motivated its use in artificial pancreas systems, accompanying insulin as a control action. Due to the scarcity of pramlintide simulation models in the literature, in silico testing of insulin-plus-pramlintide strategies is not widely used. This work incorporates a recent pramlintide pharmacokinetics/pharmacodynamics model into the T1DM UVA/Padova simulator to adjust and validate four insulin-plus-pramlintide control algorithms. The proposals are based on an existing insulin controller and administer pramlintide either as independent boluses or as a ratio of the insulin infusion. The results of the insulin-pramlintide algorithms are compared against their insulin-alone counterparts, showing an improvement in the time in range between 3.00\% and 10.53\%, consistent with results reported in clinical trials in the literature. Future work will focus on individualizing the pramlintide model to the patients' characteristics and evaluating the implemented strategies under more challenging scenarios.

Explore related subjects

eess.SYcs.SY

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Borja Pons Torres, Iván Sala Mira, Clara Furió-Novejarque, Ricardo Sanz, Pedro García, José-Luis Díez, Jorge Bondia. 2025-06-21. In silico evaluation of pramlintide dosing algorithms in artificial pancreas systems. https://doi.org/10.1016/j.compbiomed.2025.110447

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Koopman-Based Linear MPC for Safe Control using Control Barrier Functions

This paper proposes a Koopman-based linear model predictive control (LMPC) framework for safety-critical control of nonlinear discrete-time systems. Existing MPC formulations based on discrete-time control barrier functions (DCBFs) enforce safety through barrier constraints but typically result in computationally demanding nonlinear programming. To address this challenge, we construct a DCBF-augmented dynamical system and employ Koopman operator theory to lift the nonlinear dynamics into a higher-dimensional space where both the system dynamics and the barrier function admit a linear predictor representation. This enables the transformation of the nonlinear safety-constrained MPC problem into a quadratic program (QP). To improve feasibility while preserving safety, a relaxation mechanism with slack variables is introduced for the barrier constraints. The resulting approach combines the modeling capability of Koopman operators with the computational efficiency of QP. Numerical simulations on a navigation task for a robot with nonlinear dynamics demonstrate that the proposed framework achieves safe trajectory generation and efficient real-time control.

eess.SY↗
arXiv2026

Data-Driven Unknown Input Reconstruction for MIMO Systems with Convergence Guarantees

In this paper, we consider data-driven reconstruction of unknown inputs for deterministic, linear time-invariant (LTI) multiple-input multiple-output (MIMO) systems. We propose a novel autoregressive estimator based on a constrained least-squares formulation over Hankel matrices, splitting the problem into an output-consistency constraint and an input-history-matching objective. Our method relies on previously recorded input--output data to represent the system, but does not require knowledge of the true input to initialize the algorithm. We show that the proposed estimator is strictly stable if and only if all the invariant zeros of the trajectory-generating system lie strictly inside the unit circle, which can be verified purely from input and output data. This mirrors existing results from model-based input reconstruction and closes the gap between model-based and data-driven settings. Lastly, we provide numerical examples to demonstrate the theoretical results.

eess.SY↗
arXiv2026

A Closed-Loop Model of an Anion Exchange Membrane Electrolyser Based on Operational Data

The main contribution of this work is to identify model parameters for an Anion Exchange Membrane (AEM) system directly from measured operational data, enabling their use in power system studies. Due to the relatively low technology readiness level (TRL) of AEM electrolysers, only limited literature reports operational parameters supported by openly available experimental data. By capturing the realistic dynamic behaviour and power consumption of the AEM electrolyser, this model allows for more accurate evaluation of system topologies and control strategies for green hydrogen production. This paper presents a model of an AEM electrolyser based on experimental data from Enapter modules installed in the Power-to-X (PtX) Laboratory at the Technical University of Denmark [1]. The model comprises a polarisation curve and a model of current dynamics during operation. It is validated against operational data and can be applied in grid-balancing studies as well as in assessments of how electrolyser dynamics influence the power system. The results suggest that the AEM technology is suitable for services such as smoothing wind farm power output and provide system services to support frequency balancing. The findings highlight the importance of considering the constraints of the process when designing for flexible load operation, and consideration of the interaction between the power control and process control systems.

eess.SY↗