All Thayer Events
Operator Splitting Methods and Software for Convex Optimization
3:30pm - 4:30pm ET
Meeting ID: 968 4508 7559
Convex optimization problems appear in a huge range of applications in engineering, operations research, finance and other areas. Although numerical methods for convex optimization have been the subject of extensive research for decades, modern applications call for new techniques and software tools. At one extreme, real-time applications rely on fast numerical computation using embedded devices with limited capability, e.g. in control and robotics. At the other, applications exploiting the availability of big data demand the solution to very large scale optimization problems, e.g. in machine learning and in planning for the transportation and energy sectors.
This talk will present a general purpose solution method for convex optimization problems with quadratic objectives based on the alternating direction method of multipliers (ADMM). We employ a novel operator splitting technique that requires the solution of a quasi-definite linear system with the same coefficient matrix in each iteration. Our algorithm is very robust, highly scalable, and places no requirements on the problem data such as positive definiteness of the objective function or linear independence of the constraint functions. For large-scale semidefinite programs (SDPs), we also employ decomposition strategies based on identifying chordal sparsity in the problem data to split large constraints into multiple smaller ones.
We have implemented this method in the open-source C language solver OSQP for quadratic programs and in the Julia language solver COSMO for general conic problems. These solvers are free and open-source, significantly faster than competing off-the-shelf commercial solvers for many problems, and are widely used in the finance, engineering, robotics and research sectors worldwide.
About the Speaker(s)
Associate Professor, University of Oxford
Paul Goulart joined the University of Oxford in 2014 as an associate professor in engineering science. He received his SB and MSc degrees in aeronautics and astronautics from the Massachusetts Institute of Technology (MIT). Following his undergraduate studies he was a software developer in the flight operations center for the Chandra X-Ray Observatory at the Harvard-Smithsonian Center for Astrophysics, and later an engineer in the Autonomous Systems research group at the Charles Stark Draper Laboratory.
In 2003 he was selected as a Gates Scholar at the University of Cambridge, where he received a PhD in Control Engineering in 2007. From 2007 to 2011 he was a Lecturer in control systems in the Department of Aeronautics at Imperial College London, and from 2011 to 2014 a Senior Researcher in the Automatic Control Laboratory at ETH Zurich. He is currently a member of the Control Group in the department of Engineering Science in Oxford.
His research interests are in high speed optimization and control for embedded systems, data-driven and robust optimization, and machine learning.
For more information, contact Ashley Parker at email@example.com.