A Diagnoser-Based Approach to Diagnosis and Diagnosability of Repeated Faults of Discrete-Event Systems

• 成果类型: Article
• 署名作者: Basilio, Joao C.; Silva, Guilherme M. Ottoni
• 署名单位: Universidade Federal do Rio de Janeiro
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2025.3546163
• 发表日期: 2025
• 页码: 5491-5498
• 关键词: automata; Discrete-event systems; Synchronization; SYMBOLS; Servers; security; safety; POLYNOMIALS; Performance evaluation; observers; automaton; diagnosability; discrete-event systems (DES); repeated faults

摘要

Studies carried out in real plants have shown thatrepeated and/or intermittent fault events occur frequently duringthe operation of a system. Regarding the occurrence of repeatedfault events, the problem becomes that of determining the numberof occurrences of the fault event, namely, for a given kappa is an element of Z & lowast;+,and based on the observation of events, be sure that the faultevent has occurred at least kappa times (kappa-diagnosability). In thisarticle, the problem of repeated fault diagnosability is revisited,and a new algorithm that relies on a diagnoser-based automatonis proposed for the verification of kappa-diagnosability. Based on the proposed test automaton, a necessary and sufficient condition for kappa-diagnosability is presented. As a by-product of the proposed method to verify kappa-diagnosability, a diagnoser that can be used for online diagnosis is also developed.