A learning-based synthesis approach to decentralized supervisory control of discrete event systems w

来源 :Control Theory and Technology | 被引量 : 0次 | 上传用户:flyrain_yan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
In this paper, we consider the problem of automatic synthesis of decentralized supervisor for uncertain discrete event systems. In particular, we study the case when the uncontrolled plant is unknown a priori. To deal with the unknown plants,we first characterize the conormality of prefix-closed regular languages and propose formulas for computing the supremal conormal sublanguages; then sufficient conditions for the existence of decentralized supervisors are given in terms of language controllability and conormality and a learning-based algorithm to synthesize the supervisor automatically is proposed. Moreover,the paper also studies the on-line decentralized supervisory control of concurrent discrete event systems that are composed of multiple interacting unknown modules. We use the concept of modular controllability to characterize the necessary and sufficient conditions for the existence of the local supervisors, which consist of a set of local supervisor modules, one for each plant module and which determines its control actions based on the locally observed behaviors, and an on-line learning-based local synthesis algorithm is also presented. The correctness and convergence of the proposed algorithms are proved, and their implementation are illustrated through examples. In this paper, we consider the problem of automatic synthesis of decentralized supervisor for uncertain discrete events systems. In particular, we study the case when the uncontrolled plant is unknown a priori. To deal with the unknown plants, we first characterize the conormality of prefix -closed regular languages ​​and propose formulas for computing the supremal conormal sublanguages; then sufficient conditions for the existence of decentralized supervisors are given in terms of language controllability and conormality and a learning-based algorithm to synthesize the supervisor automatically is proposed. Moreover, the paper also studies the on-line decentralized supervisory control of concurrent discrete event systems that are composed of multiple interacting unknown modules. We use the concept of modular controllability to characterize the necessary and sufficient conditions for the existence of the local supervisors, which consist of a set of local supervisor modules, one for each plant module and which determines its control actions based on the locally observed behaviors, and an on-line learning-based local synthesis algorithm is also presented. The correctness and convergence of the proposed algorithms are proved, and their implementation are illustrated through examples.
其他文献
道路交通事故现场勘查与常规司法行政活动、刑事现场勘查不同,具有法律特定性、技术专业性、时间紧迫性等特点,是确保事故责任认定无误的关键环节.基于此,本文就当前道路交通
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
生产建设项目水土保持监测与评价研究是科学合理进行该工作的关键,本文介绍了监测体系中的指标体系和监测方法体系,并对目前存在的问题进行了探讨,也提出了相应的建设改进方
改革开放30年来,我国社会经济和法制建设取得了令人瞩目的成就。在中央提出创建社会主义和谐社会的目标后,如何有效地保障公民在养老等方面的社会保障权利,是我国社会保障立
学位
项目风险等级确定是项目风险管理中最关键的环节,本文对项目风险的等级分类及确定方法进行了分析,提出了5级4类和4级3类二种项目风险等级的确定方法,为项目风险管理者进行项
教学过程的本质是什么?实际上就是教师的教和学生的学二者的统一,就是师生通过对话进行创造的一个过程。正如巴西著名教育家弗莱雷所说:“教育具有对话性,教学应是对话式的,对话是
以25个账面市值比—规模组合及扩展的证券组合作为检验资产,以一系列经济、情绪和市场指标作为备选状态变量,应用ICAPM理论和GMM方法检验了中国股市动态的风险收益关系。应用
The demands of a rapidly advancing technology for faster and more accurate controllers have always had a strong influence on the progress of automatic control t
期刊
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥