On discrete-valued modeling of nonholonomic mobile robot systems | IEEE Conference Publication | IEEE Xplore