论文部分内容阅读
监控器的非阻塞性是离散事件系统监控理论中的主要的性质,由于事件反馈与状态反馈的差别,相应的非阻塞也不同.讨论了基于事件非阻塞与基于状态非阻塞间的关系.通过状态反馈与某一事件反馈的等价性,讨论了基于事件非阻塞与基于状态非阻塞的等价性,利用基于事件非阻塞的理论,提出综合状态反馈的∑u不变谓词包含于标识状态集是使得模控制器非阻塞的一个充分条件.