焦亭
- 作品数：8 被引量：2H指数：1
- 供职机构：西安交通大学更多>>
- 发文基金：国家留学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种对称离散事件系统在线控制律重构方法
- 本发明公开了一种对称离散事件系统在线控制律重构方法，包括以下步骤：1)计算得系统的全局自动机模型G；2)计算得到重标记后的自动机RG＝relabel(G)及重标记后的性能指标；3)计算得事件重标记系统中的监督控制器XRS...
- 甘永梅焦亭
- 文献传递
- 基于事件控制函数的离散事件系统监控器及其控制方法
- 一种基于事件控制函数的离散事件系统监督控制器及控制方法，包括控制装置，所述控制装置包括若干个控制单元，一个管理单元，一个事件选择单元和一个系统状态跟踪单元；所述系统状态跟踪单元组合出整个系统当前时刻的状态，并且输出给各个...
- 甘永梅晁武杰张仁远焦亭
- 文献传递
- 一种对称离散事件系统在线控制律重构方法
- 本发明公开了一种对称离散事件系统在线控制律重构方法，包括以下步骤：1)计算得系统的全局自动机模型G；2)计算得到重标记后的自动机RG＝relabel(G)及重标记后的性能指标；3)计算得事件重标记系统中的监督控制器XRS...
- 甘永梅焦亭
- 文献传递
- 一种离散事件系统次优监督控制器生成方法
- 本发明公开了一种离散事件系统次优监督控制器生成方法，包括以下步骤：1)构建系统中各组件G<Sub>i</Sub>的自动机模型PLANTi＝(Q<Sub>i</Sub>,Σ<Sub>i</Sub>,δ<Sub>i</Sub...
- 甘永梅焦亭
- 文献传递
- 一种离散事件系统次优监督控制器生成方法
- 本发明公开了一种离散事件系统次优监督控制器生成方法，包括以下步骤：1)构建系统中各组件G<Sub>i</Sub>的自动机模型PLANTi＝(Q<Sub>i</Sub>,Σ<Sub>i</Sub>,δ<Sub>i</Sub...
- 甘永梅焦亭
- 对称离散事件系统事件重标记观测器性质研究被引量：2
- 2017年
- 当离散事件系统(discrete-event systems,DES)由多组结构相同的组件构成时,则称离散事件系统具有对称性.为了化简对称离散事件系统的状态空间,本文提出事件重标记映射,将完成相同任务的事件标记为同一事件,将与控制无关的不可控事件设为不可观测事件,并将其标记为空字符擦除.为了确保事件重标记前后系统对应的最大监督控制器具有相同的控制效果,本文引入重标记观测器(relabeling observer property,ROP)的概念并给出判断被控对象对应的语言关于事件重标记映射是否具有重标记观测器性质的算法;然后运用重标记观测器性质证明事件重标记前后监督控制器控制效果的等价性,从而可用简化后的监督控制器实现与事件重标记操作前相同的控制任务.最后通过实例验证所提理论的正确性.
- 焦亭甘永梅肖国春WONHAM W M
- 关键词：离散事件系统对称性
- 基于事件控制函数的离散事件系统监控器及其控制方法
- 一种基于事件控制函数的离散事件系统监督控制器及控制方法，包括控制装置，所述控制装置包括若干个控制单元，一个管理单元，一个事件选择单元和一个系统状态跟踪单元；所述系统状态跟踪单元组合出整个系统当前时刻的状态，并且输出给各个...
- 甘永梅晁武杰张仁远焦亭
- 文献传递
- 对称离散事件系统状态树结构模型的控制函数不变性研究
- 2016年
- 针对对称离散事件系统中使用监督控制理论计算得到的自动机形式的监督控制器状态数较多且无法清晰反映控制逻辑等问题,提出了基于状态树结构的抽象控制函数计算方法。该方法通过充分利用系统的对称性,对避免缓冲区出现上溢或者下溢的性能指标,采用事件重标记映射提取各组中处于加工完成状态的组件数目,从而省去了各组件复杂的运行细节;然后利用状态树结构计算得到基于抽象状态信息的控制函数;最后,结合各组组件并行工作与串行工作的实例,分析所得控制函数的不变性,即在缓冲区容量固定的前提下,控制函数所需的状态信息与组件总数量无关。实验结果表明:在实际应用中借助控制函数的不变性可在结构相同的组件增减时免于重复计算控制函数;各组中重标记为同一事件的各可控事件可由同一控制函数进行使能,有效减少了控制函数的个数;相比于自动机形式的监督控制器,控制函数状态数更少且能更清晰地描述控制逻辑。
- 焦亭甘永梅肖国春
- 关键词：离散事件系统控制函数谓词逻辑
