Automated control design for a piecewise-affine approximation of a class of nonlinear systems | IEEE Conference Publication | IEEE Xplore