Title: Robotic control of tunnelling machines