Model-order reduction of ion channel dynamics using approximate bisimulation
From MaRDI portal
Publication:498915
DOI10.1016/J.TCS.2014.03.018zbMATH Open1337.92061OpenAlexW2134403574MaRDI QIDQ498915FDOQ498915
Authors: M. A. Islam, Abhishek Murthy, Ezio Bartocci, Elizabeth M. Cherry, Flavio Fenton, Scott A. Smolka, Radu Grosu, James 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
Recommendations
- Compositionality results for cardiac cell dynamics
- Invariant manifold reductions for Markovian ion channel dynamics
- Hybrid reductions of computational models of ion channels coupled to cellular biochemistry
- Exact reductions of Markovian dynamics for ion channels with a single permissive state
- Markov models for ion channels: versatility versus identifiability and speed
Cites Work
- Approximate bisimulation relations for constrained linear systems
- Approximation Metrics for Discrete and Continuous Systems
- Minimal model for human ventricular action potentials in tissue
- Invariant manifold reductions for Markovian ion channel dynamics
- Norms and exclusion theorems
- Controller synthesis for safety and reachability via approximate bisimulation
Cited In (10)
- Exact reductions of Markovian dynamics for ion channels with a single permissive state
- Measuring edge importance: a quantitative analysis of the stochastic shielding approximation for random processes on graphs
- Compositionality results for cardiac cell dynamics
- Integrated heart -- coupling multiscale and multiphysics models for the simulation of the cardiac function
- Invariant manifold reductions for Markovian ion channel dynamics
- Structure-preserving model reduction of second-order systems by Krylov subspace methods
- Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis
- Order-reduction abstractions for safety verification of high-dimensional linear systems
- Formal lumping of polynomial differential equations through approximate equivalences
- Hybrid reductions of computational models of ion channels coupled to cellular biochemistry
Uses Software
This page was built for publication: Model-order reduction of ion channel dynamics using approximate bisimulation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q498915)
