首页> 外文会议>International conference on computational methods in systems biology >Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System
【24h】

Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System

机译:通过胰岛素-葡萄糖调节系统的硅胶模型模拟胰岛素输液泵的风险

获取原文

摘要

We present a case study on the use of robustness-guided and statistical model checking approaches for simulating risks due to insulin infusion pump usage by diabetic patients. Insulin infusion pumps allow for a continuous delivery of insulin with varying rates and delivery profiles to help patients self-regulate their blood glucose levels. However, the use of infusion pumps and continuous glucose monitors can pose risks to the patient including chronically elevated blood glucose levels (hyperglycemia) or dangerously low glucose levels (hypoglycemia). In this paper, we use mathematical models of the basic insulin-glucose regulatory system in a diabetic patient, insulin infusion pumps, and the user's interaction with these pumps defined by commonly used insulin infusion strategies for maintaining normal glucose levels. These strategies include common guidelines taught to patients by physicians and certified diabetes educators and have been implemented in commercially available insulin bolus calculators. Furthermore, we model the failures in the devices themselves along with common errors in the usage of the pump. We compose these models together and analyze them using two related techniques: (a) robustness guided state-space search to explore worst-case scenarios and (b) statistical model checking techniques to assess the probabilities of hyper- and hypoglycemia risks. Our technique can be used to identify the worst-case effects of the combination of many different kinds of failures and place high confidence bounds on their probabilities.
机译:我们提供了一个案例研究,该案例研究使用了鲁棒性指导和统计模型检查方法来模拟糖尿病患者使用胰岛素输注泵引起的风险。胰岛素输液泵允许以不同的速率和输送方式连续输送胰岛素,以帮助患者自我调节血糖水平。但是,使用输液泵和连续血糖监测仪可能给患者带来风险,包括长期升高的血糖水平(高血糖)或危险的低血糖水平(低血糖)。在本文中,我们使用糖尿病患者基本胰岛素-葡萄糖调节系统的数学模型,胰岛素输注泵以及用户与这些泵的相互作用,这些相互作用由常用的胰岛素输注策略定义,以维持正常的葡萄糖水平。这些策略包括由医师和经认证的糖尿病教育者传授给患者的通用指南,并已在市售胰岛素推注计算器中实施。此外,我们对设备本身的故障以及泵使用中的常见错误进行建模。我们将这些模型组合在一起,并使用两种相关技术对其进行分析:(a)鲁棒性指导的状态空间搜索,以探索最坏的情况;(b)统计模型检查技术,以评估高血糖和低血糖风险的可能性。我们的技术可用于识别许多不同类型的故障组合的最坏情况影响,并对它们的概率设置高置信范围。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号