Bracketing the solutions of an ordinary differential equation with uncertain initial conditions (Q2422853): Difference between revisions

@@ 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.amc.2017.07.036
+Normal rank
@@ Property / OpenAlex ID @@
+W2744320624
@@ Property / OpenAlex ID: W2744320624 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417974
@@ Property / cites work: Q4417974 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532472
@@ Property / cites work: Q4532472 / rank @@
+Normal rank
@@ Property / cites work @@
+Contractor programming
@@ Property / cites work: Contractor programming / rank @@
+Normal rank
@@ Property / cites work @@
+The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Inner approximated reachability analysis
@@ Property / cites work: Inner approximated reachability analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4057485
@@ Property / cites work: Q4057485 / rank @@
+Normal rank
@@ Property / cites work @@
+Enclosures for the solution set of parametric interval linear systems
+Normal rank
@@ Property / cites work @@
+Computing the viability kernel using maximal reachable sets
+Normal rank
@@ Property / cites work @@
+Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
+Normal rank
@@ Property / cites work @@
+Capture basin approximation using interval analysis
+Normal rank
@@ Property / cites work @@
+Consistency in networks of relations
@@ Property / cites work: Consistency in networks of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Lagrangian methods for approximating the viability kernel in high-dimensional systems
+Normal rank
@@ Property / cites work @@
+Linear Differential Game with Two Pursuers and One Evader
+Normal rank
@@ Property / cites work @@
+Validated solutions of initial value problems for ordinary differential equations
+Normal rank
@@ Property / cites work @@
+Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
+Normal rank
@@ Property / cites work @@
+Q3155873
@@ Property / cites work: Q3155873 / rank @@
+Normal rank
@@ Property / cites work @@
+An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
+Normal rank