Reachability Analysis and Deterministic Global Optimization of DAE Models (Q2795640)

scientific article

Language	Label	Description	Also known as
English	Reachability Analysis and Deterministic Global Optimization of DAE Models	scientific article

Statements

instance of

scholarly article

0 references

title

Reachability Analysis and Deterministic Global Optimization of DAE Models (English)

0 references

0 references

0 references

Surveys in Differential-Algebraic Equations III

0 references

publication date

22 March 2016

0 references

zbMATH Keywords

convex relaxations

0 references

dynamic optimization

0 references

global optimization

0 references

interval methods

0 references

reachability analysis

0 references

differential-algebraic equations

0 references

describes a project that uses

0 references

0 references

0 references

0 references

0 references

0 references

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-319-22428-2_2

0 references

cites work

\(\alpha BB\): A global optimization method for general constrained nonconvex problems

0 references

Q3841797

0 references

Q3241581

0 references

Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models

0 references

Optimal start-up of microfabricated power generation processes employing fuel cells

0 references

Ellipsoidal state estimation for dynamical systems

0 references

The cluster problem in multivariate global optimization

0 references

Deterministic global optimization in nonlinear optimal control problems

0 references

Finite-Dimensional Variational Inequalities and Complementarity Problems

0 references

An Algorithm for Separable Nonconvex Programming Problems

0 references

Efficient sensitivity analysis of large-scale differential-algebraic systems

0 references

SUNDIALS

0 references

Computing validated solutions of implicit differential equations

0 references

Q4889854

0 references

Branch-and-lift algorithm for deterministic global optimization in nonlinear optimal control

0 references

Rigorous global search: continuous problems

0 references

Q5708359

0 references

Q4953393

0 references

On the computation of invariant sets for constrained nonlinear systems: an interval arithmetic approach

0 references

Validated solutions of initial value problems for parametric ODEs

0 references

Algorithm 811: NDA

0 references

Controllers for reachability specifications for hybrid systems

0 references

Survey of Bundle Methods for Nonsmooth Optimization

0 references

Numerical methods and software for sensitivity analysis of differential-algebraic systems

0 references

Computability of global solutions to factorable nonconvex programs: Part I — Convex underestimating problems

0 references

A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games

0 references

McCormick-Based Relaxations of Algorithms

0 references

Near optimal interval observers bundle for uncertain bioreactors

0 references

Q3207999

0 references

Validated solutions of initial value problems for ordinary differential equations

0 references

On Taylor Model Based Integration of ODEs

0 references

Interval Methods for Systems of Equations

0 references

A rigorous global optimization algorithm for problems with ordinary differential equations

0 references

Set membership state and parameter estimation for systems described by nonlinear differential equations

0 references

Interval observers for biochemical processes with uncertain kinetics and inputs

0 references

A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP

0 references

A branch-and-reduce approach to global optimization

0 references

Accelerating branch-and-bound through a modeling language construct for relaxation-specific constraints

0 references

A polyhedral branch-and-cut approach to global optimization

0 references

Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs

0 references

Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis

0 references

Interval bounds on the solutions of semi-explicit index-one DAEs. II: Computation

0 references

Bounds on the reachable sets of nonlinear control systems

0 references

Convex and concave relaxations for the parametric solutions of semi-explicit index-one differential-algebraic equations

0 references

Improved relaxations for the parametric solutions of ODEs using differential inequalities

0 references

Generalized McCormick relaxations

0 references

Nonlinear convex and concave relaxations for the solutions of parametric ODEs

0 references

Global solution of optimization problems with parameter-embedded linear dynamic systems.

0 references

Bounding the Solutions of Parameter Dependent Nonlinear Ordinary Differential Equations

0 references

Global optimization with nonlinear ordinary differential equations

0 references

Convex and concave relaxations of implicit functions

0 references

Convexification and global optimization in continuous and mixed-integer nonlinear programming. Theory, algorithms, software, and applications

0 references

Q4001347

0 references

Optimal control via collocation and non-linear programming

0 references

The cluster problem revisited

0 references

Identifiers

zbMATH Open document ID

1343.65104

0 references

DOI

10.1007/978-3-319-22428-2_2

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2795640