Design, Characterization, and Control of a Size Adaptable In-pipe Robot for Water Distribution Systems | IEEE Conference Publication | IEEE Xplore