Mi Zhao, Murat Uzam, Yufan Hou. A divide-and-conquer method for the synthesis of non-blocking supervisors for flexible manufacturing systems. In 2014 IEEE International Conference on Automation Science and Engineering, CASE 2014, New Taipei, Taiwan, August 18-22, 2014. pages 455-460, IEEE, 2014. [doi]
Abstract is missing.