1
|
Nieto Ramos A, Fenton FH, Cherry EM. Bayesian inference for fitting cardiac models to experiments: estimating parameter distributions using Hamiltonian Monte Carlo and approximate Bayesian computation. Med Biol Eng Comput 2023; 61:75-95. [PMID: 36322242 DOI: 10.1007/s11517-022-02685-y] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [Key Words] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 04/15/2022] [Accepted: 10/02/2022] [Indexed: 01/07/2023]
Abstract
Customization of cardiac action potential models has become increasingly important with the recognition of patient-specific models and virtual patient cohorts as valuable predictive tools. Nevertheless, developing customized models by fitting parameters to data poses technical and methodological challenges: despite noise and variability associated with real-world datasets, traditional optimization methods produce a single "best-fit" set of parameter values. Bayesian estimation methods seek distributions of parameter values given the data by obtaining samples from the target distribution, but in practice widely known Bayesian algorithms like Markov chain Monte Carlo tend to be computationally inefficient and scale poorly with the dimensionality of parameter space. In this paper, we consider two computationally efficient Bayesian approaches: the Hamiltonian Monte Carlo (HMC) algorithm and the approximate Bayesian computation sequential Monte Carlo (ABC-SMC) algorithm. We find that both methods successfully identify distributions of model parameters for two cardiac action potential models using model-derived synthetic data and an experimental dataset from a zebrafish heart. Although both methods appear to converge to the same distribution family and are computationally efficient, HMC generally finds narrower marginal distributions, while ABC-SMC is less sensitive to the algorithmic settings including the prior distribution.
Collapse
Affiliation(s)
- Alejandro Nieto Ramos
- School of Mathematical Sciences, Rochester Institute of Technology, 1 Lomb Memorial Drive, 14623, Rochester, NY, USA.,Epilepsy Center, Neurological Institute, Cleveland Clinic, 9500 Euclid Avenue, Cleveland, OH, 44195, USA
| | - Flavio H Fenton
- School of Physics, Georgia Institute of Technology, 837 State Street NW, 30332, Atlanta, GA, USA
| | - Elizabeth M Cherry
- School of Computational Science and Engineering, Georgia Institute of Technology, 756 West Peachtree Street, 30308, Atlanta, GA, USA.
| |
Collapse
|
2
|
Valle JAM, Madureira AL. Parameter Identification Problem in the Hodgkin-Huxley Model. Neural Comput 2022; 34:939-970. [PMID: 35231934 DOI: 10.1162/neco_a_01487] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 01/04/2021] [Accepted: 11/16/2021] [Indexed: 11/04/2022]
Abstract
The Hodgkin-Huxley (H-H) landmark model is described by a system of four nonlinear differential equations that describes how action potentials in neurons are initiated and propagated. However, obtaining some of the parameters of the model requires a tedious combination of experiments and data tuning. In this letter, we propose the use of a minimal error iteration method to estimate some of the parameters in the H-H model, given the measurements of membrane potential. We provide numerical results showing that the approach approximates well some of the model's parameters, using the measured voltage as data, even in the presence of noise.
Collapse
|
3
|
Naudin L, Corson N, Aziz-Alaoui MA, Jiménez Laredo JL, Démare T. On the Modeling of the Three Types of Non-spiking Neurons of the Caenorhabditis elegans. Int J Neural Syst 2020; 31:2050063. [PMID: 33269660 DOI: 10.1142/s012906572050063x] [Citation(s) in RCA: 2] [Impact Index Per Article: 0.5] [Reference Citation Analysis] [Abstract] [Key Words] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/18/2022]
Abstract
The nematode Caenorhabditis elegans (C. elegans) is a well-known model organism in neuroscience. The relative simplicity of its nervous system, made up of few hundred neurons, shares some essential features with more sophisticated nervous systems, including the human one. If we are able to fully characterize the nervous system of this organism, we will be one step closer to understanding the mechanisms underlying the behavior of living things. Following a recently conducted electrophysiological survey on different C. elegans neurons, this paper aims at modeling the three non-spiking RIM, AIY and AFD neurons (arbitrarily named with three upper case letters by convention). To date, they represent the three possible forms of non-spiking neuronal responses of the C. elegans. To achieve this objective, we propose a conductance-based neuron model adapted to the electrophysiological features of each neuron. These features are based on current biological research and a series of in-silico experiments which use differential evolution to fit the model to experimental data. From the obtained results, we formulate a series of biological hypotheses regarding currents involved in the neuron dynamics. These models reproduce experimental data with a high degree of accuracy while being biologically consistent with state-of-the-art research.
Collapse
Affiliation(s)
- Loïs Naudin
- Normandie Univ, UNIHAVRE, LMAH, FR-CNRS-3335, ISCN, Le Havre 76600, France
| | - Nathalie Corson
- Normandie Univ, UNIHAVRE, LMAH, FR-CNRS-3335, ISCN, Le Havre 76600, France
| | - M A Aziz-Alaoui
- Normandie Univ, UNIHAVRE, LMAH, FR-CNRS-3335, ISCN, Le Havre 76600, France
| | | | - Thibaut Démare
- Normandie Univ, UNIHAVRE, LITIS, FR-CNRS-3638, ISCN, Le Havre 76600, France
| |
Collapse
|
4
|
Latimer KW, Fairhall AL. Capturing Multiple Timescales of Adaptation to Second-Order Statistics With Generalized Linear Models: Gain Scaling and Fractional Differentiation. Front Syst Neurosci 2020; 14:60. [PMID: 33013331 PMCID: PMC7509073 DOI: 10.3389/fnsys.2020.00060] [Citation(s) in RCA: 4] [Impact Index Per Article: 1.0] [Reference Citation Analysis] [Abstract] [Key Words] [Track Full Text] [Download PDF] [Figures] [Journal Information] [Subscribe] [Scholar Register] [Received: 01/13/2020] [Accepted: 07/23/2020] [Indexed: 11/13/2022] Open
Abstract
Single neurons can dynamically change the gain of their spiking responses to take into account shifts in stimulus variance. Moreover, gain adaptation can occur across multiple timescales. Here, we examine the ability of a simple statistical model of spike trains, the generalized linear model (GLM), to account for these adaptive effects. The GLM describes spiking as a Poisson process whose rate depends on a linear combination of the stimulus and recent spike history. The GLM successfully replicates gain scaling observed in Hodgkin-Huxley simulations of cortical neurons that occurs when the ratio of spike-generating potassium and sodium conductances approaches one. Gain scaling in the GLM depends on the length and shape of the spike history filter. Additionally, the GLM captures adaptation that occurs over multiple timescales as a fractional derivative of the stimulus envelope, which has been observed in neurons that include long timescale afterhyperpolarization conductances. Fractional differentiation in GLMs requires long spike history that span several seconds. Together, these results demonstrate that the GLM provides a tractable statistical approach for examining single-neuron adaptive computations in response to changes in stimulus variance.
Collapse
Affiliation(s)
- Kenneth W Latimer
- Department of Neurobiology, University of Chicago, Chicago, IL, United States
| | - Adrienne L Fairhall
- Department of Physiology & Biophysics, University of Washington, Seattle, WA, United States
| |
Collapse
|
5
|
Estimation of neuron parameters from imperfect observations. PLoS Comput Biol 2020; 16:e1008053. [PMID: 32673311 PMCID: PMC7386621 DOI: 10.1371/journal.pcbi.1008053] [Citation(s) in RCA: 2] [Impact Index Per Article: 0.5] [Reference Citation Analysis] [Abstract] [Track Full Text] [Download PDF] [Figures] [Journal Information] [Subscribe] [Scholar Register] [Received: 01/10/2020] [Revised: 07/28/2020] [Accepted: 06/15/2020] [Indexed: 12/21/2022] Open
Abstract
The estimation of parameters controlling the electrical properties of biological neurons is essential to determine their complement of ion channels and to understand the function of biological circuits. By synchronizing conductance models to time series observations of the membrane voltage, one may construct models capable of predicting neuronal dynamics. However, identifying the actual set of parameters of biological ion channels remains a formidable theoretical challenge. Here, we present a regularization method that improves convergence towards this optimal solution when data are noisy and the model is unknown. Our method relies on the existence of an offset in parameter space arising from the interplay between model nonlinearity and experimental error. By tuning this offset, we induce saddle-node bifurcations from sub-optimal to optimal solutions. This regularization method increases the probability of finding the optimal set of parameters from 67% to 94.3%. We also reduce parameter correlations by implementing adaptive sampling and stimulation protocols compatible with parameter identifiability requirements. Our results show that the optimal model parameters may be inferred from imperfect observations provided the conditions of observability and identifiability are fulfilled.
Collapse
|
6
|
Whittaker DG, Clerx M, Lei CL, Christini DJ, Mirams GR. Calibration of ionic and cellular cardiac electrophysiology models. WILEY INTERDISCIPLINARY REVIEWS. SYSTEMS BIOLOGY AND MEDICINE 2020; 12:e1482. [PMID: 32084308 PMCID: PMC8614115 DOI: 10.1002/wsbm.1482] [Citation(s) in RCA: 41] [Impact Index Per Article: 10.3] [Reference Citation Analysis] [Abstract] [Key Words] [MESH Headings] [Grants] [Track Full Text] [Download PDF] [Figures] [Subscribe] [Scholar Register] [Received: 10/30/2019] [Revised: 01/17/2020] [Accepted: 01/18/2020] [Indexed: 12/30/2022]
Abstract
Cardiac electrophysiology models are among the most mature and well-studied mathematical models of biological systems. This maturity is bringing new challenges as models are being used increasingly to make quantitative rather than qualitative predictions. As such, calibrating the parameters within ion current and action potential (AP) models to experimental data sets is a crucial step in constructing a predictive model. This review highlights some of the fundamental concepts in cardiac model calibration and is intended to be readily understood by computational and mathematical modelers working in other fields of biology. We discuss the classic and latest approaches to calibration in the electrophysiology field, at both the ion channel and cellular AP scales. We end with a discussion of the many challenges that work to date has raised and the need for reproducible descriptions of the calibration process to enable models to be recalibrated to new data sets and built upon for new studies. This article is categorized under: Analytical and Computational Methods > Computational Methods Physiology > Mammalian Physiology in Health and Disease Models of Systems Properties and Processes > Cellular Models.
Collapse
Affiliation(s)
- Dominic G. Whittaker
- Centre for Mathematical Medicine & Biology, School of Mathematical SciencesUniversity of NottinghamNottinghamUK
| | - Michael Clerx
- Computational Biology & Health Informatics, Department of Computer ScienceUniversity of OxfordOxfordUK
| | - Chon Lok Lei
- Computational Biology & Health Informatics, Department of Computer ScienceUniversity of OxfordOxfordUK
| | | | - Gary R. Mirams
- Centre for Mathematical Medicine & Biology, School of Mathematical SciencesUniversity of NottinghamNottinghamUK
| |
Collapse
|
7
|
Houston C, Marchand B, Engelbert L, Cantwell CD. Reducing complexity and unidentifiability when modelling human atrial cells. PHILOSOPHICAL TRANSACTIONS. SERIES A, MATHEMATICAL, PHYSICAL, AND ENGINEERING SCIENCES 2020. [PMID: 32448063 DOI: 10.5061/dryad.p2ngf1vmc] [Citation(s) in RCA: 1] [Impact Index Per Article: 0.3] [Reference Citation Analysis] [Abstract] [Key Words] [MESH Headings] [Grants] [Subscribe] [Scholar Register] [Indexed: 05/10/2023]
Abstract
Mathematical models of a cellular action potential (AP) in cardiac modelling have become increasingly complex, particularly in gating kinetics, which control the opening and closing of individual ion channel currents. As cardiac models advance towards use in personalized medicine to inform clinical decision-making, it is critical to understand the uncertainty hidden in parameter estimates from their calibration to experimental data. This study applies approximate Bayesian computation to re-calibrate the gating kinetics of four ion channels in two existing human atrial cell models to their original datasets, providing a measure of uncertainty and indication of potential issues with selecting a single unique value given the available experimental data. Two approaches are investigated to reduce the uncertainty present: re-calibrating the models to a more complete dataset and using a less complex formulation with fewer parameters to constrain. The re-calibrated models are inserted back into the full cell model to study the overall effect on the AP. The use of more complete datasets does not eliminate uncertainty present in parameter estimates. The less complex model, particularly for the fast sodium current, gave a better fit to experimental data alongside lower parameter uncertainty and improved computational speed. This article is part of the theme issue 'Uncertainty quantification in cardiac and cardiovascular modelling and simulation'.
Collapse
Affiliation(s)
- C Houston
- ElectroCardioMaths Programme, Centre for Cardiac Engineering, Imperial College, London, UK
- Department of Aeronautics, Imperial College, London, UK
| | - B Marchand
- Department of Aeronautics, Imperial College, London, UK
| | - L Engelbert
- Department of Aeronautics, Imperial College, London, UK
| | - C D Cantwell
- ElectroCardioMaths Programme, Centre for Cardiac Engineering, Imperial College, London, UK
- Department of Aeronautics, Imperial College, London, UK
| |
Collapse
|
8
|
Houston C, Marchand B, Engelbert L, Cantwell CD. Reducing complexity and unidentifiability when modelling human atrial cells. PHILOSOPHICAL TRANSACTIONS. SERIES A, MATHEMATICAL, PHYSICAL, AND ENGINEERING SCIENCES 2020; 378:20190339. [PMID: 32448063 PMCID: PMC7287336 DOI: 10.1098/rsta.2019.0339] [Citation(s) in RCA: 3] [Impact Index Per Article: 0.8] [Reference Citation Analysis] [Abstract] [Key Words] [MESH Headings] [Grants] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 05/07/2023]
Abstract
Mathematical models of a cellular action potential (AP) in cardiac modelling have become increasingly complex, particularly in gating kinetics, which control the opening and closing of individual ion channel currents. As cardiac models advance towards use in personalized medicine to inform clinical decision-making, it is critical to understand the uncertainty hidden in parameter estimates from their calibration to experimental data. This study applies approximate Bayesian computation to re-calibrate the gating kinetics of four ion channels in two existing human atrial cell models to their original datasets, providing a measure of uncertainty and indication of potential issues with selecting a single unique value given the available experimental data. Two approaches are investigated to reduce the uncertainty present: re-calibrating the models to a more complete dataset and using a less complex formulation with fewer parameters to constrain. The re-calibrated models are inserted back into the full cell model to study the overall effect on the AP. The use of more complete datasets does not eliminate uncertainty present in parameter estimates. The less complex model, particularly for the fast sodium current, gave a better fit to experimental data alongside lower parameter uncertainty and improved computational speed. This article is part of the theme issue 'Uncertainty quantification in cardiac and cardiovascular modelling and simulation'.
Collapse
Affiliation(s)
- C. Houston
- ElectroCardioMaths Programme, Centre for Cardiac Engineering, Imperial College, London, UK
- Department of Aeronautics, Imperial College, London, UK
- e-mail:
| | - B. Marchand
- Department of Aeronautics, Imperial College, London, UK
| | - L. Engelbert
- Department of Aeronautics, Imperial College, London, UK
| | - C. D. Cantwell
- ElectroCardioMaths Programme, Centre for Cardiac Engineering, Imperial College, London, UK
- Department of Aeronautics, Imperial College, London, UK
| |
Collapse
|
9
|
Daly AC, Gavaghan D, Cooper J, Tavener S. Inference-based assessment of parameter identifiability in nonlinear biological models. J R Soc Interface 2019; 15:rsif.2018.0318. [PMID: 30021928 DOI: 10.1098/rsif.2018.0318] [Citation(s) in RCA: 15] [Impact Index Per Article: 3.0] [Reference Citation Analysis] [Abstract] [Key Words] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 05/08/2018] [Accepted: 06/21/2018] [Indexed: 11/12/2022] Open
Abstract
As systems approaches to the development of biological models become more mature, attention is increasingly focusing on the problem of inferring parameter values within those models from experimental data. However, particularly for nonlinear models, it is not obvious, either from inspection of the model or from the experimental data, that the inverse problem of parameter fitting will have a unique solution, or even a non-unique solution that constrains the parameters to lie within a plausible physiological range. Where parameters cannot be constrained they are termed 'unidentifiable'. We focus on gaining insight into the causes of unidentifiability using inference-based methods, and compare a recently developed measure-theoretic approach to inverse sensitivity analysis to the popular Markov chain Monte Carlo and approximate Bayesian computation techniques for Bayesian inference. All three approaches map the uncertainty in quantities of interest in the output space to the probability of sets of parameters in the input space. The geometry of these sets demonstrates how unidentifiability can be caused by parameter compensation and provides an intuitive approach to inference-based experimental design.
Collapse
Affiliation(s)
- Aidan C Daly
- Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford OX1 3QD, UK
| | - David Gavaghan
- Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford OX1 3QD, UK
| | - Jonathan Cooper
- Research IT Services, University College London, Gower Street, London WC1E 6BT, UK
| | - Simon Tavener
- Department of Mathematics, Colorado State University, Fort Collins, CO 80523, USA
| |
Collapse
|
10
|
Deerasooriya Y, Berecki G, Kaplan D, Forster IC, Halgamuge S, Petrou S. Estimating neuronal conductance model parameters using dynamic action potential clamp. J Neurosci Methods 2019; 325:108326. [PMID: 31265869 DOI: 10.1016/j.jneumeth.2019.108326] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [Key Words] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 03/27/2019] [Revised: 06/27/2019] [Accepted: 06/28/2019] [Indexed: 10/26/2022]
Abstract
BACKGROUND Parameterization of neuronal membrane conductance models relies on data acquired from current clamp (CC) or voltage clamp (VC) recordings. Although the CC approach provides key information on a neuron's firing properties, it is often difficult to disentangle the influence of multiple conductances that contribute to the excitation properties of a real neuron. Isolation of a single conductance using pharmacological agents or heterologous expression simplifies analysis but requires extensive VC evaluation to explore the complete state behavior of the channel of interest. NEW METHOD We present an improved parameterization approach that uses data derived from dynamic action potential clamp (DAPC) recordings to extract conductance equation parameters. We demonstrate the utility of the approach by applying it to the standard Hodgkin-Huxley conductance model although other conductance models could be easily incorporated as well. RESULTS Using a fully simulated setup we show that, with as few as five action potentials previously recorded in DAPC mode, sodium conductance equation parameters can be determined with average parameter errors of less than 4% while action potential firing accuracy approaches 100%. In real DAPC experiments, we show that by "training" our model with five or fewer action potentials, subsequent firing lasting for several seconds could be predicted with ˜96% mean firing rate accuracy and 94% temporal overlap accuracy. COMPARISON WITH EXISTING METHODS Our DAPC-based approach surpasses the accuracy of VC-based approaches for extracting conductance equation parameters with a significantly reduced temporal overhead. CONCLUSION DAPC-based approach will facilitate the rapid and systematic characterization of neuronal channelopathies.
Collapse
Affiliation(s)
- Y Deerasooriya
- Department of Mechanical Engineering, The University of Melbourne, Parkville, Victoria, Australia
| | - G Berecki
- Ion Channels and Disease Group, The Florey Institute of Neuroscience and Mental Health, The University of Melbourne, Parkville, Victoria, Australia
| | - D Kaplan
- Ion Channels and Disease Group, The Florey Institute of Neuroscience and Mental Health, The University of Melbourne, Parkville, Victoria, Australia
| | - I C Forster
- Ion Channels and Disease Group, The Florey Institute of Neuroscience and Mental Health, The University of Melbourne, Parkville, Victoria, Australia
| | - S Halgamuge
- Department of Mechanical Engineering, The University of Melbourne, Parkville, Victoria, Australia; Research School of Engineering, College of Engineering & Computer Science, The Australian National University, Canberra, Australian Capital Territory, Australia
| | - S Petrou
- Ion Channels and Disease Group, The Florey Institute of Neuroscience and Mental Health, The University of Melbourne, Parkville, Victoria, Australia; Department of Medicine, Royal Melbourne Hospital, The University of Melbourne, Parkville, Victoria, Australia; ARC Centre for Integrated Brain Function, The University of Melbourne, Parkville, Victoria, Australia.
| |
Collapse
|
11
|
Narayanan V, Li JS, Ching S. Biophysically interpretable inference of single neuron dynamics. J Comput Neurosci 2019; 47:61-76. [PMID: 31468241 DOI: 10.1007/s10827-019-00723-7] [Citation(s) in RCA: 1] [Impact Index Per Article: 0.2] [Reference Citation Analysis] [Abstract] [Key Words] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 02/12/2019] [Revised: 07/22/2019] [Accepted: 07/26/2019] [Indexed: 10/26/2022]
Abstract
Identification of key ionic channel contributors to the overall dynamics of a neuron is an important problem in experimental neuroscience. Such a problem is challenging since even in the best cases, identification relies on noisy recordings of membrane potential only, and strict inversion to the constituent channel dynamics is mathematically ill-posed. In this work, we develop a biophysically interpretable, learning-based strategy for data-driven inference of neuronal dynamics. In particular, we propose two optimization frameworks to learn and approximate neural dynamics from an observed voltage trajectory. In both the proposed strategies, the membrane potential dynamics are approximated as a weighted sum of ionic currents. In the first strategy, the ionic currents are represented using voltage dependent channel conductances and membrane potential in a parametric form, while in the second strategy, the currents are represented as a linear combination of generic basis functions. A library of channel activation/inactivation and time-constant curves describing prototypical channel kinetics are used to provide estimates of the channel variables to approximate the ionic currents. Finally, a linear optimization problem is solved to infer the weights/scaling variables in the membrane-potential dynamics. In the first strategy, the weights can be used to recover the channel conductances, and the reversal potentials while in the second strategy, using the estimated weights, active channels can be inferred and the trajectory of the gating variables are recovered, allowing for biophysically salient inference. Our results suggest that the complex nonlinear behavior of the neural dynamics over a range of temporal scales can be efficiently inferred in a data-driven manner from noisy membrane potential recordings.
Collapse
Affiliation(s)
- Vignesh Narayanan
- Department of Electrical and Systems Engineering, Washington University in St. Louis, St. Louis, MO, USA.
| | - Jr-Shin Li
- Department of Electrical and Systems Engineering, Washington University in St. Louis, St. Louis, MO, USA
| | - ShiNung Ching
- Department of Electrical and Systems Engineering, Washington University in St. Louis, St. Louis, MO, USA
| |
Collapse
|
12
|
Clerx M, Beattie KA, Gavaghan DJ, Mirams GR. Four Ways to Fit an Ion Channel Model. Biophys J 2019; 117:2420-2437. [PMID: 31493859 PMCID: PMC6990153 DOI: 10.1016/j.bpj.2019.08.001] [Citation(s) in RCA: 35] [Impact Index Per Article: 7.0] [Reference Citation Analysis] [Abstract] [Track Full Text] [Download PDF] [Figures] [Journal Information] [Subscribe] [Scholar Register] [Received: 04/15/2019] [Revised: 06/20/2019] [Accepted: 08/01/2019] [Indexed: 12/16/2022] Open
Abstract
Mathematical models of ionic currents are used to study the electrophysiology of the heart, brain, gut, and several other organs. Increasingly, these models are being used predictively in the clinic, for example, to predict the risks and results of genetic mutations, pharmacological treatments, or surgical procedures. These safety-critical applications depend on accurate characterization of the underlying ionic currents. Four different methods can be found in the literature to fit voltage-sensitive ion channel models to whole-cell current measurements: method 1, fitting model equations directly to time-constant, steady-state, and I-V summary curves; method 2, fitting by comparing simulated versions of these summary curves to their experimental counterparts; method 3, fitting to the current traces themselves from a range of protocols; and method 4, fitting to a single current trace from a short and rapidly fluctuating voltage-clamp protocol. We compare these methods using a set of experiments in which hERG1a current was measured in nine Chinese hamster ovary cells. In each cell, the same sequence of fitting protocols was applied, as well as an independent validation protocol. We show that methods 3 and 4 provide the best predictions on the independent validation set and that short, rapidly fluctuating protocols like that used in method 4 can replace much longer conventional protocols without loss of predictive ability. Although data for method 2 are most readily available from the literature, we find it performs poorly compared to methods 3 and 4 both in accuracy of predictions and computational efficiency. Our results demonstrate how novel experimental and computational approaches can improve the quality of model predictions in safety-critical applications.
Collapse
Affiliation(s)
- Michael Clerx
- Computational Biology & Health Informatics, Department of Computer Science, University of Oxford, Oxford, United Kingdom
| | - Kylie A Beattie
- Computational Biology & Health Informatics, Department of Computer Science, University of Oxford, Oxford, United Kingdom
| | - David J Gavaghan
- Computational Biology & Health Informatics, Department of Computer Science, University of Oxford, Oxford, United Kingdom
| | - Gary R Mirams
- Centre for Mathematical Medicine & Biology, School of Mathematical Sciences, University of Nottingham, Nottingham, United Kingdom.
| |
Collapse
|
13
|
Reproducible model development in the cardiac electrophysiology Web Lab. PROGRESS IN BIOPHYSICS AND MOLECULAR BIOLOGY 2018; 139:3-14. [PMID: 29842853 PMCID: PMC6288479 DOI: 10.1016/j.pbiomolbio.2018.05.011] [Citation(s) in RCA: 16] [Impact Index Per Article: 2.7] [Reference Citation Analysis] [Abstract] [Track Full Text] [Figures] [Subscribe] [Scholar Register] [Received: 01/31/2018] [Revised: 05/01/2018] [Accepted: 05/23/2018] [Indexed: 12/18/2022]
Abstract
The modelling of the electrophysiology of cardiac cells is one of the most mature areas of systems biology. This extended concentration of research effort brings with it new challenges, foremost among which is that of choosing which of these models is most suitable for addressing a particular scientific question. In a previous paper, we presented our initial work in developing an online resource for the characterisation and comparison of electrophysiological cell models in a wide range of experimental scenarios. In that work, we described how we had developed a novel protocol language that allowed us to separate the details of the mathematical model (the majority of cardiac cell models take the form of ordinary differential equations) from the experimental protocol being simulated. We developed a fully-open online repository (which we termed the Cardiac Electrophysiology Web Lab) which allows users to store and compare the results of applying the same experimental protocol to competing models. In the current paper we describe the most recent and planned extensions of this work, focused on supporting the process of model building from experimental data. We outline the necessary work to develop a machine-readable language to describe the process of inferring parameters from wet lab datasets, and illustrate our approach through a detailed example of fitting a model of the hERG channel using experimental data. We conclude by discussing the future challenges in making further progress in this domain towards our goal of facilitating a fully reproducible approach to the development of cardiac cell models.
Collapse
|
14
|
Daly AC, Cooper J, Gavaghan DJ, Holmes C. Comparing two sequential Monte Carlo samplers for exact and approximate Bayesian inference on biological models. J R Soc Interface 2018; 14:rsif.2017.0340. [PMID: 28931636 DOI: 10.1098/rsif.2017.0340] [Citation(s) in RCA: 8] [Impact Index Per Article: 1.3] [Reference Citation Analysis] [Abstract] [Key Words] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 05/09/2017] [Accepted: 08/29/2017] [Indexed: 11/12/2022] Open
Abstract
Bayesian methods are advantageous for biological modelling studies due to their ability to quantify and characterize posterior variability in model parameters. When Bayesian methods cannot be applied, due either to non-determinism in the model or limitations on system observability, approximate Bayesian computation (ABC) methods can be used to similar effect, despite producing inflated estimates of the true posterior variance. Owing to generally differing application domains, there are few studies comparing Bayesian and ABC methods, and thus there is little understanding of the properties and magnitude of this uncertainty inflation. To address this problem, we present two popular strategies for ABC sampling that we have adapted to perform exact Bayesian inference, and compare them on several model problems. We find that one sampler was impractical for exact inference due to its sensitivity to a key normalizing constant, and additionally highlight sensitivities of both samplers to various algorithmic parameters and model conditions. We conclude with a study of the O'Hara-Rudy cardiac action potential model to quantify the uncertainty amplification resulting from employing ABC using a set of clinically relevant biomarkers. We hope that this work serves to guide the implementation and comparative assessment of Bayesian and ABC sampling techniques in biological models.
Collapse
Affiliation(s)
- Aidan C Daly
- Department of Computer Science, University of Oxford, Oxford, UK
| | | | - David J Gavaghan
- Department of Computer Science, University of Oxford, Oxford, UK
| | - Chris Holmes
- Department of Statistics, University of Oxford, Oxford, UK
| |
Collapse
|
15
|
Pathmanathan P, Gray RA. Validation and Trustworthiness of Multiscale Models of Cardiac Electrophysiology. Front Physiol 2018; 9:106. [PMID: 29497385 PMCID: PMC5818422 DOI: 10.3389/fphys.2018.00106] [Citation(s) in RCA: 32] [Impact Index Per Article: 5.3] [Reference Citation Analysis] [Abstract] [Key Words] [Track Full Text] [Download PDF] [Figures] [Journal Information] [Subscribe] [Scholar Register] [Received: 11/01/2017] [Accepted: 01/31/2018] [Indexed: 02/06/2023] Open
Abstract
Computational models of cardiac electrophysiology have a long history in basic science applications and device design and evaluation, but have significant potential for clinical applications in all areas of cardiovascular medicine, including functional imaging and mapping, drug safety evaluation, disease diagnosis, patient selection, and therapy optimisation or personalisation. For all stakeholders to be confident in model-based clinical decisions, cardiac electrophysiological (CEP) models must be demonstrated to be trustworthy and reliable. Credibility, that is, the belief in the predictive capability, of a computational model is primarily established by performing validation, in which model predictions are compared to experimental or clinical data. However, there are numerous challenges to performing validation for highly complex multi-scale physiological models such as CEP models. As a result, credibility of CEP model predictions is usually founded upon a wide range of distinct factors, including various types of validation results, underlying theory, evidence supporting model assumptions, evidence from model calibration, all at a variety of scales from ion channel to cell to organ. Consequently, it is often unclear, or a matter for debate, the extent to which a CEP model can be trusted for a given application. The aim of this article is to clarify potential rationale for the trustworthiness of CEP models by reviewing evidence that has been (or could be) presented to support their credibility. We specifically address the complexity and multi-scale nature of CEP models which makes traditional model evaluation difficult. In addition, we make explicit some of the credibility justification that we believe is implicitly embedded in the CEP modeling literature. Overall, we provide a fresh perspective to CEP model credibility, and build a depiction and categorisation of the wide-ranging body of credibility evidence for CEP models. This paper also represents a step toward the extension of model evaluation methodologies that are currently being developed by the medical device community, to physiological models.
Collapse
Affiliation(s)
- Pras Pathmanathan
- Office of Science and Engineering Laboratories, Center for Devices and Radiological Health, U.S. Food and Drug Administration, Silver Spring, MD, United States
| | | |
Collapse
|
16
|
Carro J, Rodríguez-Matas JF, Monasterio V, Pueyo E. Limitations in electrophysiological model development and validation caused by differences between simulations and experimental protocols. PROGRESS IN BIOPHYSICS AND MOLECULAR BIOLOGY 2016; 129:53-64. [PMID: 27899270 DOI: 10.1016/j.pbiomolbio.2016.11.006] [Citation(s) in RCA: 4] [Impact Index Per Article: 0.5] [Reference Citation Analysis] [Abstract] [Key Words] [Track Full Text] [Subscribe] [Scholar Register] [Received: 03/09/2016] [Revised: 09/20/2016] [Indexed: 10/20/2022]
Abstract
Models of ion channel dynamics are usually built by fitting isolated cell experimental values of individual parameters while neglecting the interaction between them. Another shortcoming regards the estimation of ionic current conductances, which is often based on quantification of Action Potential (AP)-derived markers. Although this procedure reduces the uncertainty in the calculation of conductances, many studies evaluate electrophysiological AP-derived markers from single cell simulations, whereas experimental measurements are obtained from tissue preparations. In this work, we explore the limitations of these approaches to estimate ion channel dynamics and maximum current conductances and how they could be overcome by using multiscale simulations of experimental protocols. Four human ventricular cell models, namely ten Tusscher and Panfilov (2006), Grandi et al. (2010), O'Hara et al. (2011), and Carro et al. (2011), were used. Two problems involving scales from ion channels to tissue were investigated: 1) characterization of L-type calcium voltage-dependent inactivation ICa,L; 2) identification of major ionic conductance contributors to steady-state AP markers, including APD90, APD75, APD50, APD25, Triangulation and maximal and minimal values of V and dV/dt during the AP (Vmax, Vmin, dV/dtmax, dV/dtmin). Our results show that: 1) ICa,L inactivation characteristics differed significantly when calculated from model equations and from simulations reproducing the experimental protocols. 2) Large differences were found in the ionic currents contributors to APD25, Triangulation, Vmax, dV/dtmax and dV/dtmin between single cells and 1D-tissue. When proposing any new model formulation, or evaluating an existing model, consistency between simulated and experimental data should be verified considering all involved effects and scales.
Collapse
Affiliation(s)
- Jesús Carro
- Universidad San Jorge, Campus Universitario, Autov A23 Km 299, 50830, Villanueva de Gállego, Zaragoza, Spain; Aragon Institute for Engineering Research, Universidad de Zaragoza, Spain; CIBER in Bioengineering, Biomaterials & Nanomedicine (CIBER-BBN), Spain.
| | - José F Rodríguez-Matas
- Aragon Institute for Engineering Research, Universidad de Zaragoza, Spain; LaBS, Department of Chemistry, Materials and Chemical Engineering "Giulio Natta", Politecnico di Milano, Italy.
| | - Violeta Monasterio
- Universidad San Jorge, Campus Universitario, Autov A23 Km 299, 50830, Villanueva de Gállego, Zaragoza, Spain.
| | - Esther Pueyo
- Aragon Institute for Engineering Research, Universidad de Zaragoza, Spain; CIBER in Bioengineering, Biomaterials & Nanomedicine (CIBER-BBN), Spain.
| |
Collapse
|
17
|
Parameter identifiability and identifiable combinations in generalized Hodgkin–Huxley models. Neurocomputing 2016. [DOI: 10.1016/j.neucom.2016.03.027] [Citation(s) in RCA: 13] [Impact Index Per Article: 1.6] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 01/03/2023]
|
18
|
Shotwell MS, Gray RA. Estimability Analysis and Optimal Design in Dynamic Multi-scale Models of Cardiac Electrophysiology. JOURNAL OF AGRICULTURAL BIOLOGICAL AND ENVIRONMENTAL STATISTICS 2016; 21:261-276. [PMID: 27330268 DOI: 10.1007/s13253-016-0244-7] [Citation(s) in RCA: 10] [Impact Index Per Article: 1.3] [Reference Citation Analysis] [Abstract] [Key Words] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 11/24/2022]
Abstract
We present an applied approach to optimal experimental design and estimability analysis for mechanistic models of cardiac electrophysiology, by extending and improving on existing computational and graphical methods. These models are 'multi-scale' in the sense that the modeled phenomena occur over multiple spatio-temporal scales (e.g., single cell vs. whole heart). As a consequence, empirical observations of multi-scale phenomena often require multiple distinct experimental procedures. We discuss the use of conventional optimal design criteria (e.g., D-optimality) in combining experimental observations across multiple scales and multiple experimental modalities. In addition, we present an improved 'sensitivity plot' - a graphical assessment of parameter estimability - that overcomes a well-known limitation in this context. These techniques are demonstrated using a working Hodgkin-Huxley cell model and three simulated experimental procedures: single cell stimulation, action potential propagation, and voltage clamp. In light of these assessments, we discuss two model modifications that improve parameter estimability, and show that the choice of optimality criterion has a profound effect on the contribution of each experiment.
Collapse
|
19
|
Daly AC, Gavaghan DJ, Holmes C, Cooper J. Hodgkin-Huxley revisited: reparametrization and identifiability analysis of the classic action potential model with approximate Bayesian methods. ROYAL SOCIETY OPEN SCIENCE 2015; 2:150499. [PMID: 27019736 PMCID: PMC4807457 DOI: 10.1098/rsos.150499] [Citation(s) in RCA: 16] [Impact Index Per Article: 1.8] [Reference Citation Analysis] [Abstract] [Key Words] [Track Full Text] [Subscribe] [Scholar Register] [Received: 09/22/2015] [Accepted: 11/17/2015] [Indexed: 05/23/2023]
Abstract
As cardiac cell models become increasingly complex, a correspondingly complex 'genealogy' of inherited parameter values has also emerged. The result has been the loss of a direct link between model parameters and experimental data, limiting both reproducibility and the ability to re-fit to new data. We examine the ability of approximate Bayesian computation (ABC) to infer parameter distributions in the seminal action potential model of Hodgkin and Huxley, for which an immediate and documented connection to experimental results exists. The ability of ABC to produce tight posteriors around the reported values for the gating rates of sodium and potassium ion channels validates the precision of this early work, while the highly variable posteriors around certain voltage dependency parameters suggests that voltage clamp experiments alone are insufficient to constrain the full model. Despite this, Hodgkin and Huxley's estimates are shown to be competitive with those produced by ABC, and the variable behaviour of posterior parametrized models under complex voltage protocols suggests that with additional data the model could be fully constrained. This work will provide the starting point for a full identifiability analysis of commonly used cardiac models, as well as a template for informative, data-driven parametrization of newly proposed models.
Collapse
Affiliation(s)
- Aidan C. Daly
- Department of Computer Science, University of Oxford, Oxford, UK
| | | | - Chris Holmes
- Department of Statistics, University of Oxford, Oxford, UK
| | - Jonathan Cooper
- Department of Computer Science, University of Oxford, Oxford, UK
| |
Collapse
|
20
|
Ran ZY, Hu BG. An identifying function approach for determining parameter structure of statistical learning machines. Neurocomputing 2015. [DOI: 10.1016/j.neucom.2015.03.050] [Citation(s) in RCA: 2] [Impact Index Per Article: 0.2] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/26/2022]
|
21
|
Groenendaal W, Ortega FA, Kherlopian AR, Zygmunt AC, Krogh-Madsen T, Christini DJ. Cell-specific cardiac electrophysiology models. PLoS Comput Biol 2015; 11:e1004242. [PMID: 25928268 PMCID: PMC4415772 DOI: 10.1371/journal.pcbi.1004242] [Citation(s) in RCA: 74] [Impact Index Per Article: 8.2] [Reference Citation Analysis] [Abstract] [MESH Headings] [Grants] [Track Full Text] [Download PDF] [Figures] [Journal Information] [Subscribe] [Scholar Register] [Received: 10/01/2014] [Accepted: 03/16/2015] [Indexed: 01/25/2023] Open
Abstract
The traditional cardiac model-building paradigm involves constructing a composite model using data collected from many cells. Equations are derived for each relevant cellular component (e.g., ion channel, exchanger) independently. After the equations for all components are combined to form the composite model, a subset of parameters is tuned, often arbitrarily and by hand, until the model output matches a target objective, such as an action potential. Unfortunately, such models often fail to accurately simulate behavior that is dynamically dissimilar (e.g., arrhythmia) to the simple target objective to which the model was fit. In this study, we develop a new approach in which data are collected via a series of complex electrophysiology protocols from single cardiac myocytes and then used to tune model parameters via a parallel fitting method known as a genetic algorithm (GA). The dynamical complexity of the electrophysiological data, which can only be fit by an automated method such as a GA, leads to more accurately parameterized models that can simulate rich cardiac dynamics. The feasibility of the method is first validated computationally, after which it is used to develop models of isolated guinea pig ventricular myocytes that simulate the electrophysiological dynamics significantly better than does a standard guinea pig model. In addition to improving model fidelity generally, this approach can be used to generate a cell-specific model. By so doing, the approach may be useful in applications ranging from studying the implications of cell-to-cell variability to the prediction of intersubject differences in response to pharmacological treatment. Mathematical models of cardiac cell electrophysiology are widely used as predictive and illuminatory tools, but have been developed for decades using a suboptimal process. The models are typically constructed by manual adjustment of parameters to fit simple data and therefore often underperform when used to predict complex behavior such as arrhythmias. We present a novel method of model parameterization using automated optimization and dynamically rich fitting data and then demonstrate that this approach is better at finding the “real” model of a cell. Application of the method to cardiac myocytes leads to cell-specific models, which may enable well-controlled studies of both cellular- and subject-level population heterogeneity in disease propensity and response to therapies.
Collapse
Affiliation(s)
- Willemijn Groenendaal
- Greenberg Division of Cardiology, Weill Cornell Medical College, New York, New York, United States of America
| | - Francis A. Ortega
- Department of Physiology and Biophysics, Weill Cornell Medical College, New York, New York, United States of America
| | - Armen R. Kherlopian
- Department of Physiology and Biophysics, Weill Cornell Medical College, New York, New York, United States of America
| | | | - Trine Krogh-Madsen
- Greenberg Division of Cardiology, Weill Cornell Medical College, New York, New York, United States of America
- Institute for Computational Biomedicine, Weill Cornell Medical College, New York, New York, United States of America
| | - David J. Christini
- Greenberg Division of Cardiology, Weill Cornell Medical College, New York, New York, United States of America
- Department of Physiology and Biophysics, Weill Cornell Medical College, New York, New York, United States of America
- Institute for Computational Biomedicine, Weill Cornell Medical College, New York, New York, United States of America
- * E-mail:
| |
Collapse
|
22
|
Pathmanathan P, Shotwell MS, Gavaghan DJ, Cordeiro JM, Gray RA. Uncertainty quantification of fast sodium current steady-state inactivation for multi-scale models of cardiac electrophysiology. PROGRESS IN BIOPHYSICS AND MOLECULAR BIOLOGY 2015; 117:4-18. [PMID: 25661325 DOI: 10.1016/j.pbiomolbio.2015.01.008] [Citation(s) in RCA: 47] [Impact Index Per Article: 5.2] [Reference Citation Analysis] [Abstract] [Key Words] [Track Full Text] [Subscribe] [Scholar Register] [Received: 05/15/2014] [Revised: 01/13/2015] [Accepted: 01/27/2015] [Indexed: 11/29/2022]
Abstract
Perhaps the most mature area of multi-scale systems biology is the modelling of the heart. Current models are grounded in over fifty years of research in the development of biophysically detailed models of the electrophysiology (EP) of cardiac cells, but one aspect which is inadequately addressed is the incorporation of uncertainty and physiological variability. Uncertainty quantification (UQ) is the identification and characterisation of the uncertainty in model parameters derived from experimental data, and the computation of the resultant uncertainty in model outputs. It is a necessary tool for establishing the credibility of computational models, and will likely be expected of EP models for future safety-critical clinical applications. The focus of this paper is formal UQ of one major sub-component of cardiac EP models, the steady-state inactivation of the fast sodium current, INa. To better capture average behaviour and quantify variability across cells, we have applied for the first time an 'individual-based' statistical methodology to assess voltage clamp data. Advantages of this approach over a more traditional 'population-averaged' approach are highlighted. The method was used to characterise variability amongst cells isolated from canine epi and endocardium, and this variability was then 'propagated forward' through a canine model to determine the resultant uncertainty in model predictions at different scales, such as of upstroke velocity and spiral wave dynamics. Statistically significant differences between epi and endocardial cells (greater half-inactivation and less steep slope of steady state inactivation curve for endo) was observed, and the forward propagation revealed a lack of robustness of the model to underlying variability, but also surprising robustness to variability at the tissue scale. Overall, the methodology can be used to: (i) better analyse voltage clamp data; (ii) characterise underlying population variability; (iii) investigate consequences of variability; and (iv) improve the ability to validate a model. To our knowledge this article is the first to quantify population variability in membrane dynamics in this manner, and the first to perform formal UQ for a component of a cardiac model. The approach is likely to find much wider applicability across systems biology as current application domains reach greater levels of maturity.
Collapse
Affiliation(s)
- Pras Pathmanathan
- U.S. Food and Drug Administration, 10903 New Hampshire Avenue (WO 62), Silver Spring, MD 20993, USA.
| | - Matthew S Shotwell
- Department of Biostatistics, Vanderbilt University Medical Center, 2525 West End, Ste. 11000, Nashville, TN 37203, USA.
| | - David J Gavaghan
- Department of Computer Science, University of Oxford, Parks Road, Oxford OX1 3QD, UK.
| | | | - Richard A Gray
- U.S. Food and Drug Administration, 10903 New Hampshire Avenue (WO 62), Silver Spring, MD 20993, USA.
| |
Collapse
|
23
|
Determining parameter identifiability from the optimization theory framework: A Kullback–Leibler divergence approach. Neurocomputing 2014. [DOI: 10.1016/j.neucom.2014.03.055] [Citation(s) in RCA: 6] [Impact Index Per Article: 0.6] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/19/2022]
|
24
|
Lankarany M, Zhu WP, Swamy M. Joint estimation of states and parameters of Hodgkin–Huxley neuronal model using Kalman filtering. Neurocomputing 2014. [DOI: 10.1016/j.neucom.2014.01.003] [Citation(s) in RCA: 9] [Impact Index Per Article: 0.9] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/25/2022]
|
25
|
|
26
|
Lankarany M, Zhu WP, Swamy MNS, Toyoizumi T. Blind Deconvolution of Hodgkin-Huxley neuronal model. ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY. IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY. ANNUAL INTERNATIONAL CONFERENCE 2013; 2013:3941-4. [PMID: 24110594 DOI: 10.1109/embc.2013.6610407] [Citation(s) in RCA: 4] [Impact Index Per Article: 0.4] [Reference Citation Analysis] [Abstract] [MESH Headings] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 11/08/2022]
Abstract
Neuron transforms information via a complex interaction between its previous states, its intrinsic properties, and the synaptic input it receives from other neurons. Inferring synaptic input of a neuron only from its membrane potential (output) that contains both sub-threshold and action potentials can effectively elucidate the information processing mechanism of a neuron. The term coined blind deconvolution of Hodgkin-Huxley (HH) neuronal model is defined, for the first time in this paper, to address the problem of reconstructing the hidden dynamics and synaptic input of a single neuron modeled by the HH model as well as estimating its intrinsic parameters only from single trace of noisy membrane potential. The blind deconvolution is accomplished via a recursive algorithm whose iterations contain running an extended Kalman filtering followed by the expectation maximization (EM) algorithm. The accuracy and robustness of the proposed algorithm have been demonstrated by our simulations. The capability of the proposed algorithm makes it particularly useful to understand the neural coding mechanism of a neuron.
Collapse
|
27
|
Zha F, Li M, Guo W, Chen J, Wang P. Sodium ion channel optical model: Depolarization spatial distribution and local potential dynamic spatiotemporal processes. Neurocomputing 2013. [DOI: 10.1016/j.neucom.2012.07.007] [Citation(s) in RCA: 1] [Impact Index Per Article: 0.1] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/24/2022]
|