Dynamical adaptive backstepping control design via symbolic computation | IEEE Conference Publication | IEEE Xplore