一种对称离散事件系统在线控制律重构方法

摘要

本发明公开了一种对称离散事件系统在线控制律重构方法，包括以下步骤：1)计算得系统的全局自动机模型G；2)计算得到重标记后的自动机RG＝relabel(G)及重标记后的性能指标；3)计算得事件重标记系统中的监督控制器XRSUP(m,n)；4)对事件重标记系统中的监督控制器XRSUP(m,n)进行简化，得简化后的监督控制器XRSIM(m,n)；5)计算缓冲区容量k增减时重构后系统的监督控制器NSUP；6)计算简化后的监督控制器SUP_INV与重构后系统的监督控制器NSUP之间的对应状态对集合SP；7)将简化后的监督控制器SUP_INV与重构后系统的监督控制器NSUP的状态进行无缝切换，该方法能够实现对原有监督控制器进行简化，同时能够实现简化后的监督控制器与重构后系统的监督控制器之间的在线切换。

主权项

一种对称离散事件系统在线控制律重构方法，其特征在于，包括以下步骤：1)建立系统中各个组件的自动机模型G_α,并根据系统中各个组件的自动机模型G_α利用同步积算法计算得系统的全局自动机模型G；2)对系统的全局自动机模型G及性能指标BSPEC分别进行事件重标记操作，得重标记后的自动机RG＝relabel(G)及重标记后的性能指标RBSPEC，其中，将G及RG分别记作MACH(m,n)及RMACH(m,n)；3)重标记后的自动机RG及重标记后的性能指标RBSPEC通过TCT软件中的supcon算法计算得事件重标记系统中的监督控制器XRSUP(m,n)；4)调用TCT软件中的supreduce算法对事件重标记系统中的监督控制器XRSUP(m,n)进行简化，得简化后的监督控制器XRSIM(m,n)，并将XRSIM(m,n)记作SUP_INV；5)当组件增加或删除时，简化后的监督控制器SUP_INV保持不变，因此只需生成由缓冲区容量增减触发重构后系统对应的监督控制器，设缓冲区容量为k，计算缓冲区容量k增减时重构后系统的监督控制器NSUP；6)建立简化后的监督控制器SUP_INV与重构后系统的监督控制器NSUP之间的对应状态集合对关系，计算简化后的监督控制器SUP_INV与重构后系统的监督控制器NSUP之间的对应状态集合对集合CSP；7)根据步骤6)得到的对应状态集合对集合CSP将简化后的监督控制器SUP_INV与重构后系统的监督控制器NSUP的状态进行无缝切换。