Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems

来源 :自动化学报 | 被引量 : 0次 | 上传用户:ruiping009
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
A quite great progress of the supervisory control theory for discrete event systems (DES) has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools. This paper focus on the Petri nets based supervisory control theory of DES. Firstly, we review the research results in this field, and claim that there generally exists a problem in Petri nets based supervisory control theory of DES, that is, the deadlock caused by the controller introduced to enforce the given specification occurs in the closed-loop systems, especially the deadlock occurs in the closed-loop system in which the original plant is live. Finally, a possible research direction is presented for the solution of this problem. A quite great progress of the supervisory control theory for discrete event systems (DES) has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools. This paper focus on the Petri nets based supervisory control theory of DES. that we review the research results in this field, and claim that there exists generally a problem in Petri nets based supervisory control theory of DES, that is, the deadlock caused by the controller introduced to enforce the given specification occurs in the closed-loop systems, especially the deadlock occurs in the closed-loop system where which the original plant is live. Finally, a possible research direction is presented for the solution of this problem.
其他文献
企业计提资产减值准备的目的在于通过计提资产减值准备的方式,将长期积累的不良资产泡沫予以逐步消除,使会计信息更加真实地反映资产的有效价值,使资产能够真实地反映企业未
期刊
二板市场又称小企业市场,小盘股市场或创业股市场,是在服务对象、上市标准、交易制度等方面不同于主板市场的资本市场。二板市场的主要功能是为具有良好成长性的高科技企业
全球化是当今时代重要的特征之一,也是国家审计全面履行职责所不容忽视的客观环境.全球化及其引发的全球性问题,呼唤治理要在国家治理的基础上向全球治理延伸.国家审计作为国
期刊
本文介绍了包钢用新型脱氧剂生产低碳铝镇静钢的工艺路线,采用新型脱氧剂脱氧合金化后,钢中氧含量控制在10×10-6~50×10-6,低碳铝镇静钢的合格率达99﹪以上,铸坯质量合格.
2011年,河北省S市审计局对该市供水集团开展的经济责任审计项目被审计署评为全国地方表彰审计项目.通过这个项目,审计查出该集团隐瞒财政收入、少计国有资产等违规违纪资金2.
期刊
2008年的国际金融危机对出口导向型经济的德国产生了巨大冲击,德国政府在危机中冷静分析,果断行动,稳住了金融体系,先后出台了两套经济振兴计划,成功遏制了金融危机蔓延,使经
期刊
为进一步提高连铸机产能,一钢厂3#铸机通过开发、引进新工艺、新设备,对铸机工艺和装备水平进行系统整体优化,使铸机拉速和铸坯质量得到了大幅度提高,实现了一钢厂板坯铸机的
随着我国经济社会快速发展,社会主义市场经济体制下公共财政管理框架逐步建立,以“四项制度改革”为核心的财政预算和收支管理进一步规范,常规的财政违纪违规问题明显减少,这
期刊
研究了铬酸钠溶液的还原过程,并对其进行了动力学分析.结果表明,铬酸钠溶液的还原符合典型的固液反应动力学规律,还原过程初期为化学反应控制,后期为扩散控制过程.获得了这两
通过水力学模型实验,研究了湍流抑制器对中间包内钢液流动的影响,并比较了有无湍流抑制器时中间包内钢液流动的特性.湍流抑制器使钢液由长水口注入中间包后再返回,从而消除了