引用本文: | 王 飞, 胡奇英.事件反馈与状态反馈的混合模监控[J].控制理论与应用,2004,21(6):901~906.[点击复制] |
WANG Fei, HU Qi-ying.Mixed modular supervisory control of event feedback and state feedback[J].Control Theory and Technology,2004,21(6):901~906.[点击复制] |
|
事件反馈与状态反馈的混合模监控 |
Mixed modular supervisory control of event feedback and state feedback |
摘要点击 1577 全文点击 928 |
查看全文 查看/发表评论 下载PDF阅读器 |
DOI编号 10.7641/j.issn.1000-8152.2004.6.014 |
2004,21(6):901-906 |
中文关键词 语言 谓词 混合模监控 非阻塞 无死锁 |
英文关键词 language predicate mixed modular supervisory control nonblocking deadlock-free |
基金项目 国家自然科学基金项目 (69904008) |
|
中文摘要 |
在监控理论中 ,处理状态膨胀的标准方法之一是基于语言或谓词的模监控 .但文献中没有涉及同时基于语言与谓词的混合模监控 .本文研究混合模监控综合及其性质 .通过提出状态反馈与某一事件反馈的等价关系 ,给出了两者相连接的定义 ,进而得到了混合模监控器等价于子监控器与子控制器的连接 .并讨论了混合模监控器具有非阻塞性与无死锁性所满足的条件 ,即基于语言的闭环系统行为的封闭性与谓词的Σu-不变性 ,而其是无死锁的充要条件是子监控器与子控制器必须均是无死锁的并满足d-不变关系 |
英文摘要 |
One of the standard ways to handle the state explosion in large systems is to practise the modular supervision of languages or predicates,or of discrete event systems.However,there is nothing to be developed about the mixed modular supervision of both the languages and predicates.The synthesis and properties of mixed modular supervisory control are discussed.By showing the equivalence between a state feedback and some event feedback,the conjunction for the state feedback and the event feedback is defined.Then,the mixed modular supervisor is equivalent to the intersection of the sub-supervisors and the sub-controllers.It is shown that the mixed modular supervisor is nonblocking and deadlock-free under the condition of the Σ u-invariance of the predicates and the closeness of the languages.Furthermore,a mixed modular supervisor is deadlock-free if and only if the subsupervisors and subcontrollers are all deadlock-free and the corresponding pair meets a d-invariant relation. |
|
|
|
|
|