Skip to main content

Model-Based Analysis and Synthesis of Insulin Infusion Pump Usage Strategies

Sriram Sankaranarayanan ( U Colorado )
Insulin infusion pumps are commonly used by diabetic patients to control their blood glucose levels. The everyday use of these pumps can be challenging, requiring accurate meal planning and appropriate timing of insulin bolus infusions. Combinations of mechanical faults, software errors and user mistakes can lead to dangerous conditions such as hypoglycemia and hyperglycemia.

In this talk, we explore the use of mathematical models of the insulin-glucose regulatory system in conjunction with models of the pump and the usage strategies to analyze the impact of various common faults that occur during insulin infusion. We use a promising heuristic approach to state-space exploration for non-linear systems called robustness-guided model checking to analyze the resulting model and infer root causes for common risks such as hypoglycemia and hyperglycemia. Finally, we present some ideas on how model-based analysis techniques can be transformed into software tools that can help diabetic patients better control their blood glucose levels, and some progress in this direction.

Joint work with Georgios Fainekos (Arizona State University).

Speaker bio

Sriram Sankaranarayanan is an assistant professor of Computer Science at the University of Colorado, Boulder. His research interests include techniques for verifying programs and cyber-physical systems. Sriram obtained a PhD in 2005 from Stanford University. Subsequently he worked as a research staff member at NEC research labs in Princeton, NJ. He has been on the faculty at CU Boulder since 2009. Sriram has been the recipient of awards including the Siebel Scholarship (2005), the CAREER award from NSF (2009) and the Dean's award for outstanding junior faculty for the College of Engineering at CU Boulder (2012).



Share this: