A Mathematical Approach to Optimal Network Control