Seleção Ótima de Sinais para garantir a transparência de Sistemas a Eventos Discretos

Abstract

Sistemas Ciber-Físicos (SCF) desempenham um papel fundamental na Indústria 4.0, possibilitando a integração, o monitoramento e a otimização de processos. No entanto, a grande quantidade de dados gerados por esses sistemas pode sobrecarregar as redes de comunicação. Para lidar com esse problema, são necessárias estratégias eficientes de seleção de sinais que minimizem a transmissão, preservando ao mesmo tempo a utilidade da informação para o receptor desejado. Recentemente, uma definição de utilidade, denominada Transparência Baseada em Propriedade (TP), foi proposta para SCF, modelados como Sistemas a Eventos Discretos. Segundo essa definição, um sistema é considerado transparente se a propriedade de interesse puder sempre ser inferida pelo receptor, enquanto o sistema ainda mantém essa propriedade. Neste artigo, a informação transmitida pelo sistema para receptores são vetores evento, representados pelas mudanças nos sinais da planta. Então, é formulado o problema de minimizar o número de sinais transmitidos enquanto a transparência do sistema é garantida, denominado Seleção Ótima de Sinais (SOS). Para resolver o problema SOS de maneira eficiente, condições necessárias baseadas na observabilidade de vetores eventos são estabelecidas. Essas condições permitem reduzir o custo computacional do problema SOS em diversos casos.