Model-Based Analysis and Synthesis of Insulin Infusion Pump Usage Strategies
- 14:00 5th October 2012 ( week 0, Michaelmas Term 2012 )051
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:
