Applications of symbolic manipulation in control system analysis and design | IEEE Conference Publication | IEEE Xplore