[发明专利]一种离散事件系统次优监督控制器生成方法有效
申请号: | 201710736509.6 | 申请日: | 2017-08-24 |
公开(公告)号: | CN107341325B | 公开(公告)日: | 2020-03-31 |
发明(设计)人: | 甘永梅;焦亭 | 申请(专利权)人: | 西安交通大学 |
主分类号: | G06F30/20 | 分类号: | G06F30/20;G05B19/418 |
代理公司: | 西安通大专利代理有限责任公司 61200 | 代理人: | 陆万寿 |
地址: | 710049 陕*** | 国省代码: | 陕西;61 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: |
本发明公开了一种离散事件系统次优监督控制器生成方法,包括以下步骤:1)构建系统中各组件G |
||
搜索关键词: | 一种 离散 事件 系统 次优 监督 控制器 生成 方法 | ||
【主权项】:
一种离散事件系统次优监督控制器生成方法,其特征在于,包括以下步骤:1)通过TCT软件构建系统中各组件Gi的自动机模型PLANTi=(Qi,Σi,δi,qi0,Qim),其中,Qi、Σi、δi、qi0及Qim分别为第i个组件的状态集合、事件集合、转移函数、初始状态及标识状态集合,并根据各组件Gi的自动机模型PLANTi利用同步积指令计算系统的全局自动机模型PLANT;2)将文字描述的性能指标E转换为性能指标E的自动机模型SPECA0;3)根据性能指标E的自动机模型SPECA0及系统的全局自动机模型PLANT计算在性能指标E各状态被禁止的事件集合DAT及其不可控事件分量DATu;4)计算各组件Gi的自动机模型PLANTi中各不可控事件σ对应的邻近可控事件集合J(σ)以及与σ同时定义的事件集合Σσ;5)根据各组件Gi的自动机模型PLANTi中各不可控事件σ对应的邻近可控事件集合J(σ)以及与σ同时定义的事件集合Σσ得性能指标E的自动机模型SPECA0转移函数组成的集合Δ;6)根据性能指标E的自动机模型SPECA0转移函数组成的集合Δ生成离散事件系统次优监督控制器。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于西安交通大学,未经西安交通大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201710736509.6/,转载请声明来源钻瓜专利网。