Model-order reduction of ion channel dynamics using approximate bisimulation
From MaRDI portal
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
- Controller synthesis for safety and reachability via approximate bisimulation
- Invariant manifold reductions for Markovian ion channel dynamics
- Minimal model for human ventricular action potentials in tissue
- Norms and exclusion theorems
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
- Order-reduction abstractions for safety verification of high-dimensional linear systems
- Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis
- Formal lumping of polynomial differential equations through approximate equivalences
- Hybrid reductions of computational models of ion channels coupled to cellular biochemistry
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)
