Abstract
We review existing approaches to optimizing the deployment of genetic biocontrol technologies-tools used to prevent vector-borne diseases such as malaria and dengue-and formulate a mathematical program that enables the incorporation of crucial ecological and logistical details. The model is comprised of equality constraints grounded in discretized dynamic population equations, inequality constraints representative of operational limitations including resource restrictions, and an objective function that jointly minimizes the count of competent mosquito vectors and the number of transgenic organisms released to mitigate them over a specified time period. We explore how nonlinear programming (NLP) and mixed integer nonlinear programming (MINLP) can advance the state of the art in designing the operational implementation of three distinct transgenic public health interventions, two of which are presently in active use around the world.