Verificação da diagnosticabilidade robusta generalizada de sistemas a eventos discretos

This work addresses the problem of generalized robust diagnosability (GRD) of discrete event systems (DESs) described by a class of automata, where each automaton in the class generates a distinct language. The definition of GRD and the algorithm for its verification previously proposed in literature were updated, resulting in an algorithm with smaller computational complexity than the previous one. Based on this algorithm, a new necessary and sufficient condition for generalized robust diagnosability was presented. Four different approaches on diagnosability of DESs were analyzed: the problem of diagnosability of discrete event systems subject to permanent sensor failures (i); the problem of robust diagnosis of discrete event systems against permanent (ii) and intermittent (iii) loss of observations; and the problem of verification of robust diagnosability for partially observed discrete event systems (iv). Transformation mechanisms for each analyzed problem were proposed with the purpose of demonstrating that all approaches (i) - (iv) are particular cases of the generalized robust diagnosability definition proposed in this work.Este trabalho aborda o problema de diagnosticabilidade robusta generalizada (DRG) de sistemas a eventos discretos (SEDs) descritos por uma classe de autômatos em que cada elemento da classe gera uma linguagem distinta. A definição de DRG e o algoritmo para sua verificação propostos anteriormente na literatura foram atualizados, resultando em um novo algoritmo com menor complexidade computacional que o anterior. Baseado nesse algoritmo, uma nova condição necessária e suficiente para diagnosticabilidade robusta generalizada foi apresentada. Quatro abordagens diferentes sobre diagnosticabilidade de SEDs foram analisadas: o problema de diagnosticabilidade de sistemas a eventos discretos sujeitos a falhas permanentes de sensores (i); o problema de diagnosticabilidade robusta de sistemas a eventos discretos sujeitos a perdas permanentes (ii) e intermitentes (iii) de observação; e o problema de verificação da diagnosticabilidade robusta de sistemas a eventos discretos parcialmente observados (iv). Mecanismos de transformação foram propostos para cada problema analisado com o objetivo de demonstrar que as abordagens de (i) a (iv) são casos particulares da diagnosticabilidade robusta generalizada proposta nesse trabalho