Autonomous control for miniaturized mobile robots in unknown pipe networks