Woodham, C. A., & Su, H. (2002, July). A symbolic investigation of controller design for a single inverted pendulum system. Paper presented at ICCAM 2002