Theory and Algorithms for Systems Optimization