Dynamic modeling and trajectory tracking control of Tunnel Boring Machine | IEEE Conference Publication | IEEE Xplore