Redução de Diagnosticadores de Sistemas a Eventos Discretos

Augusto  P. Vasconcellos; Gustavo  S. Viana; Marcos  V. Moreira

doi:10.48011/asba.v2i1.1705

Augusto P. Vasconcellos Universidade Federal do Rio de Janeiro
Gustavo S. Viana Universidade Federal do Rio de Janeiro
Marcos V. Moreira Universidade Federal do Rio de Janeiro

DOI: https://doi.org/10.48011/asba.v2i1.1705

Keywords: Sistemas a eventos discretos, Diagnóstico de falhas, Autômatos

Abstract

A principal desvantagem na implementação do diagnosticador tradicional de Sistemas a Eventos Discretos proposto na literatura é que seu conjunto de estados pode ser muito grande, requerendo o uso de uma quantidade de memória demasiadamente grande para armazenar o diagnosticador para sistemas grandes e complexos. Neste artigo, é proposto um algoritmo para computar um diagnosticador reduzido, que preserva tanto a diagnosticabilidade da linguagem do sistema quanto o mesmo atraso para o diagnóstico que o diagnosticador original. Além disso, é mostrado que a estratégia de redução proposta pode levar a um diagnosticador reduzido com menos estados do que outras estratégias propostas na literatura.