Detalhes bibliográficos
Ano de defesa: |
2023 |
Autor(a) principal: |
Rezende, Thalys Eduardo Ferreira |
Orientador(a): |
Não Informado pela instituição |
Banca de defesa: |
Não Informado pela instituição |
Tipo de documento: |
Tese
|
Tipo de acesso: |
Acesso aberto |
Idioma: |
por |
Instituição de defesa: |
Não Informado pela instituição
|
Programa de Pós-Graduação: |
Não Informado pela instituição
|
Departamento: |
Não Informado pela instituição
|
País: |
Não Informado pela instituição
|
Palavras-chave em Português: |
|
Link de acesso: |
https://repositorio.udesc.br/handle/UDESC/17703
|
Resumo: |
Este trabalho considera o problema da controlabilidade segura de Sistemas a Eventos Discretos (SEDS). Neste contexto, as falhas são consideradas permanentes e são modeladas por eventos não controláveis e não observáveis e são incluídas de forma explícita na modelagem do SED sob análise. Tendo em vista que o uso da diagnose e prognose lógicas de falhas pode levar a soluções muito restritivas, especialmente pela dificuldade de prognosticar a ocorrência de falhas com absoluta certeza, nesta tese adota-se uma abordagem estocástica. As avaliações de diagnose e prognose são realizadas por meio da construção de automato diagnosticador. São apresentados novos métodos e abordagens para os problemas de diagnose de falhas, prognose de falhas e controlabilidade segura em sistemas a eventos discretos modelados por automatos probabilísticos. É apresentada a propriedade denominada certeza de anormalidade para automatos clássicos, bem como a extensão do conceito para automatos probabilísticos por meio da formalização de um coeficiente de anormalidade. É apresentado um modelo dinâmico para a avaliação de prognose de falhas, o qual possui função de transição probabilística, que é atualizada mediante a observação de eventos em tempo de execução. É apresentada uma proposta de um modelo de diagnosticador denominado Diagnosticador Estocástico Com Saídas (DECS), que contém probabilidades de diagnose de falhas, probabilidades de ocorrência futura de falhas e probabilidades de ocorrência futura de evento proibido após a falha. São apresentadas duas abordagens distintas para o cálculo do DECS, as quais são denominadas de Diagnosticador Estocástico com Probabilidades Estáticas e Diagnosticador Estocástico com Probabilidades Dinâmicas. São introduzidas as propriedades de u-diagnosticabilidade, u-diagnosticabilidade segura, u-prognosticabilidade, controlabilidade segura pela u-diagnose, controlabilidade segura pela u-prognose e controlabilidade segura pelo coeficiente de anormalidade. São apresentadas as condições necessárias e suficientes para que um SED seja u-diagnosticável seguro, controlável seguro pela u-diagnose, controlável seguro pela u-prognose e controlável seguro pelo coeficiente de anormalidade. Tais condições são verificadas sobre o Diagnosticador Estocástico com Probabilidades Estáticas. Por outro lado, o Diagnosticador Estocástico com Probabilidades Dinâmicas é utilizado em tempo de execução, com atualização das probabilidades de maneira dinâmica, com o intuito de fornecer informações para atuação numa estrutura de controle tolerante a falhas, a fim de garantir a controlabilidade segura do sistema. A controlabilidade segura pelo coeficiente de anormalidade é uma generalização do conceito de controlabilidade segura em SEDS, pois a utilização conjunta de diagnose e prognose estocásticas pode garantir controlabilidade segura a SEDS que não possuem DP-Controlabilidade Segura lógica |