Approximately bisimilar discrete abstractions of nonlinear systems using variable-resolution quantizers | IEEE Conference Publication | IEEE Xplore