Shaoying He, Dewei Li, Yugeng Xi,Design of Motion Planning System for Dual-arm Robot with Gantry Based on Temporal Logic Specifications and Predictive Control,IEEE International Conference on Control and Automation,Anchorage, Alaska, USA,June 12-15,2018