Reachability analysis and deterministic global optimization of DAE models
From MaRDI portal
global optimizationdynamic optimizationdifferential-algebraic equationsreachability analysisinterval methodsconvex relaxations
Numerical methods for differential-algebraic equations (65L80) Nonconvex programming, global optimization (90C26) Implicit ordinary differential equations, differential-algebraic equations (34A09) Ordinary differential inclusions (34A60) Existence theories for optimal control problems involving ordinary differential equations (49J15) Attainable sets, reachability (93B03) Control/observation systems governed by ordinary differential equations (93C15) Differential inequalities involving functions of a single real variable (34A40)
Recommendations
- Convex and concave relaxations for the parametric solutions of semi-explicit index-one differential-algebraic equations
- Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis
- scientific article; zbMATH DE number 2068051
- Interval bounds on the solutions of semi-explicit index-one DAEs. II: Computation
- Reliable modeling and optimization for chemical engineering applications: Interval analysis approach
Cites work
- scientific article; zbMATH DE number 3649911 (Why is no real title available?)
- scientific article; zbMATH DE number 3126094 (Why is no real title available?)
- scientific article; zbMATH DE number 1193339 (Why is no real title available?)
- scientific article; zbMATH DE number 50941 (Why is no real title available?)
- scientific article; zbMATH DE number 914364 (Why is no real title available?)
- scientific article; zbMATH DE number 1444352 (Why is no real title available?)
- scientific article; zbMATH DE number 2229937 (Why is no real title available?)
- A branch-and-reduce approach to global optimization
- A novel interval arithmetic approach for solving differential-algebraic equations with \textsc{ValEncIA-IVP}
- A polyhedral branch-and-cut approach to global optimization
- A rigorous global optimization algorithm for problems with ordinary differential equations
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
- Accelerating branch-and-bound through a modeling language construct for relaxation-specific constraints
- Algorithm 811: NDA
- An Algorithm for Separable Nonconvex Programming Problems
- Bounding the Solutions of Parameter Dependent Nonlinear Ordinary Differential Equations
- Bounds on the reachable sets of nonlinear control systems
- Branch-and-lift algorithm for deterministic global optimization in nonlinear optimal control
- Computability of global solutions to factorable nonconvex programs: Part I — Convex underestimating problems
- Computing validated solutions of implicit differential equations
- Controllers for reachability specifications for hybrid systems
- Convex and concave relaxations for the parametric solutions of semi-explicit index-one differential-algebraic equations
- Convex and concave relaxations of implicit functions
- Convexification and global optimization in continuous and mixed-integer nonlinear programming. Theory, algorithms, software, and applications
- Deterministic global optimization in nonlinear optimal control problems
- Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs
- Efficient sensitivity analysis of large-scale differential-algebraic systems
- Ellipsoidal state estimation for dynamical systems
- Finite-Dimensional Variational Inequalities and Complementarity Problems
- Generalized McCormick relaxations
- Global optimization with nonlinear ordinary differential equations
- Global solution of optimization problems with parameter-embedded linear dynamic systems.
- Improved relaxations for the parametric solutions of ODEs using differential inequalities
- Interval Methods for Systems of Equations
- Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis
- Interval bounds on the solutions of semi-explicit index-one DAEs. II: Computation
- Interval observers for biochemical processes with uncertain kinetics and inputs
- McCormick-Based Relaxations of Algorithms
- Near optimal interval observers bundle for uncertain bioreactors
- Nonlinear convex and concave relaxations for the solutions of parametric ODEs
- Numerical methods and software for sensitivity analysis of differential-algebraic systems
- On Taylor Model Based Integration of ODEs
- On the computation of invariant sets for constrained nonlinear systems: an interval arithmetic approach
- Optimal control via collocation and non-linear programming
- Optimal start-up of microfabricated power generation processes employing fuel cells
- Rigorous global search: continuous problems
- SUNDIALS
- Set membership state and parameter estimation for systems described by nonlinear differential equations
- Survey of Bundle Methods for Nonsmooth Optimization
- The cluster problem in multivariate global optimization
- The cluster problem revisited
- Validated solutions of initial value problems for ordinary differential equations
- Validated solutions of initial value problems for parametric ODEs
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- \(\alpha BB\): A global optimization method for general constrained nonconvex problems
Cited in
(8)- Nonsmooth Hessenberg differential-algebraic equations
- Tightening state relaxations for global dynamic optimization using dynamic cuts
- Parameter range reduction from partial data in systems of differential algebraic equations
- Reachability analysis for high-index linear differential algebraic equations
- Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis
- Interval bounds on the solutions of semi-explicit index-one DAEs. II: Computation
- Global dynamic optimization with Hammerstein-Wiener models embedded
- Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities
This page was built for publication: Reachability analysis and deterministic global optimization of DAE models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2795640)
