DSMC-a symbolic toolbox for robust nonlinear dynamic sliding mode control design | IET Conference Publication | IEEE Xplore