Detalhes bibliográficos
Ano de defesa: |
2021 |
Autor(a) principal: |
Moreira, Benjamin Grando |
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/15071
|
Resumo: |
Este trabalho considera o problema do controle tolerante a falhas em sistemas a eventos discretos. É utilizada a abordagem de controle tolerante a falhas ativo e seguro, que consiste em evitar sequências de eventos que podem levar o sistema a um comportamento proibido após a ocorrência de uma falha. Para isso são utilizadas as noções de diagnosticabilidade segura e controlabilidade segura. No controle tolerante a falhas ativo é necessário diagnosticar uma falha e então realizar o chaveamento do supervisor nominal para um supervisor pós-falha, sendo esse projetado para garantir a evolução do sistema após a diagnose, bem como a controlabilidade segura. Originalmente, o conceito de controlabilidade segura é associado à diagnose segura de falhas. Para a diagnose segura, a linguagem do sistema deve ser diagnosticável e a falha precisa ser diagnosticada antes da ocorrência de uma cadeia proibida. Para a controlabilidade segura, a diagnose da falha deve ocorrer de forma a permitir que algum evento controlável possa ser desabilitado e em tempo de impedir a ocorrência da cadeia proibida. Nesta tese, introduz-se inicialmente um relaxamento da condição para a diagnose segura e, consequentemente, na controlabilidade segura, de forma a não exigir que a linguagem seja diagnosticável. As noções relaxadas são denominadas A-diagnosticabilidade segura e A-controlabilidade segura. Mostra-se então que a A-controlabilidade segura de uma linguagem é uma condição necessária e su_ciente para garantir a solução para o problema do controle tolerante a falhas ativo. Como principal contribuição do trabalho está a introdução de um novo tipo de diagnosticador, denominado Diagnosticador Controlador Ativo, que atua juntamente com o supervisor do sistema com o objetivo de garantir a controlabilidade segura quando a linguagem não é A-controlável segura. A partir desse novo tipo de diagnosticador é introduzida a estrutura de CTF ativo usando o Diagnosticador Controlador Ativo. |