Model-driven design and uncertainty quantification for cardiac electrophysiology experiments

<p>The goal of systems biology is to provide a predictive and quantitative understanding of complex biological systems and their experimental data using mathematical and computational models. Mathematical modelling and computational simulation has been a crucial tool for basic research in card...

Full description

Bibliographic Details
Main Author: Lei, CL
Other Authors: Gavaghan, DJ
Format: Thesis
Language:English
Published: 2020
Subjects:
_version_ 1826316688797204480
author Lei, CL
author2 Gavaghan, DJ
author_facet Gavaghan, DJ
Lei, CL
author_sort Lei, CL
collection OXFORD
description <p>The goal of systems biology is to provide a predictive and quantitative understanding of complex biological systems and their experimental data using mathematical and computational models. Mathematical modelling and computational simulation has been a crucial tool for basic research in cardiac electrophysiology for decades, and has provided remarkable insights into many physiological mechanisms. More recently these quantitative cardiac models have begun to transition into safety-critical clinical and pharmaceutical development applications. Using cardiac mathematical models in such applications requires high levels of credibility as well as an accurate quantification of the uncertainty in the model predictions. In this thesis, we develop a suite of Bayesian inference and uncertainty quantification techniques and software tools to study cardiac cellular electrophysiology. We then design and perform high-throughput experiments to construct and validate cell-specific mathematical models for <em>human Ether-à-go-go-Related Gene</em> (hERG) channel dynamics, and to study its temperature dependence, which is important for cardiac safety pharmacology and cardiac action potential models. Using the Bayesian statistical framework together with the high-throughput measurements allows us to quantify the uncertainty and variability of the model parameters. We also model and analyse how experimental artefacts contribute to the observed variability of these recordings, allowing us to separate the effects of these artefacts from physiological behaviour. A similar approach for uncertainty characterisation and experimental design will have to be adapted for other ion currents to create better predictive models, as accurate ion channel models are essential for constructing trustworthy cardiac action potential models.</p>
first_indexed 2024-03-06T22:13:18Z
format Thesis
id oxford-uuid:528c2771-ae4f-4f3c-b649-44904acdf259
institution University of Oxford
language English
last_indexed 2024-12-09T03:49:26Z
publishDate 2020
record_format dspace
spelling oxford-uuid:528c2771-ae4f-4f3c-b649-44904acdf2592024-12-08T12:42:41ZModel-driven design and uncertainty quantification for cardiac electrophysiology experimentsThesishttp://purl.org/coar/resource_type/c_db06uuid:528c2771-ae4f-4f3c-b649-44904acdf259Mathematical modellingApplied mathematicsElectrophysiologyComputational biologyBiophysicsEnglishHyrax Deposit2020Lei, CLGavaghan, DJMirams, GRClerx, MPolonchuk, LWang, K<p>The goal of systems biology is to provide a predictive and quantitative understanding of complex biological systems and their experimental data using mathematical and computational models. Mathematical modelling and computational simulation has been a crucial tool for basic research in cardiac electrophysiology for decades, and has provided remarkable insights into many physiological mechanisms. More recently these quantitative cardiac models have begun to transition into safety-critical clinical and pharmaceutical development applications. Using cardiac mathematical models in such applications requires high levels of credibility as well as an accurate quantification of the uncertainty in the model predictions. In this thesis, we develop a suite of Bayesian inference and uncertainty quantification techniques and software tools to study cardiac cellular electrophysiology. We then design and perform high-throughput experiments to construct and validate cell-specific mathematical models for <em>human Ether-à-go-go-Related Gene</em> (hERG) channel dynamics, and to study its temperature dependence, which is important for cardiac safety pharmacology and cardiac action potential models. Using the Bayesian statistical framework together with the high-throughput measurements allows us to quantify the uncertainty and variability of the model parameters. We also model and analyse how experimental artefacts contribute to the observed variability of these recordings, allowing us to separate the effects of these artefacts from physiological behaviour. A similar approach for uncertainty characterisation and experimental design will have to be adapted for other ion currents to create better predictive models, as accurate ion channel models are essential for constructing trustworthy cardiac action potential models.</p>
spellingShingle Mathematical modelling
Applied mathematics
Electrophysiology
Computational biology
Biophysics
Lei, CL
Model-driven design and uncertainty quantification for cardiac electrophysiology experiments
title Model-driven design and uncertainty quantification for cardiac electrophysiology experiments
title_full Model-driven design and uncertainty quantification for cardiac electrophysiology experiments
title_fullStr Model-driven design and uncertainty quantification for cardiac electrophysiology experiments
title_full_unstemmed Model-driven design and uncertainty quantification for cardiac electrophysiology experiments
title_short Model-driven design and uncertainty quantification for cardiac electrophysiology experiments
title_sort model driven design and uncertainty quantification for cardiac electrophysiology experiments
topic Mathematical modelling
Applied mathematics
Electrophysiology
Computational biology
Biophysics
work_keys_str_mv AT leicl modeldrivendesignanduncertaintyquantificationforcardiacelectrophysiologyexperiments