Diagnosticabilidade de falhas repetidas de sistemas a eventos discretos: novos algoritmos para verificação da diagnosticabilidade-κ

Abstract

Studies carried out in real plants show that repeated and/or intermittent failures frequently occur during the operation of a system. When it comes to diagnosing the occurrence of repeated faults, the problem becomes one of determining the number of occurrences of the fault, i.e., for a given κ ∈ Z∗ , ensure from observation of events that the failure has occurred at least κ times. In this work, the problem of diagnosability of repeated failures will be revisited, and algorithms for diagnosability checking-κ based both in the construction of test automata and in the construction of verifiers will be proposed and, based on these automata, necessary and sufficient conditions for the κ-diagnosability will be presented.