Optimal Supervisory Control Synthesis with Constraints for DES

• 带约束条件的des的最优监控综合方法