Woodham, C A, Su, H, "A symbolic investigation of controller design for a single inverted pendulum system.", , 2025