Cardiac Electrical Modeling for Closed-Loop Validation of Implantable Devices.

OBJECTIVE: Evaluating and testing cardiac electrical devices in a closed-physiologic-loop can help design safety, but this is rarely practical or comprehensive. Furthermore, in silico closed-loop testing with biophysical computer models cannot meet the requirements of time-critical cardiac device systems, while simplified models meeting time-critical requirements may not have the necessary dynamic features. We propose a new high-level (abstracted) physiologically-based computational heart model that is time-critical and dynamic. METHODS: The model comprises cardiac regional cellular-electrophysiology types connected by a path model along a conduction network. The regional electrophysiology and paths are modeled with hybrid automata that capture non-linear dynamics, such as action potential and conduction velocity restitution and overdrive suppression. The hierarchy of pacemaker functions is incorporated to generate sinus rhythms, while abnormal automaticity can be introduced to form a variety of arrhythmias such as escape ectopic rhythms. Model parameters are calibrated using experimental data and prior model simulations. CONCLUSION: Regional electrophysiology and paths in the model match human action potentials, dynamic behavior, and cardiac activation sequences. Connected in closed loop with a pacing device in DDD mode, the model generates complex arrhythmia such as atrioventricular nodal reentry tachycardia. Such device-induced outcomes have been observed clinically and we can establish the key physiological features of the heart model that influence the device operation. SIGNIFICANCE: These findings demonstrate how an abstract heart model can be used for device validation and to design personalized treatment.

Closing the Loop: Validation of Implantable Cardiac Devices With Computational Heart Models.

OBJECTIVE: Cardiovascular Implantable Electronic Devices (CIEDs) are used extensively for treating life-threatening conditions such as bradycardia, atrioventricular block and heart failure. The complicated heterogeneous physical dynamics of patients provide distinct challenges to device development and validation. We address this problem by proposing a device testing framework within the in-silico closed-loop context of patient physiology. METHODS: We develop an automated framework to validate CIEDs in closed-loop with a high-level physiologically based computational heart model. The framework includes test generation, execution and evaluation, which automatically guides an integrated stochastic optimization algorithm for exploration of physiological conditions. CONCLUSION: The results show that using a closed loop device-heart model framework can achieve high system test coverage, while the heart model provides clinically relevant responses. The simulated findings of pacemaker mediated tachycardia risk evaluation agree well with the clinical observations. Furthermore, we illustrate how device programming parameter selection affects the treatment efficacy for specific physiological conditions. SIGNIFICANCE: This work demonstrates that incorporating model based closed-loop testing of CIEDs into their design provides important indications of safety and efficacy under constrained physiological conditions.

Resonant model-A new paradigm for modeling an action potential of biological cells.

Organ level simulation of bioelectric behavior in the body benefits from flexible and efficient models of cellular membrane potential. These computational organ and cell models can be used to study the impact of pharmaceutical drugs, test hypotheses, assess risk and for closed-loop validation of medical devices. To move closer to the real-time requirements of this modeling a new flexible Fourier based general membrane potential model, called as a Resonant model, is developed that is computationally inexpensive. The new model accurately reproduces non-linear potential morphologies for a variety of cell types. Specifically, the method is used to model human and rabbit sinoatrial node, human ventricular myocyte and squid giant axon electrophysiology. The Resonant models are validated with experimental data and with other published models. Dynamic changes in biological conditions are modeled with changing model coefficients and this approach enables ionic channel alterations to be captured. The Resonant model is used to simulate entrainment between competing sinoatrial node cells. These models can be easily implemented in low-cost digital hardware and an alternative, resource-efficient implementations of sine and cosine functions are presented and it is shown that a Fourier term is produced with two additions and a binary shift.

A Parametric Computational Model of the Action Potential of Pacemaker Cells.

OBJECTIVE: A flexible, efficient, and verifiable pacemaker cell model is essential to the design of real-time virtual hearts that can be used for closed-loop validation of cardiac devices. A new parametric model of pacemaker action potential is developed to address this need. METHODS: The action potential phases are modeled using hybrid automaton with one piecewise-linear continuous variable. The model can capture rate-dependent dynamics, such as action potential duration restitution, conduction velocity restitution, and overdrive suppression by incorporating nonlinear update functions. Simulated dynamics of the model compared well with previous models and clinical data. CONCLUSION: The results show that the parametric model can reproduce the electrophysiological dynamics of a variety of pacemaker cells, such as sinoatrial node, atrioventricular node, and the His-Purkinje system, under varying cardiac conditions. SIGNIFICANCE: This is an important contribution toward closed-loop validation of cardiac devices using real-time heart models.

Neural network implementation using bit streams.

A new method for the parallel hardware implementation of artificial neural networks (ANNs) using digital techniques is presented. Signals are represented using uniformly weighted single-bit streams. Techniques for generating bit streams from analog or multibit inputs are also presented. This single-bit representation offers significant advantages over multibit representations since they mitigate the fan-in and fan-out issues which are typical to distributed systems. To process these bit streams using ANNs concepts, functional elements which perform summing, scaling, and squashing have been implemented. These elements are modular and have been designed such that they can be easily interconnected. Two new architectures which act as monotonically increasing differentiable nonlinear squashing functions have also been presented. Using these functional elements, a multilayer perceptron (MLP) can be easily constructed. Two examples successfully demonstrate the use of bit streams in the implementation of ANNs. Since every functional element is individually instantiated, the implementation is genuinely parallel. The results clearly show that this bit-stream technique is viable for the hardware implementation of a variety of distributed systems and for ANNs in particular.