Управляемое движение внутритрубных шагающих роботов: классификации, математические модели, алгоритмы управлениякнига