Woodham, C. A. (1999, June). A symbolic investigation of pole-zero cancellation for a double inverted pendulum using torque inputs. Paper presented at IEE Colloquium on "Symbolic Computation for Control"