事件反馈与状态反馈的混合模监控
王飞1
胡奇英2
1.西安交通大学,电子与信息工程学院,陕西,西安,7100492.上海大学,国际工商与管理学院,上海,201800
摘要：在监控理论中,处理状态膨胀的标准方法之一是基于语言或谓词的模监控.但文献中没有涉及同时基于语言与谓词的混合模监控.本文研究混合模监控综合及其性质.通过提出状态反馈与某一事件反馈的等价关系,给出了两者相连接的定义,进而得到了混合模监控器等价于子监控器与子控制器的连接.并讨论了混合模监控器具有非阻塞性与无死锁性所满足的条件,即基于语言的闭环系统行为的封闭性与谓词的Σ u - 不变性,而其是无死锁的充要条件是子监控器与子控制器必须均是无死锁的并满足d - 不变关系.
关键词：语言谓词混合模监控非阻塞无死锁
分类号：TP271(自动化技术及设备)
资助基金：国家自然科学基金(69904008)
论文发表日期：2004-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：6( 901-906 )
英文信息