A mathematical framework for the control of piecewise-affine models of gene networks