基于状态树结构的部分可观离散事件系统的监督控制

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:yuhui269
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
过去几十年中,随着当代工业生产的技术创新与产业发展,离散事件系统得到了飞速发展,已被广泛应用于各种不同领域,例如制造系统,交通系统,数据库管理系统,通信协议,以及后勤(服务)系统等。这些复杂系统均可从离散的角度进行研究,因此,越来越多的研究学者和工程师都致力于离散事件系统的建模、分析以及控制。其中,Ramadge和Wonham(RW)首先提出了针对普遍离散事件系统的监督控制方法,其所得研究成果形成了一套完整的监督控制理论。基于RW框架,一个离散事件系统被建模为一个自动机,它的动态信息则被描述为一种自动机产生的由一系列事件构成的规范语言。为了控制离散事件系统,RW方法旨在构造一个控制器,通过对可控事件进行控制,使系统能够依照合适的方式发生或停止。
  然而,对一些复杂系统,由于其状态数量将随组件的增加而急剧增长,在计算其控制器的过程中会出现状态爆炸问题。为了有效解决离散事件系统的监督控制中出现的这一问题,Ma和Wonham提出了一个新的框架――状态树结构――作为监督控制理论的拓展。状态树结构具备了由状态树(state-trees)和子整体(holons)实现的纵向和横向的结构特性。因此,对状态规模极大的复杂系统,可使用状态树结构进行建模和控制。其最重要的优势在于,对一个控制问题,无论是基于监督控制理论还是状态树结构,均会得到相同的控制行为。然而相比之下,状态树结构的计算效率更高。
  在实际生活中,受限于传感器功能、信息传递方式等约束,只有一部分事件可以被观测。基于RW框架,广大学者和工程师们就部分可观的监督控制问题展开了深入研究,并提出了各种不同的用以计算可观控制器的方法。然而,计算大规模系统可观控制器的过程中,状态爆炸问题仍有待解决。因此,这篇论文将利用状态树结构,针对部分可观的监督控制问题展开讨论。主要的研究成果如下:
  1.针对状态树结构部分事件的不可观性,定义状态树结构的自然投影。首先,通过分析事件的可观性,计算谓词(表示一组状态树)的自然投影。相应地,转移函数被重新改写为一个表示投影谓词之间通过可观事件串(由一系列可观事件构成)转移的关系。同时,自然投影定义的合理性及投影后转移函数的合理性均得到了验证。然后,通过几个命题进一步说明了自然投影的性质,它不会改变基于可观事件的系统行为,即,若对投影后的系统进行分析,得到的控制器对原系统依然适用。基于状态树结构,利用所提定义,自然投影的计算成本被大幅降低。由此,尤其是针对复杂系统,我们可以进一步分析部分可观的监督控制问题。
  2.针对部分可观状态树结构的监督控制问题,提出了最优的正则控制方法。这一部分的研究要求仅对可观且可控的事件进行控制,主要依照以下两个步骤来实现。首先,给定一个由谓词表示的控制需求,计算出一个最优正则子谓词,它要求只有可观且可控的事件可以被使能或禁止。接下来,通过屏蔽掉不可观的事件,构造新的转移函数。从而,在最优正则子谓词的基础上,使用新的转移函数计算出最优的弱可控且协同可达的子谓词。这一方法基于状态树结构解决了部分可观离散事件系统的监督控制问题,为大规模复杂系统的状态爆炸问题的控制提供了可能。此外,我们利用三个不同的例子展示了这一研究在工业应用领域的贡献。
  3.针对部分可观状态树结构的监督控制问题,为了能够得到更优的控制结果,提出了可观的控制方法。这一部分的研究是基于正则状态树结构的框架展开的,此框架要求对于任意两个合取为假的子谓词,它们投影的合取依然为假(false)。首先,基于状态树结构,定义谓词的可观性,并且证明了最优可观子谓词不存在。第二,基于正则状态树结构的框架,对于某给定的谓词(通过分析控制需求可得),构造一个由可观子谓词组成的存在最大元素的子集。第三,获得这一最大的元素后,迭代地计算出一个弱可控、协同可达且可观的子谓词,用以解决部分可观离散事件系统的监督控制问题。最后,通过详细地分析一个状态规模达到1012的例子,证明了本文所提出的基于状态树结构的算法在计算效率方面有很大的优势,尤其是针对监督控制理论中无法计算的复杂系统。
其他文献
互联网的低门槛、开放性、多互动性使其成为民众意见、观点的集散地。电子政务新媒体时代,各级地方政府打造新媒体时代“互联网+政务”模式,构建政务新媒体传播网格化、立体化格局,搭起官民沟通桥梁,同时,网络舆论的多样性、多发性、时效性和重要性愈发凸显,社会生活方式的急速变化影响到意识形态领域,人们的行为方式、思维方式和价值取向等也呈现出更加独立、多变的趋势,这使得社会舆论的作用具有双面性,群众作为监督者,
目的探讨创伤性颈动脉海绵窦瘘(TCCF)血管内栓塞治疗的方法及效果。方法以我院2005—2013年收治的37例病人作为研究对象。在局麻或全麻下,采用股动脉入路,采用可脱性球囊栓塞方法进行介入治疗。结果 7例病人一次栓塞成功29例,二次栓塞成功4例。4例采用球囊堵塞颈动脉近端和远端的方法治愈。颈内动脉通畅率89.19%(33/37)。有5例患者有并发症,并发症发生率为13.51%(5/37),经过对
光学波长交错滤波器(Interleaver)是密集波分复用系统中的重要器件之一,可以将一组信道均匀分为奇偶两组信道,实现通信信道间隔增倍,达到提高通信容量的目的。马赫-曾德尔干涉仪型(MZI)波长交错滤波器具有结构简单、易于集成、信道均匀性好、插入损耗小、制作成本低等优点,成为目前制作Interleaver使用最为广泛的一种方案。光纤微环谐振腔为设计结构紧凑的全光纤波长交错滤波器提供了新的思路和方
随着我国高速铁路以及城市轨道交通的迅速发展,为了满足现代列车高速运行,列车控制系统就需要一套低成本可靠的列车姿态测量系统。MEMS(微机电系统)IMU(惯性测量单元)具有低成本、低功耗等特点。当前,国内研制的高速列车ATO(自动驾驶)是在CTCS3级列控系统基础上实现的,目前已经装车并成功运营。ATO的实现主要是通过IMU测量列车的姿态信息推算出列车位置、速度等信息,与GNSS和雷达等传感器进行多
学位
随着无线通信技术的快速发展,人们对通信技术的可靠性和高效性提出了更高的要求,作为下一代移动通信的核心技术之一,非正交多址接入技术(Non-OrthogonalMultipleAccess,NOMA)引起了广大学者的注意。NOMA技术可以令接入用户共享时频资源从而大幅度提升了频谱效率,并通过对接入用户的功率分配可以保障用户间公平性。协作通信技术作为多天线技术的扩展技术,可以通过单天线设备间进行相互协
学位
股票时间序列是一种常见的非线性时间序列,现有的股票时间序列预测研究主要集中在对股票的多个技术指标中单一变量的预测研究方面,大多学者只用某种具体方法对股票技术指标之一的预测应用进行探索,并没有考虑到多个指标对单一输出的联合影响,更没用构建一套系统可行的股票价格时间序列预测建模体系。随着机器学习算法的发展,神经网络模型的广泛应用,针对股票时间序列数据所具有的高噪声、非线性、影响因素复杂等特点,本文分析
学位
改革开放以来,我国的城市建设工作取得了辉煌的成就,城市化水平从1978年的17.92%增长2017年的58.52%。作为城市化的重要载体,城市道路项目的建设也突飞猛进。但与此同时部分项目出现了控制不住投资、建设周期延长、建成后不能按时投入使用、投入使用后不能达到预期等问题等问题。如何提高城市道路项目的投资效率,规范政府投资行为是摆在各级城市政府面前的重要课题。本文从项目后评价的角度,针对城市道路项
[db:内容简介]
随着便携式电子设备的功能越来越丰富,芯片对电源的要求越来越高。LDO作为电源管理芯片,受益于其纹波小、噪声低、体积小以及无EMI等优点,得到广泛应用。在工艺上,相比于MOS工艺,双极工艺的驱动能力更好。因此,很多LDO采用双极工艺实现,尤其是大负载电流的。  本文采用2μm40V双极工艺,使用Cadence、Hspice等软件工具设计了一款大电流低压差线性稳压器芯片。主要研究内容如下:  1.针对
随着技术的发展,无人机正在侦察、监视、测绘、军事打击等领域大展拳脚,这对无人机的操作提出了更高要求。操作者能够在复杂环境下完成飞行控制的前提是其对飞行环境有着充分的认知,增强合成视景系统正是面对这样的需求而被提出的。复杂环境融合感知凸显是其核心功能。  本文对无人机增强合成视景系统进行了大量分析、设计和实现,主要研究了如下内容:  1、增强合成视景和视景仿真关键技术。分析了增强合成视景相关的数据库