Symbolic dynamical adaptive backstepping control design via MATLAB | IEEE Conference Publication | IEEE Xplore