Digital Twin Enhanced Optimization of Manufacturing Service Scheduling for Industrial Cloud Robotics | IEEE Conference Publication | IEEE Xplore