-
Personalized Dose Guidance using Safe Bayesian Optimization
Authors:
Dinesh Krishnamoorthy,
Francis J. Doyle III
Abstract:
This work considers the problem of personalized dose guidance using Bayesian optimization that learns the optimum drug dose tailored to each individual, thus improving therapeutic outcomes. Safe learning using interior point method ensures patient safety with high probability. This is demonstrated using the problem of learning the optimum bolus insulin dose in patients with type 1 diabetes to coun…
▽ More
This work considers the problem of personalized dose guidance using Bayesian optimization that learns the optimum drug dose tailored to each individual, thus improving therapeutic outcomes. Safe learning using interior point method ensures patient safety with high probability. This is demonstrated using the problem of learning the optimum bolus insulin dose in patients with type 1 diabetes to counteract the effect of meal consumption. Starting from no a priori information about the patients, our dose guidance algorithm is able to improve the therapeutic outcome (measured in terms of % time-in-range) without jeopardizing patient safety. Other potential healthcare applications are also discussed.
△ Less
Submitted 30 October, 2022;
originally announced October 2022.
-
Safe Bayesian Optimization using Interior-Point Methods -- Applied to Personalized Insulin Dose Guidance
Authors:
Dinesh Krishnamoorthy,
Francis J. Doyle III
Abstract:
This paper considers the problem of Bayesian optimization for systems with safety-critical constraints, where both the objective function and the constraints are unknown, but can be observed by querying the system. In safety-critical applications, querying the system at an infeasible point can have catastrophic consequences. Such systems require a safe learning framework, such that the performance…
▽ More
This paper considers the problem of Bayesian optimization for systems with safety-critical constraints, where both the objective function and the constraints are unknown, but can be observed by querying the system. In safety-critical applications, querying the system at an infeasible point can have catastrophic consequences. Such systems require a safe learning framework, such that the performance objective can be optimized while satisfying the safety-critical constraints with high probability. In this paper we propose a safe Bayesian optimization framework that ensures that the points queried are always in the interior of the partially revealed safe region, thereby guaranteeing constraint satisfaction with high probability. The proposed interior-point Bayesian optimization framework can be used with any acquisition function, making it broadly applicable. The performance of the proposed method is demonstrated using a personalized insulin dosing application for patients with type 1 diabetes.
△ Less
Submitted 4 May, 2022;
originally announced May 2022.
-
Automated Insulin Delivery for Type 1 Diabetes Mellitus Patients using Gaussian Process-based Model Predictive Control
Authors:
Lukas Ortmann,
Dawei Shi,
Eyal Dassau,
Francis J. Doyle III,
Berno J. E. Misgeld,
Steffen Leonhardt
Abstract:
The human insulin-glucose metabolism is a time-varying process, which is partly caused by the changing insulin sensitivity of the body. This insulin sensitivity follows a circadian rhythm and its effects should be anticipated by any automated insulin delivery system. This paper presents an extension of our previous work on automated insulin delivery by develo** a controller suitable for humans w…
▽ More
The human insulin-glucose metabolism is a time-varying process, which is partly caused by the changing insulin sensitivity of the body. This insulin sensitivity follows a circadian rhythm and its effects should be anticipated by any automated insulin delivery system. This paper presents an extension of our previous work on automated insulin delivery by develo** a controller suitable for humans with Type 1 Diabetes Mellitus. Furthermore, we enhance the controller with a new kernel function for the Gaussian Process and deal with noisy measurements, as well as, the noisy training data for the Gaussian Process, arising therefrom. This enables us to move the proposed control algorithm, a combination of Model Predictive Controller and a Gaussian Process, closer towards clinical application. Simulation results on the University of Virginia/Padova FDA-accepted metabolic simulator are presented for a meal schedule with random carbohydrate sizes and random times of carbohydrate uptake to show the performance of the proposed control scheme.
△ Less
Submitted 28 January, 2021;
originally announced January 2021.
-
Gaussian Process-Based Model Predictive Control of Blood Glucose for Patients with Type 1 Diabetes Mellitus
Authors:
Lukas Ortmann,
Dawei Shi,
Eyal Dassau,
Francis J. Doyle III,
Steffen Leonhardt,
Berno J. E. Misgeld
Abstract:
The insulin sensitivity (IS) of the human body changes with a circadian rhythm. This adds to the time-varying feature of the glucose metabolism process and places challenges on the blood glucose (BG) control of patients with Type 1 Diabetes Mellitus. This paper presents a Model Predictive Controller that takes the periodic IS into account, in order to enhance BG control. The future effect of the I…
▽ More
The insulin sensitivity (IS) of the human body changes with a circadian rhythm. This adds to the time-varying feature of the glucose metabolism process and places challenges on the blood glucose (BG) control of patients with Type 1 Diabetes Mellitus. This paper presents a Model Predictive Controller that takes the periodic IS into account, in order to enhance BG control. The future effect of the IS is predicted using a machine learning technique, namely, a customized Gaussian Process (GP), based on historical training data. The training data for the GP is continuously updated during closed-loop control, which enables the control scheme to learn and adapt to intra-individual and inter-individual changes of the circadian IS rhythm. The necessary state information is provided by an Unscented Kalman Filter. The closed-loop performance of the proposed control scheme is evaluated for different scenarios (including fasting, announced meals and skipped meals) through in silico studies on simulation models of Göttingen Minipigs.
△ Less
Submitted 28 January, 2021; v1 submitted 31 July, 2017;
originally announced July 2017.
-
A Coupled Stochastic Model Explains Differences in Circadian Behavior of Cry1 and Cry2 Knockouts
Authors:
John H. Abel,
Lukas A. Widmer,
Peter C. St. John,
Jörg Stelling,
Francis J. Doyle III
Abstract:
In the mammalian suprachiasmatic nucleus (SCN), a population of noisy cell-autonomous oscillators synchronizes to generate robust circadian rhythms at the organism-level. Within these cells two isoforms of Cryptochrome, Cry1 and Cry2, participate in a negative feedback loop driving circadian rhythmicity. Previous work has shown that single, dissociated SCN neurons respond differently to Cry1 and C…
▽ More
In the mammalian suprachiasmatic nucleus (SCN), a population of noisy cell-autonomous oscillators synchronizes to generate robust circadian rhythms at the organism-level. Within these cells two isoforms of Cryptochrome, Cry1 and Cry2, participate in a negative feedback loop driving circadian rhythmicity. Previous work has shown that single, dissociated SCN neurons respond differently to Cry1 and Cry2 knockouts: Cry1 knockouts are arrhythmic while Cry2 knockouts display more regular rhythms. These differences have led to speculation that CRY1 and CRY2 may play different functional roles in the oscillator. To address this proposition, we have developed a new coupled, stochastic model focused on the Period (Per) and Cry feedback loop, and incorporating intercellular coupling via vasoactive intestinal peptide (VIP). Due to the stochastic nature of molecular oscillations, we demonstrate that single-cell Cry1 knockout oscillations display partially rhythmic behavior, and cannot be classified as simply rhythmic or arrhythmic. Our model demonstrates that intrinsic molecular noise and differences in relative abundance, rather than differing functions, are sufficient to explain the range of rhythmicity encountered in Cry knockouts in the SCN. Our results further highlight the essential role of stochastic behavior in understanding and accurately modeling the circadian network and its response to perturbation.
△ Less
Submitted 22 February, 2015; v1 submitted 17 November, 2014;
originally announced November 2014.
-
Global Synchronization of Pulse-Coupled Oscillators Interacting on Cycle Graphs
Authors:
Felipe Núñez,
Yongqiang Wang,
Francis J. Doyle III
Abstract:
The importance of pulse-coupled oscillators (PCOs) in biology and engineering has motivated research to understand basic properties of PCO networks. Despite the large body of work addressing PCOs, a global synchronization result for networks that are more general than all-to-all connected is still unavailable. In this paper we address global synchronization of PCO networks described by cycle graph…
▽ More
The importance of pulse-coupled oscillators (PCOs) in biology and engineering has motivated research to understand basic properties of PCO networks. Despite the large body of work addressing PCOs, a global synchronization result for networks that are more general than all-to-all connected is still unavailable. In this paper we address global synchronization of PCO networks described by cycle graphs. It is shown for the bidirectional cycle case that as the number of oscillators in the cycle grows, the coupling strength must be increased in order to guarantee synchronization for arbitrary initial conditions. For the unidirectional cycle case, the strongest coupling cannot ensure global synchronization yet a refractory period in the phase response curve is sufficient to enable global synchronization. Analytical findings are confirmed by numerical simulations.
△ Less
Submitted 9 March, 2014;
originally announced March 2014.
-
Collective oscillation period of inter-coupled biological negative cyclic feedback oscillators
Authors:
Yongqiang Wang,
Yutaka Hori,
Shinji Hara,
Francis J. Doyle III
Abstract:
A number of biological rhythms originate from networks comprised of multiple cellular oscillators. But analytical results are still lacking on the collective oscillation period of inter-coupled gene regulatory oscillators, which, as has been reported, may be different from that of an autonomous oscillator. Based on cyclic feedback oscillators, we analyze the collective oscillation pattern of coupl…
▽ More
A number of biological rhythms originate from networks comprised of multiple cellular oscillators. But analytical results are still lacking on the collective oscillation period of inter-coupled gene regulatory oscillators, which, as has been reported, may be different from that of an autonomous oscillator. Based on cyclic feedback oscillators, we analyze the collective oscillation pattern of coupled cellular oscillators. First we give a condition under which the oscillator network exhibits oscillatory and synchronized behavior. Then we estimate the collective oscillation period based on a novel multivariable harmonic balance technique. Analytical results are derived in terms of biochemical parameters, thus giving insight into the basic mechanism of biological oscillation and providing guidance in synthetic biology design.
△ Less
Submitted 25 February, 2014; v1 submitted 22 February, 2014;
originally announced February 2014.
-
Increasing sync rate of pulse-coupled oscillators via phase response function design: theory and application to wireless networks
Authors:
Yongqiang Wang,
Felipe Nunez,
Francis J. Doyle III
Abstract:
This paper addresses the synchronization rate of weakly connected pulse-coupled oscillators (PCOs). We prove that besides coupling strength, the phase response function is also a determinant of synchronization rate. Inspired by the result, we propose to increase the synchronization rate of PCOs by designing the phase response function. This has important significance in PCO-based clock synchroniza…
▽ More
This paper addresses the synchronization rate of weakly connected pulse-coupled oscillators (PCOs). We prove that besides coupling strength, the phase response function is also a determinant of synchronization rate. Inspired by the result, we propose to increase the synchronization rate of PCOs by designing the phase response function. This has important significance in PCO-based clock synchronization of wireless networks. By designing the phase response function, synchronization rate is increased even under a fixed transmission power. Given that energy consumption in synchronization is determined by the product of synchronization time and transformation power, the new strategy reduces energy consumption in clock synchronization. QualNet experiments confirm the theoretical results.
△ Less
Submitted 4 September, 2012;
originally announced September 2012.
-
Exponential synchronization rate of Kuramoto oscillators in the presence of a pacemaker
Authors:
Yongqiang Wang,
Francis J. Doyle III
Abstract:
The exponential synchronization rate is addressed for Kuramoto oscillators in the presence of a pacemaker. When natural frequencies are identical, we prove that synchronization can be ensured even when the phases are not constrained in an open half-circle, which improves the existing results in the literature. We derive a lower bound on the exponential synchronization rate, which is proven to be a…
▽ More
The exponential synchronization rate is addressed for Kuramoto oscillators in the presence of a pacemaker. When natural frequencies are identical, we prove that synchronization can be ensured even when the phases are not constrained in an open half-circle, which improves the existing results in the literature. We derive a lower bound on the exponential synchronization rate, which is proven to be an increasing function of pacemaker strength, but may be an increasing or decreasing function of local coupling strength. A similar conclusion is obtained for phase locking when the natural frequencies are non-identical. An approach to trap** phase differences in an arbitrary interval is also given, which ensures synchronization in the sense that synchronization error can be reduced to an arbitrary level.
△ Less
Submitted 4 September, 2012;
originally announced September 2012.
-
The collective oscillation period of inter-coupled Goodwin oscillators
Authors:
Yongqiang Wang,
Yutaka Hori,
Shinji Hara,
Francis J. Doyle III
Abstract:
Many biological oscillators are arranged in networks composed of many inter-coupled cellular oscillators. However, results are still lacking on the collective oscillation period of inter-coupled gene regulatory oscillators, which, as has been reported, may be different from the oscillation period of an autonomous cellular oscillator. Based on the Goodwin oscillator, we analyze the collective oscil…
▽ More
Many biological oscillators are arranged in networks composed of many inter-coupled cellular oscillators. However, results are still lacking on the collective oscillation period of inter-coupled gene regulatory oscillators, which, as has been reported, may be different from the oscillation period of an autonomous cellular oscillator. Based on the Goodwin oscillator, we analyze the collective oscillation pattern of coupled cellular oscillator networks. First we give a condition under which the oscillator network exhibits oscillatory and synchronized behavior, then we estimate the collective oscillation period based on a multivariable harmonic balance technique. Analytical results are derived in terms of biochemical parameters, thus giving insight into the basic mechanism of biological oscillation and providing guidance in synthetic biology design. Simulation results are given to confirm the theoretical predictions.
△ Less
Submitted 4 June, 2012; v1 submitted 6 March, 2012;
originally announced March 2012.