Fast Synthesis of Optimal and Structurally Simple Supervisors for Automated Manufacturing Systems | IEEE Conference Publication | IEEE Xplore