Accelerated search using LP-based bound strengthening. Can use PENBMI to find upper bounds. ... Given : system to stabilize. Desired: Controller with at most r ...
Systems Research in the Aerospace Engineering and Mechanics at the University of Minnesota Gary J. Balas Aerospace Engineering and Mechanics University of Minnesota
Lagrangian Duality. Linear Programming and Combinatorics. Non-convex quadratic programming ... Estimate the duality gap using your primal and dual solutions. ...
Ellipsoidal methods are used to compute forward and backward reach sets of ... It can be verified if computed reach sets intersect with given ellipsoids, ...