Synthesis of distributed control and communication schemes from global LTL specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Yushan Chen' in GoogleThis author has not been identified. Look up 'Xu Chu Ding' in GoogleThis author has not been identified. Look up 'Calin Belta' in Google

runs on WebDSL