Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans

DOI10.1016/J.TCS.2018.02.005MaRDI QIDQ2422015zbMATH OpenOpenAlexFDO

Authors M. A. Islam, Rance Cleaveland, Flavio Fenton, Radu Grosu, Paul Jones, Scott A. Smolka

Publication date 18 June 2019

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

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

zbMATH Keywords

bifurcation analysiscardiac alternanscardiac modelingformal methodshybrid systemsprobabilistic reachability

Mathematics Subject Classification ID

Bifurcation theory for ordinary differential equations (34C23) Biomedical imaging and signal processing (92C55) Attainable sets, reachability (93B03)

Recommendations

• A model checking approach to discrete bifurcation analysis
• Bifurcation analysis of a modified cardiac cell model
• Bifurcation analysis on a generation of early afterdepolarization in a mathematical cardiac model
• Understanding cardiac alternans: A piecewise linear modeling framework
• Bifurcation analysis of a certain Hodgkin-Huxley model depending on multiple bifurcation parameters

Cites work

• -complete decision procedures for satisfiability over the reals
• A two-current model for the dynamics of cardiac membrane
• Compositionality results for cardiac cell dynamics
• Computing bisimulation functions using SOS optimization and -decidability over the reals
• Computing compositional proofs of input-to-output stability using SOS optimization and -decidability
• dReal: an SMT solver for nonlinear theories over the reals
• High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
• Model checking tap withdrawal in \textit{C. elegans}
• MULTIPLE PARAMETER CONTINUATION: COMPUTING IMPLICITLY DEFINED k-MANIFOLDS
• Recognizing safety and liveness
• Simulation-guided Lyapunov analysis for hybrid dynamical systems
• SMT-based analysis of virtually synchronous distributed hybrid systems
• Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
• The algorithmic analysis of hybrid systems

Cited in

(1)

• scientific article; zbMATH DE number 6692884 (Why is no real title available?)

Describes a project that uses

Uses Software

• BFComp
• SReach
• dReach
• dReal

This page was built for publication: Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2422015)