文件名称:离散事件系统非阻塞模块监控器设计 (2002年)
文件大小:223KB
文件格式:PDF
更新时间:2024-06-14 10:06:22
自然科学 论文
为解决离散事件系统模块监控中的阻塞问题,提出了一种新的监控器设计思想。在监控器之间建立通信的基础上,运用传统的模块监控器设计方法,基于估计状态独立设计各个监控器;在各监控器间的协调中,利用基于优先权函数的优先权模块控制(MCP)机制,使整个系统的动态行为满足期望指标并达到消除或减少阻塞的目的。利用这种方法设计的监控器非阻塞的充分条件是系统每个事件有一个监控器能观。最后给出一个应用实例,说明设计思想的有效性。