CAJ | 학술논문

故障诊断及纠错是离散事件系统研究热点之一。主要研究在故障可诊断但不可控的情况下，控制器对离散事件系统的故障实行纠错，使系统运行在可接受状态范围内的相关问题。通过对可纠错状态的形式化，提出了一种基于状态树的可纠错模型，并得到在此模型下关于可纠错状态必要条件的性质。同时具体给出了可纠错状态的判定算法。
고장진단급규착시리산사건계통연구열점지일。주요연구재고장가진단단불가공적정황하，공제기대리산사건계통적고장실행규착，사계통운행재가접수상태범위내적상관문제。통과대가규착상태적형식화，제출료일충기우상태수적가규착모형，병득도재차모형하관우가규착상태필요조건적성질。동시구체급출료가규착상태적판정산법。
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 .