English
Related papers

Related papers: GlucOS: Security, correctness, and simplicity for …

200 papers

The rising rates of diabetes necessitate innovative methods for its management. Continuous glucose monitors (CGM) are small medical devices that measure blood glucose levels at regular intervals providing insights into daily patterns of…

Quantitative Methods · Quantitative Biology 2024-10-10 Renat Sergazinov , Elizabeth Chun , Valeriya Rogovchenko , Nathaniel Fernandes , Nicholas Kasman , Irina Gaynanova

The escalating prevalence of diabetes globally underscores the need for diabetes management. Recent research highlights the growing focus on digital biomarkers in diabetes management, with innovations in computational frameworks and…

Artificial Intelligence · Computer Science 2024-04-22 Ziyi Zhou , Ming Cheng , Xingjian Diao , Yanjun Cui , Xiangling Li

This work presents a Model Predictive Control (MPC) for the artificial pancreas, which is able to autonomously manage basal insulin injections in type 1 diabetic patients. Specifically, the MPC goal is to maintain the patients' blood…

Systems and Control · Electrical Eng. & Systems 2024-01-31 Beatrice Sonzogni , José María Manzano , Marco Polver , Fabio Previdi , Antonio Ferramosca

The research explores a novel mathematical model for closed loop insulin delivery systems, featuring a glucose sensitive membrane. It employs a sophisticated framework of nonlinear reaction diffusion equations and enzyme kinetics. Central…

Analysis of PDEs · Mathematics 2024-11-18 K. Saranya , M. Suguna , Salahuddin

With continuous glucose monitoring (CGM), data-driven models on blood glucose prediction have been shown to be effective in related work. However, such (CGM) systems are not always available, e.g., for a patient at home. In this work, we…

Computers and Society · Computer Science 2024-04-10 Tu Nguyen , Markus Rokicki

Automated insulin delivery (AID) and artificial pancreas systems increasingly serve as safety-critical cyber-physical technologies in clinical care, integrating sensors, algorithms, software, and insulin-delivery hardware to automate a…

Cryptography and Security · Computer Science 2026-05-21 Austin James , Xavier-Lewis Palmer , Lucas Potter , Celisha Oscar

Type 1 Diabetes is a chronic autoimmune condition in which the immune system attacks and destroys insulin-producing beta cells in the pancreas, resulting in little to no insulin production. Insulin helps glucose in your blood enter your…

Quantitative Methods · Quantitative Biology 2025-02-04 Soon Jynn Chu , Nalaka Amarasiri , Sandesh Giri , Priyata Kafle

Diabetes is a chronicle disease where the body of a human is irregular to dissolve the blood glucose properly. The diabetes is due to lack of insulin in human body. The continuous monitoring of blood glucose is main important aspect for…

Medical Physics · Physics 2021-06-10 Prateek Jain , Amit M. Joshi , Saraju Mohanty

Background and objective: Diabetes is one of the four leading causes of death worldwide, necessitating daily blood glucose monitoring. While sweat offers a promising non-invasive alternative for glucose monitoring, its application remains…

Quantitative Methods · Quantitative Biology 2024-12-05 Xiaoyu Yin , Elisabetta Peri , Eduard Pelssers , Jaap den Toonder , Lisa Klous , Hein Daanen , Massimo Mischi

The mathematical modelling of biological systems has historically followed one of two approaches: comprehensive and minimal. In comprehensive models, the involved biological pathways are modelled independently, then brought together as an…

Dynamical Systems · Mathematics 2021-11-16 Eric Ng , Jaycee Morgan Kaufman , Lennaert van Veen , Yan Fossat

Due to the sensitive nature of diabetes-related data, preventing them from being shared between studies, progress in the field of glucose prediction is hard to assess. To address this issue, we present GLYFE (GLYcemia Forecasting…

Signal Processing · Electrical Eng. & Systems 2020-06-30 Maxime De Bois , Mehdi Ammi , Mounîm A. El Yacoubi

The Glucose-Insulin-Glucagon nonlinear model [1-4] accurately describes how the body responds to exogenously supplied insulin and glucagon in patients affected by Type I diabetes. Based on this model, we design infusion rates of either…

Tissues and Organs · Quantitative Biology 2019-06-19 Afroza Shirin , Fabio Della Rossa , Isaac Klickstein , John Russell , Francesco Sorrentino

Effective diabetes management relies heavily on the continuous monitoring of blood glucose levels, traditionally achieved through invasive and uncomfortable methods. While various non-invasive techniques have been explored, such as optical,…

Machine Learning · Computer Science 2024-08-16 Nihat Ahmadli , Mehmet Ali Sarsil , Onur Ergen

Automated insulin delivery for Type 1 Diabetes must balance glucose control and safety under uncertain meals and physiological variability. While reinforcement learning (RL) enables adaptive personalization, existing approaches struggle to…

Machine Learning · Computer Science 2026-01-23 Yushen Liu , Yanfu Zhang , Xugui Zhou

Objective: The design of an Artificial Pancreas (AP) to regulate blood glucose levels requires reliable control methods. Model Predictive Control has emerged as a promising approach for glycemia control. However, model--based control…

Optimization and Control · Mathematics 2022-02-02 Claudia Lopez-Zazueta , Øyvind Stavdahl , Anders Lyngvi Fougner

A task of vital clinical importance, within Diabetes management, is the prevention of hypo/hyperglycemic events. Increasingly adopted Continuous Glucose Monitoring (CGM) devices offer detailed, non-intrusive and real time insights into a…

Machine Learning · Computer Science 2023-03-09 Jakub J. Dylag

Calculating mealtime insulin doses poses a significant challenge for individuals with Type 1 Diabetes (T1D). Doses should perfectly compensate for expected post-meal glucose excursions, requiring a profound understanding of the individual's…

Quantitative Methods · Quantitative Biology 2024-06-24 Anas El Fathi , Elliott Pryor , Marc D. Breton

People with Type 1 diabetes (T1D) require regular exogenous infusion of insulin to maintain their blood glucose concentration in a therapeutically adequate target range. Although the artificial pancreas and continuous glucose monitoring…

Signal Processing · Electrical Eng. & Systems 2020-09-08 Taiyu Zhu , Kezhi Li , Pau Herrero , Pantelis Georgiou

People with type 1 diabetes (T1D) lack the ability to produce the insulin their bodies need. As a result, they must continually make decisions about how much insulin to self-administer to adequately control their blood glucose levels.…

Machine Learning · Computer Science 2020-09-22 Ian Fox , Joyce Lee , Rodica Pop-Busui , Jenna Wiens

This paper introduces a reliable health care system for diabetic patients based on the Internet of Things technology. A diabetic health care system with a hardware implementation is presented. The proposed work employs Alaris 8100 infusion…

Computers and Society · Computer Science 2019-08-20 Zeyad A. Al-Odat , Sudarshan K. Srinivasan , Eman M. Al-Qtiemat , Sana Shuja