Linli Zhang, Dewei Li, Yugeng Xi, Jiwei Li. Extending signal temporal logic specifications for distributed model predictive control. In 11th Asian Control Conference, ASCC 2017, Gold Coast, Australia, December 17-20, 2017. pages 911-916, IEEE, 2017. [doi]
Abstract is missing.