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

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