NLControl: Symbolic package for study of nonlinear control systems | IEEE Conference Publication | IEEE Xplore