本发明公开了一种离散事件系统次优监督控制器生成方法
离散事件系统包括以下步骤1)构建系统中各组件Gi的自动机模型PLANTi=(Qi,Σi,δi,qi0,Qim),其中,Qi、Σi、δi、qi0及Qim分别为第i个组件的状态集合、事件集合、转移函数、初始状态及标识状态集合,计算系统的全局自动机模型PLANT;2)将文字描述的性能指标E转换为性能指标E的自动机模型SPECA0;3)计算在性能指标E各状态被禁止的事件集合DAT及其不可控事件分量DATu;4)计算各组件Gi的自动机模型PLANTi中各不可控事件σ对应的邻近可控事件集合J(σ)以及与σ同时定义的事件集合Σσ;5)得性能指标E的自动机模型SPECA0转移函数组成的集合Δ;6)根据性能指标E的自动机模型SPECA0转移函数组成的集合Δ生成离散事件系统次优监督控制器,该方法能够根据性能指标生成离散事件系统次优监督控制器。