Stable Set-Valued Integration of Nonlinear Dynamic Systems using Affine Set-Parameterizations (Q3195246): Difference between revisions

@@ Property / describes a project that uses @@
+dcc
@@ Property / describes a project that uses: dcc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SUNDIALS
@@ Property / describes a project that uses: SUNDIALS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RODAS
@@ Property / describes a project that uses: RODAS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ACADO
@@ Property / describes a project that uses: ACADO / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1835264310
@@ Property / OpenAlex ID: W1835264310 / rank @@
+Normal rank
@@ Property / cites work @@
+Computation and application of Taylor polynomials with interval remainder bounds
+Normal rank
@@ Property / cites work @@
+Set-theoretic methods in control
@@ Property / cites work: Set-theoretic methods in control / rank @@
+Normal rank
@@ Property / cites work @@
+Convergence analysis of Taylor models and McCormick-Taylor models
+Normal rank
@@ Property / cites work @@
+Q4885375
@@ Property / cites work: Q4885375 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954403
@@ Property / cites work: Q4954403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4000061
@@ Property / cites work: Q4000061 / rank @@
+Normal rank
@@ Property / cites work @@
+SUNDIALS
@@ Property / cites work: SUNDIALS / rank @@
+Normal rank
@@ Property / cites work @@
+ACADO toolkit-An open-source framework for automatic control and dynamic optimization
+Normal rank
@@ Property / cites work @@
+Branch-and-lift algorithm for deterministic global optimization in nonlinear optimal control
+Normal rank
@@ Property / cites work @@
+Ellipsoidal calculus for estimation and control
@@ Property / cites work: Ellipsoidal calculus for estimation and control / rank @@
+Normal rank
@@ Property / cites work @@
+Validated solutions of initial value problems for parametric ODEs
+Normal rank
@@ Property / cites work @@
+Q4036851
@@ Property / cites work: Q4036851 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability of global solutions to factorable nonconvex programs: Part I — Convex underestimating problems
+Normal rank
@@ Property / cites work @@
+McCormick-Based Relaxations of Algorithms
@@ Property / cites work: McCormick-Based Relaxations of Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3207999
@@ Property / cites work: Q3207999 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Interval Analysis
@@ Property / cites work: Introduction to Interval Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+The Art of Differentiating Computer Programs
@@ Property / cites work: The Art of Differentiating Computer Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Validated solutions of initial value problems for ordinary differential equations
+Normal rank
@@ Property / cites work @@
+On Taylor Model Based Integration of ODEs
@@ Property / cites work: On Taylor Model Based Integration of ODEs / rank @@
+Normal rank
@@ Property / cites work @@
+Taylor forms -- use and limits.
@@ Property / cites work: Taylor forms -- use and limits. / rank @@
+Normal rank
@@ Property / cites work @@
+A rigorous global optimization algorithm for problems with ordinary differential equations
+Normal rank
@@ Property / cites work @@
+Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs
+Normal rank
@@ Property / cites work @@
+Nonlinear convex and concave relaxations for the solutions of parametric ODEs
+Normal rank
@@ Property / cites work @@
+Improved relaxations for the parametric solutions of ODEs using differential inequalities
+Normal rank
@@ Property / cites work @@
+Global solution of optimization problems with parameter-embedded linear dynamic systems.
+Normal rank
@@ Property / cites work @@
+Bounding the Solutions of Parameter Dependent Nonlinear Ordinary Differential Equations
+Normal rank
@@ Property / cites work @@
+Q2897328
@@ Property / cites work: Q2897328 / rank @@
+Normal rank
@@ Property / cites work @@
+Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs
+Normal rank
@@ Property / cites work @@
+Q5665539
@@ Property / cites work: Q5665539 / rank @@
+Normal rank