Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans (Q2422015): Difference between revisions

@@ Property / describes a project that uses @@
+BFComp
@@ Property / describes a project that uses: BFComp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SReach
@@ Property / describes a project that uses: SReach / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+dReach
@@ Property / describes a project that uses: dReach / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+dReal
@@ Property / describes a project that uses: dReal / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2018.02.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2794075504
@@ Property / OpenAlex ID: W2794075504 / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizing safety and liveness
@@ Property / cites work: Recognizing safety and liveness / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
+Normal rank
@@ Property / cites work @@
+High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
+Normal rank
@@ Property / cites work @@
+δ-Complete Decision Procedures for Satisfiability over the Reals
+Normal rank
@@ Property / cites work @@
+dReal: An SMT Solver for Nonlinear Theories over the Reals
+Normal rank
@@ Property / cites work @@
+MULTIPLE PARAMETER CONTINUATION: COMPUTING IMPLICITLY DEFINED k-MANIFOLDS
+Normal rank
@@ Property / cites work @@
+Model Checking Tap Withdrawal in C. Elegans
@@ Property / cites work: Model Checking Tap Withdrawal in C. Elegans / rank @@
+Normal rank
@@ Property / cites work @@
+Compositionality results for cardiac cell dynamics
+Normal rank
@@ Property / cites work @@
+Simulation-guided lyapunov analysis for hybrid dynamical systems
+Normal rank
@@ Property / cites work @@
+A two-current model for the dynamics of cardiac membrane
+Normal rank
@@ Property / cites work @@
+Computing bisimulation functions using SOS optimization and             <i>δ</i>             -decidability over the reals
+Normal rank
@@ Property / cites work @@
+Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2422015