导读:本文包含了混合模监控论文开题报告文献综述、选题提纲参考文献及外文文献翻译,主要关键词:谓词,语言,论文。
混合模监控论文文献综述
王飞,胡奇英[1](2004)在《事件反馈与状态反馈的混合模监控》一文中研究指出在监控理论中 ,处理状态膨胀的标准方法之一是基于语言或谓词的模监控 .但文献中没有涉及同时基于语言与谓词的混合模监控 .本文研究混合模监控综合及其性质 .通过提出状态反馈与某一事件反馈的等价关系 ,给出了两者相连接的定义 ,进而得到了混合模监控器等价于子监控器与子控制器的连接 .并讨论了混合模监控器具有非阻塞性与无死锁性所满足的条件 ,即基于语言的闭环系统行为的封闭性与谓词的Σu-不变性 ,而其是无死锁的充要条件是子监控器与子控制器必须均是无死锁的并满足d-不变关系(本文来源于《控制理论与应用》期刊2004年06期)
混合模监控论文开题报告
混合模监控论文参考文献
[1].王飞,胡奇英.事件反馈与状态反馈的混合模监控[J].控制理论与应用.2004