TRiForm: Formation Control for Underwater Sensor Networks With Measurement Errors | IEEE Journals & Magazine | IEEE Xplore