Dynamic modeling and verification of unicycle mobile robot system | IEEE Conference Publication | IEEE Xplore