Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs (Q2351531): Difference between revisions

@@ Property / describes a project that uses @@
+ValEncIA
@@ Property / describes a project that uses: ValEncIA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ValEncIA-IVP
@@ Property / describes a project that uses: ValEncIA-IVP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+libMC
@@ Property / describes a project that uses: libMC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2092445015
@@ Property / OpenAlex ID: W2092445015 / rank @@
+Normal rank
@@ Property / cites work @@
+Guaranteed state estimation by zonotopes
@@ Property / cites work: Guaranteed state estimation by zonotopes / rank @@
+Normal rank
@@ Property / cites work @@
+Global solution of optimization problems with parameter-embedded linear dynamic systems.
+Normal rank
@@ Property / cites work @@
+Viability theory
@@ Property / cites work: Viability theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3324260
@@ Property / cites work: Q3324260 / rank @@
+Normal rank
@@ Property / cites work @@
+Every closed convex set is the set of minimizers of some $C^{\infty }$-smooth convex function
+Normal rank
@@ Property / cites work @@
+Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
+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 rate of McCormick relaxations
@@ Property / cites work: Convergence rate of McCormick relaxations / rank @@
+Normal rank
@@ Property / cites work @@
+Convergence analysis of Taylor models and McCormick-Taylor models
+Normal rank
@@ Property / cites work @@
+Q4464660
@@ Property / cites work: Q4464660 / rank @@
+Normal rank
@@ Property / cites work @@
+Form factor for a family of quantum graphs: an expansion to third order
+Normal rank
@@ Property / cites work @@
+Q4249565
@@ Property / cites work: Q4249565 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Gradients and Applications
@@ Property / cites work: Generalized Gradients and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q5848416
@@ Property / cites work: Q5848416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4885375
@@ Property / cites work: Q4885375 / rank @@
+Normal rank
@@ Property / cites work @@
+The cluster problem in multivariate global optimization
+Normal rank
@@ Property / cites work @@
+Q3925093
@@ Property / cites work: Q3925093 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to sensitivity and stability analysis in nonlinear programming
+Normal rank
@@ Property / cites work @@
+The Identity of Weak and Strong Extensions of Differential Operators
+Normal rank
@@ Property / cites work @@
+Solving Ordinary Differential Equations I
@@ Property / cites work: Solving Ordinary Differential Equations I / rank @@
+Normal rank
@@ Property / cites work @@
+Nonlinear bounded-error state estimation of continuous-time systems
+Normal rank
@@ Property / cites work @@
+Comparison principle for equations of the Hamilton-Jacobi type in control theory
+Normal rank
@@ Property / cites work @@
+Q3146235
@@ Property / cites work: Q3146235 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5569338
@@ Property / cites work: Q5569338 / rank @@
+Normal rank
@@ Property / cites work @@
+Methods for bounding the range of a polynomial
@@ Property / cites work: Methods for bounding the range of a polynomial / rank @@
+Normal rank
@@ Property / cites work @@
+A Comparison of the Optimal Costs of Two Canonical Inventory Systems
+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 @@
+On reachability and minimum cost optimal control
@@ Property / cites work: On reachability and minimum cost optimal control / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient control of the dependency problem based on Taylor model methods
+Normal rank
@@ Property / cites work @@
+Global minimum potential energy conformations of small molecules
+Normal rank
@@ Property / cites work @@
+Computability of global solutions to factorable nonconvex programs: Part I — Convex underestimating problems
+Normal rank
@@ Property / cites work @@
+A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
+Normal rank
@@ Property / cites work @@
+McCormick-Based Relaxations of Algorithms
@@ Property / cites work: McCormick-Based Relaxations of Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+An interval Hermite-Obreschkoff method for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation
+Normal rank
@@ Property / cites work @@
+Validated solutions of initial value problems for ordinary differential equations
+Normal rank
@@ Property / cites work @@
+An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
+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 @@
+A Hybrid Bounding Method for Computing an Over-Approximation for the Reachable Set of Uncertain Nonlinear Systems
+Normal rank
@@ Property / cites work @@
+Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs
+Normal rank
@@ Property / cites work @@
+Bounds on the reachable sets of nonlinear control systems
+Normal rank
@@ Property / cites work @@
+Improved relaxations for the parametric solutions of ODEs using differential inequalities
+Normal rank
@@ Property / cites work @@
+Generalized McCormick relaxations
@@ Property / cites work: Generalized McCormick relaxations / rank @@
+Normal rank
@@ Property / cites work @@
+Nonlinear convex and concave relaxations for the solutions of parametric ODEs
+Normal rank
@@ Property / cites work @@
+Bounding the Solutions of Parameter Dependent Nonlinear Ordinary Differential Equations
+Normal rank
@@ Property / cites work @@
+Ellipsoidal methods for dynamics and control. I
@@ Property / cites work: Ellipsoidal methods for dynamics and control. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5665539
@@ Property / cites work: Q5665539 / rank @@
+Normal rank
@@ Property / cites work @@
+The cluster problem revisited
@@ Property / cites work: The cluster problem revisited / rank @@
+Normal rank