离散事件系统基于状态树的可纠错性及其算法研究  

Correctability and Algorithm of Discrete-Event System Based on State Tree

作　　者：莫日翔 刘富春[1] 

机构地区：[1]广东工业大学计算机学院,广东广州510006

出　　处：《广东工业大学学报》2015年第2期53-57,共5页Journal of Guangdong University of Technology

基　　金：国家自然科学基金资助项目(60974019;61273118);广东省自然科学基金资助项目(S2012010010570);广东省高校省级重大科研资助项目(2014KZDXM033)

摘　　要：故障诊断及纠错是离散事件系统研究热点之一.主要研究在故障可诊断但不可控的情况下,控制器对离散事件系统的故障实行纠错,使系统运行在可接受状态范围内的相关问题.通过对可纠错状态的形式化,提出了一种基于状态树的可纠错模型,并得到在此模型下关于可纠错状态必要条件的性质.同时具体给出了可纠错状态的判定算法.Failure diagnosability and correctability of discrete-event systems are widely studied .This pa-per mainly focus on the question about correcting failure events of discrete-event systems （ DESs） under the condition that failure events are diagnosable but uncontrollable , for making the system run within ac-cepted states .With the formalization of correctable states , A correcting model based on state tree is pro-posed .Meanwhile , the necessity of correctable states is derived and an algorithm for checking correctable states is proposed .

关 键 词：离散事件系统 容错系统 可纠错性 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]