Linli Zhang, Dewei Li, Yugeng Xi, Jiwei Li,Extending Signal Temporal Logic Specifications for Distributed Model Predictive Control,Asian Control Conference,Gold Coast, Australia,17 Dec, 2017- 20 Dec, 2017,2017