Surveying of lake on Plateau using a portable TS-l00 AUV | IEEE Conference Publication | IEEE Xplore