An algorithm for the formal reduction of differential equations as over-approximations (Q6160777): Difference between revisions

@@ Property / cites work @@
+Q4417974
@@ Property / cites work: Q4417974 / rank @@
+Normal rank
@@ Property / cites work @@
+Mean-Field Limits Beyond Ordinary Differential Equations
+Normal rank
@@ Property / cites work @@
+Forward and Backward Bisimulations for Chemical Reaction Networks
+Normal rank
@@ Property / cites work @@
+Symbolic computation of differential equivalences
@@ Property / cites work: Symbolic computation of differential equivalences / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic Markovian Bisimulation for Chemical Reaction Networks
+Normal rank
@@ Property / cites work @@
+Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis
+Normal rank
@@ Property / cites work @@
+Q3809636
@@ Property / cites work: Q3809636 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
+Normal rank
@@ Property / cites work @@
+Computing reachable sets for uncertain nonlinear monotone systems
+Normal rank
@@ Property / cites work @@
+Bounds on the reachable sets of nonlinear control systems
+Normal rank
@@ Property / cites work @@
+Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls
+Normal rank
@@ Property / cites work @@
+Analysis of Kinetic Reaction Mechanisms
@@ Property / cites work: Analysis of Kinetic Reaction Mechanisms / rank @@
+Normal rank
@@ Property / cites work @@
+Biochemical systems theory: a review
@@ Property / cites work: Biochemical systems theory: a review / rank @@
+Normal rank