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

Optimal Supervisory Control Synthesis with Constraints for DES

基于ＤＥＳ的Ｄ－自动机模型，提出一种带约束条件的最优监控综合问题，然后分别讨论了逻辑监控与时序监控下该问题解的存在性与求解的方法．结果表明，时序监控优于逻辑监控方法．

Based on the ixautomata model of DES, a kind of optimal supervisory control synthesis problem with constraints (OSSPC) for DES is proposed and formallied. Then the existence of the solution ofOSSPC and the algorithm for computing it are given under the logical and temporal supervisory control. It isshown that the method of temPOral supervisory control is better than that of logical supervisory control forthis problem..