Synthesis of Biological and Mathematical Methods for Gene Network Control