离散事件系统非阻塞模块监控器设计

为解决离散事件系统模块监控中的阻塞问题 ,提出了一种新的监控器设计思想 .在监控器之间建立通信的基础上 ,运用传统的模块监控器设计方法 ,基于估计状态独立设计各个监控器 ;在各监控器间的协调中 ,利用基于优先权函数的优先权模块控制 (MCP)机制 ,使整个系统的动态行为满足期望指标并达到消除或减少阻塞的目的 .利用这种方法设计的监控器非阻塞的充分条件是系统每个事件有一个监控器能观 .最后给出一个应用实例 。