Resumo da Tese apresentada à COPPE/UFRJ como parte dos requisitos necessários para a obtenção do grau de Doutor em Ciências (D.Sc.)
Codiagnosticabilidade Robusta de Sistemas a Eventos Discretos Sujeitos a Perdas de Observação
Jean Hilaire Adebai Tomola
Março/2016
Orientador: |
Marcos Vicente de Brito Moreira
|
Programa: |
Engenharia Elétrica |
Diversas noc~oes de diagnosticabilidade robusta de Sistemas a Eventos Discretos (SED) t^em sido apresentadas na literatura. Em todos esses trabalhos, o objetivo e a detecc~ao de eventos de falha n~ao-observaveis em SEDs sujeitos a incertezas na observac~ao dos eventos e/ou no modelo da planta. Recentemente, as noc~oes de diagnosticabilidade robusta de SEDs sujeitos a perdas permanentes de observac~ao (DRPPO) e codiagnosticabilidade robusta de SEDs sujeitos a perdas intermitentes de observac~ao (CRPIO) foram introduzidas, em que a incerteza esta no conjunto de eventos observaveis do sistema. Nesse sentido, a linguagem do sistema e dita ser robustamente diagnosticavel se e possvel detectar a ocorr^encia da falha, com um atraso limitado, mesmo que alguns sensores falhem permanentemente ou intermitentemente em comunicar a ocorr^encia dos eventos para o diagnosticador. Neste trabalho, a noc~ao de DRPPO e estendida para o caso decentralizado, levando a denic~ao de codiagnosticabilidade robusta a perdas permanentes de observac~ao (CRPPO). Alem disso, e apresentada uma nova denic~ao de CRPIO que permite abordar uma classe maior de problemas. A tese tambem aborda o problema de implementac~ao online de diagnosticadores e e apresentado um esquema eciente para a codiagnose robusta. Outra contribuic~ao da tese s~ao algoritmos com complexidade polinomial no numero de estados e eventos do sistema para a vericac~ao de CRPPO e CRPIO, e para o calculo do limite de atraso para a codiagnose robusta.