The use of symbolic computation in nonlinear control: is it viable? | IEEE Journals & Magazine | IEEE Xplore