Simulating insulin infusion pump risks by in-silico modeling of the insulin-glucose regulatory system

Sriram Sankaranarayanan, Georgios Fainekos

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publicationComputational Methods in Systems Biology - 10th International Conference, CMSB 2012, Proceedings
Pages322-341
Number of pages20
DOIs
StatePublished - Oct 30 2012
Event10th International Conference on Computational Methods in Systems Biology, CMSB 2012 - London, United Kingdom
Duration: Oct 3 2012Oct 5 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7605 LNBI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other10th International Conference on Computational Methods in Systems Biology, CMSB 2012
CountryUnited Kingdom
CityLondon
Period10/3/1210/5/12

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Simulating insulin infusion pump risks by in-silico modeling of the insulin-glucose regulatory system'. Together they form a unique fingerprint.

  • Cite this

    Sankaranarayanan, S., & Fainekos, G. (2012). Simulating insulin infusion pump risks by in-silico modeling of the insulin-glucose regulatory system. In Computational Methods in Systems Biology - 10th International Conference, CMSB 2012, Proceedings (pp. 322-341). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7605 LNBI). https://doi.org/10.1007/978-3-642-33636-2_19