中文
相关论文

相关论文: GlucOS: Security, correctness, and simplicity for …

200 篇论文

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…

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…

人工智能 · 计算机科学 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…

系统与控制 · 电气工程与系统科学 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…

偏微分方程分析 · 数学 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…

计算机与社会 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

定量方法 · 定量生物学 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…

医学物理 · 物理学 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…

定量方法 · 定量生物学 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…

动力系统 · 数学 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…

信号处理 · 电气工程与系统科学 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…

组织与器官 · 定量生物学 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,…

机器学习 · 计算机科学 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…

机器学习 · 计算机科学 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…

最优化与控制 · 数学 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…

机器学习 · 计算机科学 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…

定量方法 · 定量生物学 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…

信号处理 · 电气工程与系统科学 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.…

机器学习 · 计算机科学 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…

计算机与社会 · 计算机科学 2019-08-20 Zeyad A. Al-Odat , Sudarshan K. Srinivasan , Eman M. Al-Qtiemat , Sana Shuja