Yushan Chen, Xu Chu Ding, Calin Belta. Synthesis of distributed control and communication schemes from global LTL specifications. In Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011, Orlando, FL, USA, December 12-15, 2011. pages 2718-2723, IEEE, 2011. [doi]
Abstract is missing.