Adaptive reachability algorithms for nonlinear systems using abstraction error analysis (Q2085160): Difference between revisions

@@ Property / describes a project that uses @@
+C2e2
@@ Property / describes a project that uses: C2e2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DynIbex
@@ Property / describes a project that uses: DynIbex / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CORA
@@ Property / describes a project that uses: CORA / 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.nahs.2022.101252
+Normal rank
@@ Property / OpenAlex ID @@
+W4292672841
@@ Property / OpenAlex ID: W4292672841 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability Analysis for Solvable Dynamical Systems
+Normal rank
@@ Property / cites work @@
+A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
+Normal rank
@@ Property / cites work @@
+Verified High-Order Integration of DAEs and Higher-Order ODEs
+Normal rank
@@ Property / cites work @@
+Rigorous integration of flows and ODEs using taylor models
+Normal rank
@@ Property / cites work @@
+Q4417974
@@ Property / cites work: Q4417974 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybridization methods for the analysis of nonlinear systems
+Normal rank
@@ Property / cites work @@
+Reachability analysis of nonlinear systems using hybridization and dynamics scaling
+Normal rank
@@ Property / cites work @@
+Accurate hybridization of nonlinear systems
@@ Property / cites work: Accurate hybridization of nonlinear systems / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
+Normal rank
@@ Property / cites work @@
+Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp>
+Normal rank
@@ Property / cites work @@
+JuliaReach
@@ Property / cites work: JuliaReach / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+A comparison of zonotope order reduction techniques
+Normal rank
@@ Property / cites work @@
+Numerical Methods for Ordinary Differential Equations
+Normal rank
@@ Property / cites work @@
+An Introduction to Numerical Analysis
@@ Property / cites work: An Introduction to Numerical Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Accurate reachability analysis of uncertain nonlinear systems
+Normal rank
@@ Property / cites work @@
+Numerical Methods for Ordinary Differential Equations
+Normal rank
@@ Property / cites work @@
+Numerical solution of ordinary differential equations
+Normal rank
@@ Property / cites work @@
+Q3139697
@@ Property / cites work: Q3139697 / rank @@
+Normal rank
@@ Property / cites work @@
+A dynamic algorithm for approximate flow computations
+Normal rank
@@ Property / cites work @@
+Flowpipe approximation and clustering in space-time
+Normal rank
@@ Property / cites work @@
+Interval analysis: Theory and applications
@@ Property / cites work: Interval analysis: Theory and applications / rank @@
+Normal rank
@@ Property / cites work @@
+Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Nonlinear Differential-Algebraic Systems
+Normal rank
@@ Property / cites work @@
+Computation and application of Taylor polynomials with interval remainder bounds
+Normal rank
@@ Property / cites work @@
+Reachable set computation for uncertain time-varying linear systems
+Normal rank
@@ Property / cites work @@
+Complexity and approximation of finding the longest vector sum
+Normal rank
@@ Property / cites work @@
+Guaranteed state estimation by zonotopes
@@ Property / cites work: Guaranteed state estimation by zonotopes / rank @@
+Normal rank
@@ Property / cites work @@
+On order conditions for modified Patankar-Runge-Kutta schemes
+Normal rank
@@ Property / cites work @@
+Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
+Normal rank
@@ Property / cites work @@
+An equation for continuous chaos
@@ Property / cites work: An equation for continuous chaos / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic Nonperiodic Flow
@@ Property / cites work: Deterministic Nonperiodic Flow / rank @@
+Normal rank
@@ Property / cites work @@
+Chaos in low-dimensional Lotka–Volterra models of competition
+Normal rank
@@ Property / cites work @@
+Minimalstellen von Funktionen und Extremalpunkte
@@ Property / cites work: Minimalstellen von Funktionen und Extremalpunkte / rank @@
+Normal rank
@@ Property / cites work @@
+Q4101612
@@ Property / cites work: Q4101612 / rank @@
+Normal rank