Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans
DOI10.1016/j.tcs.2018.02.005zbMath1427.92054OpenAlexW2794075504MaRDI QIDQ2422015
Paul Jones, Radu Grosu, Rance Cleaveland, Scott A. Smolka, Md. Ariful Islam, Flavio H. Fenton
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
hybrid systemsformal methodsbifurcation analysisprobabilistic reachabilitycardiac modelingcardiac alternans
Biomedical imaging and signal processing (92C55) Bifurcation theory for ordinary differential equations (34C23) Attainable sets, reachability (93B03)
Uses Software
Cites Work
- A two-current model for the dynamics of cardiac membrane
- The algorithmic analysis of hybrid systems
- Recognizing safety and liveness
- Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability
- Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
- δ-Complete Decision Procedures for Satisfiability over the Reals
- Simulation-guided lyapunov analysis for hybrid dynamical systems
- Compositionality results for cardiac cell dynamics
- Computing bisimulation functions using SOS optimization and δ -decidability over the reals
- SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems
- MULTIPLE PARAMETER CONTINUATION: COMPUTING IMPLICITLY DEFINED k-MANIFOLDS
- 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 C. Elegans
This page was built for publication: Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans