Solving the ARE symbolically | IEEE Conference Publication | IEEE Xplore