Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans
From MaRDI portal
Publication:2422015
DOI10.1016/j.tcs.2018.02.005zbMath1427.92054MaRDI 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 systems; formal methods; bifurcation analysis; probabilistic reachability; cardiac modeling; cardiac alternans
92C55: Biomedical imaging and signal processing
34C23: Bifurcation theory for ordinary differential equations
93B03: Attainable sets, reachability
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