带有部分可观察的无死锁模监控

摘要

讨论了带有部分可观察的无死锁模监控的综合问题.通过用可辨识语言来代替可观察语言引入无死锁的,可控闭语言中,利用一对监控器间的d 不变关系,得到带有部分可观察的无死锁模监控的充分必要条件是两个子监控器满足d 不变关系.最后,又给出了带有部分可观察无死锁模监控的综合过程.