NLControl: a symbolic computation toolbox for nonlinear control by extended linearization | IEEE Conference Publication | IEEE Xplore