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

hybrid systemsformal methodsbifurcation analysisprobabilistic reachabilitycardiac modelingcardiac alternans

Mathematics Subject Classification ID

Biomedical imaging and signal processing (92C55) Bifurcation theory for ordinary differential equations (34C23) 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

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

Cited in

(1)

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

Describes a project that uses

Uses Software

• dReal
• BFComp
• SReach
• dReach

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)