Control-theoretic techniques for stepsize selection in implicit Runge-Kutta methods | Synapse