-
Occupation measures and semidefinite relaxations for optimal control
This thesis details a global method for optimal control of open-loop systems. This is done by relaxing the control problem as a generalized moment problem, which can... -
Formal Proofs for Global Optimization -- Templates and Sums of Squares
The aim of this work is to certify lower bounds for real-valued multivariate functions, defined by semialgebraic or transcendental expressions and to prove their...
