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

• 作者: 王飞 胡奇英
• 来源期刊: 西安电子科技大学学报(自然科学版)
• 学科: 工学
• 关键词: 部分可观察 可辨识语言 无死锁 模监控
• 年，卷（期）: 2003,（6）
• 页码范围: 831-834
• 页数: 4页
• 分类号: TP271.8
• 字数: 3907字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2003.06.027

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡奇英	西安电子科技大学经济管理学院	24	366	9.0	19.0
2	王飞	西安电子科技大学经济管理学院	35	236	8.0	14.0