Departmental Papers (CIS)

Date of this Version

10-2015

Document Type

Conference Paper

Comments

5th IFAC conference on Analysis and Design of Hybrid Systems (ADHS 2015). Atlanta, USA, October 14-16, 2015

Abstract

Diabetes associated complications are affecting an increasingly large population of hospitalized patients. Since glucose physiology is significantly impacted by patient-specific parameters, it is critical to verify that a clinical glucose control protocol is safe across a wide patient population. A safe protocol should not drive the glucose level into dangerous low (hypoglycemia) or high (hyperglycemia) ranges. Verification of glucose controllers is challenging due to the high-dimensional, non-linear glucose physiological models which contain both unobservable states and unmeasurable patient-specific parameters. This paper presents a hybrid system model of a closed-loop physiological system that includes an existing FDA-accepted high-fidelity physiological model tailored to intraoperative settings and a validated improvement to a clinical glucose control protocol for diabetic cardiac surgery patients. We propose the closed-loop model as a physiological system benchmark for verification and present our initial results on verifying the system using the SMT-based hybrid system verification tool dReach.

Subject Area

CPS Medical

Publication Source

5th IFAC conference on Analysis and Design of Hybrid Systems (ADHS 2015)

Keywords

Formal verification, Medical applications, Safety analysis, Closed-loop Controllers

Share

COinS
 

Date Posted: 03 November 2015

This document has been peer reviewed.