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

@@ 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