莫日翔, 刘富春. 离散事件系统的可纠错性研究[J]. 云南大学学报(自然科学版), 2015, 37(2): 187-193. doi: 10.7540/j.ynu.20140251
引用本文: 莫日翔, 刘富春. 离散事件系统的可纠错性研究[J]. 云南大学学报(自然科学版), 2015, 37(2): 187-193. doi: 10.7540/j.ynu.20140251
MO Ri-xiang, LIU Fu-chun. On correctability of fault-tolerate discrete-event system[J]. Journal of Yunnan University: Natural Sciences Edition, 2015, 37(2): 187-193. DOI: 10.7540/j.ynu.20140251
Citation: MO Ri-xiang, LIU Fu-chun. On correctability of fault-tolerate discrete-event system[J]. Journal of Yunnan University: Natural Sciences Edition, 2015, 37(2): 187-193. DOI: 10.7540/j.ynu.20140251

离散事件系统的可纠错性研究

On correctability of fault-tolerate discrete-event system

  • 摘要: 故障诊断及纠错是离散事件系统研究热点之一,主要研究在控制器实施控制的情况下,如何对离散事件系统的故障实行纠错,使系统运行在可接受状态范围内.通过对可纠错状态的形式化,提出了一种基于系统状态圈的纠错方法,给出了构造纠错控制器的算法.在探讨多次状态转移时故障事件规律发生的基础上,给出了系统的最小可纠错状态集的具体计算方法,提出了在最小状态集下离散事件系统控制器的构造方法,并给出了一种控制器实施控制的方案.

     

    Abstract: Failure diagnosability and correctability of discrete-event systems are widely studied.In this paper,we mainly focus on how to correct failure events of discrete-event systems (DESs) under the condition that the controller takes control,for making the system run within accepted states.With the formalization of correctable states and events,we propose a correct method based on cycles of system’s states.Meanwhile,a controller-construct algorithm is proposed.After discussing the rule of failure event’s occurrence while system’s states change substantially,we present respectively a method to calculate the minimal set of states such that the system can be corrected and a feasible solution for the corrected system based on the minimal set of states.

     

/

返回文章
返回