10:30 AM-12:30 PM
Room: Sidney Smith 2102
Verified Global Optimization deals with exhaustive search of a region of multidimensional space to locate all optimizing points. Verified global optimization has much in common with all deterministic global optimization algorithms. These algorithms have similar search processes, and make use of estimates of the range of the objective and constraints. In verified optimization, such estimate can be made rigorous through directed roundings, and various acceleration techniques can be used. The speakers will describe successful applications, underlying techniques, and an overview of an associated software package.
Organizer: R. Baker Kearfott