Model-order reduction of ion channel dynamics using approximate bisimulation

DOI10.1016/j.tcs.2014.03.018zbMath1337.92061OpenAlexW2134403574MaRDI QIDQ498915

Md. Ariful Islam, Flavio H. Fenton, Radu Grosu, Scott A. Smolka, Ezio Bartocci, Abhishek Murthy, Elizabeth M. Cherry, James G. Glimm

Publication date: 29 September 2015

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2014.03.018

zbMATH Keywords

cardiac cell modelmodel-order reductionapproximate bisimulationionic channel

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Cell biology (92C37)

Related Items (5)

Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis ⋮ Formal lumping of polynomial differential equations through approximate equivalences ⋮ Order-reduction abstractions for safety verification of high-dimensional linear systems ⋮ Structure-preserving model reduction of second-order systems by Krylov subspace methods ⋮ Integrated heart -- coupling multiscale and multiphysics models for the simulation of the cardiac function

Uses Software

• Matlab
• MATISSE
• ode45
• cftool

Cites Work

• Controller synthesis for safety and reachability via approximate bisimulation
• Norms and exclusion theorems
• Invariant manifold reductions for Markovian ion channel dynamics
• Minimal model for human ventricular action potentials in tissue
• Approximate bisimulation relations for constrained linear systems
• Approximation Metrics for Discrete and Continuous Systems

This page was built for publication: Model-order reduction of ion channel dynamics using approximate bisimulation