Research on dual-driving synchronous control system modeling of gantry-type machine tools with traveling bridge | IEEE Conference Publication | IEEE Xplore