The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems (Q4982088): Difference between revisions

@@ Property / describes a project that uses @@
+Mathematica
@@ Property / describes a project that uses: Mathematica / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RSOLVER
@@ Property / describes a project that uses: RSOLVER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+INTLAB
@@ Property / describes a project that uses: INTLAB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PROFIL/BIAS
@@ Property / describes a project that uses: PROFIL/BIAS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ariadne
@@ Property / describes a project that uses: Ariadne / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HSolver
@@ Property / describes a project that uses: HSolver / 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.entcs.2008.12.033
+Normal rank
@@ Property / OpenAlex ID @@
+W2134675215
@@ Property / OpenAlex ID: W2134675215 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3345690
@@ Property / cites work: Q3345690 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuity and computability of reachable sets
@@ Property / cites work: Continuity and computability of reachable sets / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal semicomputable approximations to reachable and invariant sets
+Normal rank
@@ Property / cites work @@
+Q2713275
@@ Property / cites work: Q2713275 / rank @@
+Normal rank
@@ Property / cites work @@
+PROFIL/BIAS - A fast interval library
@@ Property / cites work: PROFIL/BIAS - A fast interval library / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorously computed orbits of dynamical systems without the wrapping effect
+Normal rank
@@ Property / cites work @@
+On Ellipsoidal Techniques for Reachability Analysis. Part I: External Approximations
+Normal rank
@@ Property / cites work @@
+Q4721493
@@ Property / cites work: Q4721493 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5444070
@@ Property / cites work: Q5444070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5566070
@@ Property / cites work: Q5566070 / rank @@
+Normal rank
@@ Property / cites work @@
+Validated solutions of initial value problems for ordinary differential equations
+Normal rank
@@ Property / cites work @@
+Derived eigenvalues of symmetric matrices, with applications to distance geometry
+Normal rank
@@ Property / cites work @@
+Constraints for Continuous Reachability in the Verification of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q4949347
@@ Property / cites work: Q4949347 / rank @@
+Normal rank
@@ Property / cites work @@
+\(C^1\) Lohner algorithm.
@@ Property / cites work: \(C^1\) Lohner algorithm. / rank @@
+Normal rank