Detection of Insulin Pump Malfunctioning to Improve Safety in Artificial Pancreas Using Unsupervised Algorithms

Supervised and Unsupervised Approaches for the Real-Time Detection of Undesired Insulin Suspension Caused by Malfunctions

BACKGROUND

Automated insulin delivery (AID) systems, permit improved treatment of type 1 diabetes (T1D). Unfortunately, malfunctioning in the insulin pump or in the infusion set can prevent insulin from being administered, reducing the AID efficacy and posing the patient at risk. Different data-driven methods available in the literature can be used to deal with the problem of automatically detecting complete insulin suspension in real-time. This article investigates both supervised and unsupervised strategies and proposes a fair comparison under either population or personalized settings.

METHODS

Several algorithms are compared using data generated through the UVA/Padova T1D simulator, a computer simulator widely used to test control strategies in silico and accepted by the Food and Drugs Administration (FDA) as a substitute to animal pre-clinical trials. Two synthetic data sets, each consisting of 100 virtual subjects monitored for 1 month, were generated. Occasional faults of the insulin pump are simulated as complete occlusions by suspending the therapy administration. Personalized algorithms are investigated with unsupervised approaches only, since personalized labels are hardly available.

RESULTS

In the population scenario, the supervised approach outperforms the unsupervised strategy. In particular, logistic regression and random forest achieves a recall of 72% and 82%, with 0.12 and 0.21 false positives (FP) per day, respectively. In the personalized setting scenario, the unsupervised algorithms are tailored on each patient and outperform the population ones, in particular isolation forest achieves a recall 80% and 0.06 FPs per day.

CONCLUSIONS

This article suggests that unsupervised personalized approach, by addressing the large variability in glucose response among individuals with T1D, is superior to other one-fits-all approaches in detecting insulin suspensions caused by malfunctioning. Population methodologies can be effectively used while waiting to collect sufficient patient data, when the system is installed on a new patient.

Ketone-Based Alert System for Insulin Pump Failures

BACKGROUND

An increasing number of individuals with type 1 diabetes (T1D) manage glycemia with insulin pumps containing short-acting insulin. If insulin delivery is interrupted for even a few hours due to pump or infusion site malfunction, the resulting insulin deficiency can rapidly initiate ketogenesis and diabetic ketoacidosis (DKA).

METHODS

To detect an event of accidental cessation of insulin delivery, we propose the design of ketone-based alert system (K-AS). This system relies on an extended Kalman filter based on plasma 3-beta-hydroxybutyrate (BOHB) measurements to estimate the disturbance acting on the insulin infusion/injection input. The alert system is based on a novel physiological model capable of simulating the ketone body turnover in response to a change in plasma insulin levels. Simulated plasma BOHB levels were compared with plasma BOHB levels available in the literature. We evaluated the performance of the K-AS on 10 in silico subjects using the S2014 UVA/Padova simulator for two different scenarios.

RESULTS

The K-AS achieves an average detection time of 84 and 55.5 minutes in fasting and postprandial conditions, respectively, which compares favorably and improves against a detection time of 193 and 120 minutes, respectively, based on the current guidelines.

CONCLUSIONS

The K-AS leverages the rapid rate of increase of plasma BOHB to achieve short detection time in order to prevent BOHB levels from rising to dangerous levels, without any false-positive alarms. Moreover, the proposed novel insulin-BOHB model will allow us to understand the efficacy of treatment without compromising patient safety.

Minimal and Maximal Models to Quantitate Glucose Metabolism: Tools to Measure, to Simulate and to Run in Silico Clinical Trials

Several models have been proposed to describe the glucose system at whole-body, organ/tissue and cellular level, designed to measure non-accessible parameters (minimal models), to simulate system behavior and run in silico clinical trials (maximal models). Here, we will review the authors' work, by putting it into a concise historical background. We will discuss first the parametric portrait provided by the oral minimal models-building on the classical intravenous glucose tolerance test minimal models-to measure otherwise non-accessible key parameters like insulin sensitivity and beta-cell responsivity from a physiological oral test, the mixed meal or the oral glucose tolerance tests, and what can be gained by adding a tracer to the oral glucose dose. These models were used in various pathophysiological studies, which we will briefly review. A deeper understanding of insulin sensitivity can be gained by measuring insulin action in the skeletal muscle. This requires the use of isotopic tracers: both the classical multiple-tracer dilution and the positron emission tomography techniques are discussed, which quantitate the effect of insulin on the individual steps of glucose metabolism, that is, bidirectional transport plasma-interstitium, and phosphorylation. Finally, we will present a cellular model of insulin secretion that, using a multiscale modeling approach, highlights the relations between minimal model indices and subcellular secretory events. In terms of maximal models, we will move from a parametric to a flux portrait of the system by discussing the triple tracer meal protocol implemented with the tracer-to-tracee clamp technique. This allows to arrive at quasi-model independent measurement of glucose rate of appearance (Ra), endogenous glucose production (EGP), and glucose rate of disappearance (Rd). Both the fast absorbing simple carbs and the slow absorbing complex carbs are discussed. This rich data base has allowed us to build the UVA/Padova Type 1 diabetes and the Padova Type 2 diabetes large scale simulators. In particular, the UVA/Padova Type 1 simulator proved to be a very useful tool to safely and effectively test in silico closed-loop control algorithms for an artificial pancreas (AP). This was the first and unique simulator of the glucose system accepted by the U.S. Food and Drug Administration as a substitute to animal trials for in silico testing AP algorithms. Recent uses of the simulator have looked at glucose sensors for non-adjunctive use and new insulin molecules.

Data-Driven Supervised Compression Artifacts Detection on Continuous Glucose Sensors

Continuous Glucose Monitoring (CGM) sensors micro-invasively provide frequent glucose readings, improving the management of Type 1 diabetic patients' life and making available reach data-sets for retrospective analysis. Unlikely, CGM sensors are subject to failures, such as compression artifacts, that might impact on both real-time and respective CGM use. In this work is focused on retrospective detection of compression artifacts. An in-silico dataset is generated using the T1D UVa/Padova simulator and compression artifacts are subsequently added in known position, thus creating a dataset with perfectly accurate faulty/not-faulty labels. The problem of compression artifact detection is then faced with supervised data-driven techniques, in particular using Random Forest algorithm. The detection performance guaranteed by the method on in-silico data is satisfactory, opening the way for further analysis on real-data.

Personalized insulin dose manipulation attack and its detection using interval-based temporal patterns and machine learning algorithms

Many patients with diabetes are currently being treated with insulin pumps and other diabetes devices which improve their quality of life and enable effective treatment of diabetes. These devices are connected wirelessly and thus, are vulnerable to cyber-attacks which have already been proven feasible. In this paper, we focus on two types of cyber-attacks on insulin pump systems: an overdose of insulin, which can cause hypoglycemia, and an underdose of insulin, which can cause hyperglycemia. Both of these attacks can result in a variety of complications and endanger a patient's life. Specifically, we propose a sophisticated and personalized insulin dose manipulation attack; this attack is based on a novel method of predicting the blood glucose (BG) level in response to insulin dose administration. To protect patients from the proposed sophisticated and malicious insulin dose manipulation attacks, we also present an automated machine learning based system for attack detection; the detection system is based on an advanced temporal pattern mining process, which is performed on the logs of real insulin pumps and continuous glucose monitors (CGMs). Our multivariate time-series data (MTSD) collection consists of 225,780 clinical logs, collected from real insulin pumps and CGMs of 47 patients with type I diabetes (13 adults and 34 children) from two different clinics at Soroka University Medical Center in Beer-Sheva, Israel over a four-year period. We enriched our data collection with additional relevant medical information related to the subjects. In the extensive experiments performed, we evaluated the proposed attack and detection system and examined whether: (1) it is possible to accurately predict BG levels in order to create malicious data that simulate a manipulation attack and the patient's body in response to it; (2) it is possible to automatically detect such attacks based on advanced machine learning (ML) methods that leverage temporal patterns; (3) the detection capabilities of the proposed detection system differ for insulin overdose and underdose attacks; and (4) the granularity of the learning model (general / adult vs. pediatric clinic / individual patient) affects the detection capabilities. Our results show that (a) it is possible to predict, with nearly 90% accuracy, BG levels using our proposed methods, and by doing so, enable malicious data creation for our detection system evaluation; (b) it is possible to accurately detect insulin manipulation attacks using temporal patterns mining using several ML methods, including Logistic Regression, Random Forest, TPF class model, TPF top k, and ANN algorithms; (c) it is easier to detect an overdose attack than an underdose attack in more than 25%, in terms of AUC scores; and (d) the adult vs. pediatric model outperformed models of other granularities in the detection of overdose attacks, while the general model outperformed the other models in the case of detecting underdose attacks; for both attacks, attack detection among children was found to be more challenging than among adults. In addition to its use in the evaluation of our detection system, the proposed BG prediction method has great importance in the medical domain where it can contribute to improved care of patients with diabetes.

Machine Learning-Based Anomaly Detection Algorithms to Alert Patients Using Sensor Augmented Pump of Infusion Site Failures

BACKGROUND

Personal insulin pumps have shown to be effective in improving the quality of therapy for people with type 1 diabetes (T1D). However, the safety of this technology is limited by the possible infusion site failures, which are linked with hyperglycemia and ketoacidosis. Thanks to the large availability of collected data provided by modern therapeutic technologies, machine learning algorithms have the potential to provide new way to identify failures early and avert adverse events.

METHODS

A clinical dataset (N = 20) is used to evaluate a novel method for detecting real-time infusion site failures using unsupervised anomaly detection algorithms, previously proposed and developed on in-silico data. An adapted feature engineering procedure is introduced to make the method able to operate in the absence of a closed-loop (CL) system and meal announcements.

RESULTS

In the optimal configuration, we obtained a performance of 0.75 Sensitivity (15 out of 20 total failures detected) and 0.08 FP/day, outperforming previously proposed literature algorithms. The algorithm was able to anticipate the replacement of the malfunctioning infusion sets by ~2 h on average.

CONCLUSIONS

On the considered dataset, the proposed algorithm showed the potential to improve the safety of patients treated with sensor-augmented pump systems.

Fault Tolerant Strategies for Automated Insulin Delivery Considering the Human Component: Current and Future Perspectives

Automated Insulin Delivery (AID) are systems developed for daily use by people with type 1 diabetes (T1D). To ensure the safety of users, it is essential to consider how the human factor affects the performance and safety of these devices. While there are numerous publications on hardware-related failures of AID systems, there are few studies on the human component of the system. From a control point of view, people with T1D using AID systems are at the same time the plant to be controlled and the plant operator. Therefore, users may induce faults in the controller, sensors, actuators, and the plant itself. Strategies to cope with the human interaction in AID systems are needed for further development of the technology. In this paper, we present an analysis of potential faults introduced by AID users when the system is under normal operation. This is followed by a review of current fault tolerant control (FTC) approaches to identify missing areas of research. The paper concludes with a discussion on future directions for the new generation of FTC AID systems.

A Hybrid Automata Approach for Monitoring the Patient in the Loop in Artificial Pancreas Systems

The use of automated insulin delivery systems has become a reality for people with type 1 diabetes (T1D), with several hybrid systems already on the market. One of the particularities of this technology is that the patient is in the loop. People with T1D are the plant to control and also a plant operator, because they may have to provide information to the control loop. The most immediate information provided by patients that affects performance and safety are the announcement of meals and exercise. Therefore, to ensure safety and performance, the human factor impact needs to be addressed by designing fault monitoring strategies. In this paper, a monitoring system is developed to diagnose potential patient modes and faults. The monitoring system is based on the residual generation of a bank of observers. To that aim, a linear parameter varying (LPV) polytopic representation of the system is adopted and a bank of Kalman filters is designed using linear matrix inequalities (LMI). The system uncertainty is propagated using a zonotopic-set representation, which allows determining confidence bounds for each of the observer outputs and residuals. For the detection of modes, a hybrid automaton model is generated and diagnosis is performed by interpreting the events and transitions within the automaton. The developed system is tested in simulation, showing the potential benefits of using the proposed approach for artificial pancreas systems.

Wearable Glucose Monitoring and Implantable Drug Delivery Systems for Diabetes Management

The global cost of diabetes care exceeds $1 trillion each year with more than $327 billion being spent in the United States alone. Despite some of the advances in diabetes care including continuous glucose monitoring systems and insulin pumps, the technology associated with managing diabetes has largely remained unchanged over the past several decades. With the rise of wearable electronics and novel functional materials, the field is well-poised for the next generation of closed-loop diabetes care. Wearable glucose sensors implanted within diverse platforms including skin or on-tooth tattoos, skin-mounted patches, eyeglasses, contact lenses, fabrics, mouthguards, and pacifiers have enabled noninvasive, unobtrusive, and real-time analysis of glucose excursions in ambulatory care settings. These wearable glucose sensors can be integrated with implantable drug delivery systems, including an insulin pump, glucose responsive insulin release implant, and islets transplantation, to form self-regulating closed-loop systems. This review article encompasses the emerging trends and latest innovations of wearable glucose monitoring and implantable insulin delivery technologies for diabetes management with a focus on their advanced materials and construction. Perspectives on the current unmet challenges of these strategies are also discussed to motivate future technological development toward improved patient care in diabetes management.

Mathematical Models of Meal Amount and Timing Variability With Implementation in the Type-1 Diabetes Patient Decision Simulator

BACKGROUND

In type 1 diabetes (T1D) research, in-silico clinical trials (ISCTs) have proven effective in accelerating the development of new therapies. However, published simulators lack a realistic description of some aspects of patient lifestyle which can remarkably affect glucose control. In this paper, we develop a mathematical description of meal carbohydrates (CHO) amount and timing, with the aim to improve the meal generation module in the T1D Patient Decision Simulator (T1D-PDS) published in Vettoretti et al.

METHODS

Data of 32 T1D subjects under free-living conditions for 4874 days were used. Univariate probability density function (PDF) parametric models with different candidate shapes were fitted, individually, against sample distributions of: CHO amounts of breakfast (CHOB), lunch (CHOL), dinner (CHOD), and snack (CHOS); breakfast timing (TB); and time between breakfast-lunch (TBL) and between lunch-dinner (TLD). Furthermore, a support vector machine (SVM) classifier was developed to predict the occurrence of a snack in future fixed-length time windows. Once embedded inside the T1D-PDS, an ISCT was performed.

RESULTS

Resulting PDF models were: gamma (CHOB, CHOS), lognormal (CHOL, TB), loglogistic (CHOD), and generalized-extreme-values (TBL, TLD). The SVM showed a classification accuracy of 0.8 over the test set. The distributions of simulated meal data were not statistically different from the distributions of the real data used to develop the models (α = 0.05).

CONCLUSIONS

The models of meal amount and timing variability developed are suitable for describing real data. Their inclusion in modules that describe patient behavior in the T1D-PDS can permit investigators to perform more realistic, reliable, and insightful ISCTs.

The Padova Type 2 Diabetes Simulator from Triple-Tracer Single-Meal Studies: In Silico Trials Also Possible in Rare but Not-So-Rare Individuals

Background:In silico trials in type 2 diabetes (T2D) would be useful for testing diabetes treatments and accelerating the development of new antidiabetic drugs. In this study, we present a T2D simulator able to reproduce the variability observed in a T2D population. The simulator also allows to safely experiment on virtual subjects with severe (and possibly rare) pathological conditions. Methods: A meal simulation model of glucose, insulin, and C-peptide systems, made of 15 differential equations and 39 parameters, has been identified using a system decomposition and forcing function Bayesian strategy on data of 51 T2D subjects undergoing a single triple-tracer mixed meal. One hundred T2D in silico subjects have been generated from the joint distribution of estimated model parameters. A case study is presented to illustrate the simulator use for testing a virtual drug (improving insulin action and secretion) in a subpopulation of rare, extremely impaired, T2D subjects. Results: The model well fitted T2D data and parameters were estimated with precision. Simulated plasma glucose, insulin, and C-peptide well matched the data (e.g., median [25^th-75^th percentile] glucose area under the curves of 6.9 [6.1-8.5] 10⁴ mg/dL·min in silico vs. 7.0 [5.6-8.2] 10⁴ mg/dL·min in vivo). The potential use of the simulator was shown in a case study, in which the (virtual) antidiabetic drug dose was optimized for very insulin-resistant T2D subjects. Conclusions: We have developed a T2D simulator that captures the behavior of T2D population during a meal, both in terms of average and intersubject variability. The simulator represents a cost-effective way to test new antidiabetic drugs, before moving to human trials.

Data-Driven Cervical Cancer Prediction Model with Outlier Detection and Over-Sampling Methods

Globally, cervical cancer remains as the foremost prevailing cancer in females. Hence, it is necessary to distinguish the importance of risk factors of cervical cancer to classify potential patients. The present work proposes a cervical cancer prediction model (CCPM) that offers early prediction of cervical cancer using risk factors as inputs. The CCPM first removes outliers by using outlier detection methods such as density-based spatial clustering of applications with noise (DBSCAN) and isolation forest (iForest) and by increasing the number of cases in the dataset in a balanced way, for example, through synthetic minority over-sampling technique (SMOTE) and SMOTE with Tomek link (SMOTETomek). Finally, it employs random forest (RF) as a classifier. Thus, CCPM lies on four scenarios: (1) DBSCAN + SMOTETomek + RF, (2) DBSCAN + SMOTE+ RF, (3) iForest + SMOTETomek + RF, and (4) iForest + SMOTE + RF. A dataset of 858 potential patients was used to validate the performance of the proposed method. We found that combinations of iForest with SMOTE and iForest with SMOTETomek provided better performances than those of DBSCAN with SMOTE and DBSCAN with SMOTETomek. We also observed that RF performed the best among several popular machine learning classifiers. Furthermore, the proposed CCPM showed better accuracy than previously proposed methods for forecasting cervical cancer. In addition, a mobile application that can collect cervical cancer risk factors data and provides results from CCPM is developed for instant and proper action at the initial stage of cervical cancer.