Modeling and motion control system research of a mini underwater vehicle | IEEE Conference Publication | IEEE Xplore