Элементарно.
Обозначим поезда A,B. Обозначим управление например поездом A, так Left(A,x) - ехать влево на x единиц расстояния (это берется из возможности управления скоростью и контроля временем). Тогда заставим
поезд A ехать туда сюда с амплитудой которая увеличивается. И в каждой крайней точке амплитуды
- переключаться на поезд B и делать те-же манипуляции.
Left(A,1), Left(B,1)
Right(A,2), Right(B,2)
Left(A,3), Left(B, 3)....
Они гарантировано встретятся.