Reachability Analysis and Deterministic Global Optimization of DAE Models (Q2795640): Difference between revisions

@@ Property / describes a project that uses @@
+Ipopt
@@ Property / describes a project that uses: Ipopt / 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.1007/978-3-319-22428-2_2
+Normal rank
@@ Property / OpenAlex ID @@
+W2302047639
@@ Property / OpenAlex ID: W2302047639 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\alpha BB\): A global optimization method for general constrained nonconvex problems
+Normal rank
@@ Property / cites work @@
+Q3841797
@@ Property / cites work: Q3841797 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3241581
@@ Property / cites work: Q3241581 / rank @@
+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 @@
+Optimal start-up of microfabricated power generation processes employing fuel cells
+Normal rank
@@ Property / cites work @@
+Ellipsoidal state estimation for dynamical systems
+Normal rank
@@ Property / cites work @@
+The cluster problem in multivariate global optimization
+Normal rank
@@ Property / cites work @@
+Deterministic global optimization in nonlinear optimal control problems
+Normal rank
@@ Property / cites work @@
+Finite-Dimensional Variational Inequalities and Complementarity Problems
+Normal rank
@@ Property / cites work @@
+An Algorithm for Separable Nonconvex Programming Problems
+Normal rank
@@ Property / cites work @@
+Efficient sensitivity analysis of large-scale differential-algebraic systems
+Normal rank
@@ Property / cites work @@
+SUNDIALS
@@ Property / cites work: SUNDIALS / rank @@
+Normal rank
@@ Property / cites work @@
+Computing validated solutions of implicit differential equations
+Normal rank
@@ Property / cites work @@
+Q4889854
@@ Property / cites work: Q4889854 / rank @@
+Normal rank
@@ Property / cites work @@
+Branch-and-lift algorithm for deterministic global optimization in nonlinear optimal control
+Normal rank
@@ Property / cites work @@
+Rigorous global search: continuous problems
@@ Property / cites work: Rigorous global search: continuous problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5708359
@@ Property / cites work: Q5708359 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953393
@@ Property / cites work: Q4953393 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computation of invariant sets for constrained nonlinear systems: an interval arithmetic approach
+Normal rank
@@ Property / cites work @@
+Validated solutions of initial value problems for parametric ODEs
+Normal rank
@@ Property / cites work @@
+Algorithm 811: NDA
@@ Property / cites work: Algorithm 811: NDA / rank @@
+Normal rank
@@ Property / cites work @@
+Controllers for reachability specifications for hybrid systems
+Normal rank
@@ Property / cites work @@
+Survey of Bundle Methods for Nonsmooth Optimization
+Normal rank
@@ Property / cites work @@
+Numerical methods and software for sensitivity analysis of differential-algebraic systems
+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 @@
+Near optimal interval observers bundle for uncertain bioreactors
+Normal rank
@@ Property / cites work @@
+Q3207999
@@ Property / cites work: Q3207999 / 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 @@
+Interval Methods for Systems of Equations
@@ Property / cites work: Interval Methods for Systems of Equations / rank @@
+Normal rank
@@ Property / cites work @@
+A rigorous global optimization algorithm for problems with ordinary differential equations
+Normal rank
@@ Property / cites work @@
+Set membership state and parameter estimation for systems described by nonlinear differential equations
+Normal rank
@@ Property / cites work @@
+Interval observers for biochemical processes with uncertain kinetics and inputs
+Normal rank
@@ Property / cites work @@
+A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP
+Normal rank
@@ Property / cites work @@
+A branch-and-reduce approach to global optimization
+Normal rank
@@ Property / cites work @@
+Accelerating branch-and-bound through a modeling language construct for relaxation-specific constraints
+Normal rank
@@ Property / cites work @@
+A polyhedral branch-and-cut approach to global optimization
+Normal rank
@@ Property / cites work @@
+Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs
+Normal rank
@@ Property / cites work @@
+Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis
+Normal rank
@@ Property / cites work @@
+Interval bounds on the solutions of semi-explicit index-one DAEs. II: Computation
+Normal rank
@@ Property / cites work @@
+Bounds on the reachable sets of nonlinear control systems
+Normal rank
@@ Property / cites work @@
+Convex and concave relaxations for the parametric solutions of semi-explicit index-one differential-algebraic equations
+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 @@
+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 @@
+Global optimization with nonlinear ordinary differential equations
+Normal rank
@@ Property / cites work @@
+Convex and concave relaxations of implicit functions
+Normal rank
@@ Property / cites work @@
+Convexification and global optimization in continuous and mixed-integer nonlinear programming. Theory, algorithms, software, and applications
+Normal rank
@@ Property / cites work @@
+Q4001347
@@ Property / cites work: Q4001347 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal control via collocation and non-linear programming
+Normal rank
@@ Property / cites work @@
+The cluster problem revisited
@@ Property / cites work: The cluster problem revisited / rank @@
+Normal rank