Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans

DOI10.1016/J.TCS.2018.02.005zbMATH Open1427.92054OpenAlexW2794075504MaRDI QIDQ2422015FDOQ2422015

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

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

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)

Cites Work

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

Cited In (1)

• Title not available (Why is that?)

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)