Compositionality results for cardiac cell dynamics
From MaRDI portal
Recommendations
- Model-order reduction of ion channel dynamics using approximate bisimulation
- Computing bisimulation functions using SOS optimization and -decidability over the reals
- Computing compositional proofs of input-to-output stability using SOS optimization and -decidability
- Hybrid reductions of computational models of ion channels coupled to cellular biochemistry
- Computational electrophysiology. Dynamical systems and bifurcations.
Cites work
- A quasi-infinite horizon nonlinear model predictive control scheme with guaranteed stability
- Computation of piecewise quadratic Lyapunov functions for hybrid systems
- Constrained model predictive control: Stability and optimality
- Convex Analysis
- Linear systems with state and control constraints: the theory and application of maximal output admissible sets
- Lyapunov Functions, Stability and Input-to-State Stability Subtleties for Discrete-Time Discontinuous Systems
- Minkowski terminal cost functions for MPC
- On infinity norms as Lyapunov functions for piecewise affine systems
- Set-theoretic methods in control
- Stability analysis of piecewise discrete-time linear systems
Cited in
(7)- Complex patterns of subcellular cardiac alternans
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems
- Computing compositional proofs of input-to-output stability using SOS optimization and -decidability
- Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans
- Computing bisimulation functions using SOS optimization and -decidability over the reals
- Model-order reduction of ion channel dynamics using approximate bisimulation
- Representation of multiple cellular phenotypes within tissue-level simulations of cardiac electrophysiology
This page was built for publication: Compositionality results for cardiac cell dynamics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986971)
