Hydraulic system design for tunnel drilling rig based on pump-controlled technology | IEEE Conference Publication | IEEE Xplore