Modeling Design and Control Problems Involving Neural Network Surrogates
  We consider nonlinear optimization problems that involve surrogate models
represented by neural networks. We demonstrate first how to directly embed
neural network evaluation into optimization models, highlight a difficulty with
this approach that can prevent convergence, and then characterize stationarity
of such models. We then present two alternative formulations of these problems
in the specific case of feedforward neural networks with ReLU activation: as a
mixed-integer optimization problem and as a mathematical program with
complementarity constraints. For the latter formulation we prove that
stationarity at a point for this problem corresponds to stationarity of the
embedded formulation. Each of these formulations may be solved with
state-of-the-art optimization methods, and we show how to obtain good initial
feasible solutions for these methods. We compare our formulations on three
practical applications arising in the design and control of combustion engines,
in the generation of adversarial attacks on classifier networks, and in the
determination of optimal flows in an oil well network.
