Implementação de algoritmos para controlabilidade segura de seds pela diagnose e prognose de falhas
Main Author: | |
---|---|
Publication Date: | 2019 |
Format: | Bachelor thesis |
Language: | por |
Source: | Repositório Institucional da Udesc |
dARK ID: | ark:/33523/0013000008jbz |
Download full: | https://repositorio.udesc.br/handle/UDESC/14601 |
Summary: | A definição de controlabilidade segura para um Sistema a Eventos Discretos é relacionada com a possibilidade de, após a ocorrência de uma falha em um sistema, prevenir que sejam executados eventos não seguros ou proibidos. Esta prevenção é feita através de ações de controle capazes de alterar o comportamento do sistema. A controlabilidade segura pode ser verificada pordiagnose, por prognose, ou pordiagnose e prognose. A proposta deste trabalho é desenvolver e implementar um algoritmo capaz de verificar tal propriedade para diferentes linguagens. Então, neste trabalho,apresentam-se os estudos necessários para a detecção de controlabilidade segura (ou DP-Controlabilidade Segura) em uma linguagem, além do desenvolvimento e implementação de um software de avaliação dessa. Tal Software será desenvolvido em linguagem Python, testado através de exemplos e, futuramente, integrado à ferramenta Nadzoru, desenvolvida na Universidade do Estado de Santa Catarina. |
id |
UDESC-2_7bb390d2d64922e58e7a6556866eb78c |
---|---|
oai_identifier_str |
oai:repositorio.udesc.br:UDESC/14601 |
network_acronym_str |
UDESC-2 |
network_name_str |
Repositório Institucional da Udesc |
repository_id_str |
6391 |
spelling |
Implementação de algoritmos para controlabilidade segura de seds pela diagnose e prognose de falhasEngenharia elétricaSoftware - DesenvolvimentoAlgoritmos de computadorA definição de controlabilidade segura para um Sistema a Eventos Discretos é relacionada com a possibilidade de, após a ocorrência de uma falha em um sistema, prevenir que sejam executados eventos não seguros ou proibidos. Esta prevenção é feita através de ações de controle capazes de alterar o comportamento do sistema. A controlabilidade segura pode ser verificada pordiagnose, por prognose, ou pordiagnose e prognose. A proposta deste trabalho é desenvolver e implementar um algoritmo capaz de verificar tal propriedade para diferentes linguagens. Então, neste trabalho,apresentam-se os estudos necessários para a detecção de controlabilidade segura (ou DP-Controlabilidade Segura) em uma linguagem, além do desenvolvimento e implementação de um software de avaliação dessa. Tal Software será desenvolvido em linguagem Python, testado através de exemplos e, futuramente, integrado à ferramenta Nadzoru, desenvolvida na Universidade do Estado de Santa Catarina.Watanabe, Ana Teruko YokomizoFreitas, Ludimilla Karen Mendes2025-01-24T18:54:01Z2019info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesis84 f.application/pdfFREITAS, Ludimilla Karen Mendes. <b>Implementação de algoritmos para controlabilidade segura de seds pela diagnose e prognose de falhas</b>. 2025. Monografia (Curso de Engenharia Elétrica) - Udesc, 2019. Disponível em: https://repositorio.udesc.br/handle/UDESC/14601. Acesso em: insira aqui a data de acesso ao material. Ex: 18 fev. 2025.https://repositorio.udesc.br/handle/UDESC/14601ark:/33523/0013000008jbzAttribution-NonCommercial-ShareAlike 4.0 Brazilhttp://creativecommons.org/licenses/by-nc-sa/4.0/br/info:eu-repo/semantics/openAccessporreponame:Repositório Institucional da Udescinstname:Universidade do Estado de Santa Catarina (UDESC)instacron:UDESC2025-01-25T06:14:40Zoai:repositorio.udesc.br:UDESC/14601Biblioteca Digital de Teses e Dissertaçõeshttps://pergamumweb.udesc.br/biblioteca/index.phpPRIhttps://repositorio-api.udesc.br/server/oai/requestri@udesc.bropendoar:63912025-01-25T06:14:40Repositório Institucional da Udesc - Universidade do Estado de Santa Catarina (UDESC)false |
dc.title.none.fl_str_mv |
Implementação de algoritmos para controlabilidade segura de seds pela diagnose e prognose de falhas |
title |
Implementação de algoritmos para controlabilidade segura de seds pela diagnose e prognose de falhas |
spellingShingle |
Implementação de algoritmos para controlabilidade segura de seds pela diagnose e prognose de falhas Freitas, Ludimilla Karen Mendes Engenharia elétrica Software - Desenvolvimento Algoritmos de computador |
title_short |
Implementação de algoritmos para controlabilidade segura de seds pela diagnose e prognose de falhas |
title_full |
Implementação de algoritmos para controlabilidade segura de seds pela diagnose e prognose de falhas |
title_fullStr |
Implementação de algoritmos para controlabilidade segura de seds pela diagnose e prognose de falhas |
title_full_unstemmed |
Implementação de algoritmos para controlabilidade segura de seds pela diagnose e prognose de falhas |
title_sort |
Implementação de algoritmos para controlabilidade segura de seds pela diagnose e prognose de falhas |
author |
Freitas, Ludimilla Karen Mendes |
author_facet |
Freitas, Ludimilla Karen Mendes |
author_role |
author |
dc.contributor.none.fl_str_mv |
Watanabe, Ana Teruko Yokomizo |
dc.contributor.author.fl_str_mv |
Freitas, Ludimilla Karen Mendes |
dc.subject.por.fl_str_mv |
Engenharia elétrica Software - Desenvolvimento Algoritmos de computador |
topic |
Engenharia elétrica Software - Desenvolvimento Algoritmos de computador |
description |
A definição de controlabilidade segura para um Sistema a Eventos Discretos é relacionada com a possibilidade de, após a ocorrência de uma falha em um sistema, prevenir que sejam executados eventos não seguros ou proibidos. Esta prevenção é feita através de ações de controle capazes de alterar o comportamento do sistema. A controlabilidade segura pode ser verificada pordiagnose, por prognose, ou pordiagnose e prognose. A proposta deste trabalho é desenvolver e implementar um algoritmo capaz de verificar tal propriedade para diferentes linguagens. Então, neste trabalho,apresentam-se os estudos necessários para a detecção de controlabilidade segura (ou DP-Controlabilidade Segura) em uma linguagem, além do desenvolvimento e implementação de um software de avaliação dessa. Tal Software será desenvolvido em linguagem Python, testado através de exemplos e, futuramente, integrado à ferramenta Nadzoru, desenvolvida na Universidade do Estado de Santa Catarina. |
publishDate |
2019 |
dc.date.none.fl_str_mv |
2019 2025-01-24T18:54:01Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/bachelorThesis |
format |
bachelorThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
FREITAS, Ludimilla Karen Mendes. <b>Implementação de algoritmos para controlabilidade segura de seds pela diagnose e prognose de falhas</b>. 2025. Monografia (Curso de Engenharia Elétrica) - Udesc, 2019. Disponível em: https://repositorio.udesc.br/handle/UDESC/14601. Acesso em: insira aqui a data de acesso ao material. Ex: 18 fev. 2025. https://repositorio.udesc.br/handle/UDESC/14601 |
dc.identifier.dark.fl_str_mv |
ark:/33523/0013000008jbz |
identifier_str_mv |
FREITAS, Ludimilla Karen Mendes. <b>Implementação de algoritmos para controlabilidade segura de seds pela diagnose e prognose de falhas</b>. 2025. Monografia (Curso de Engenharia Elétrica) - Udesc, 2019. Disponível em: https://repositorio.udesc.br/handle/UDESC/14601. Acesso em: insira aqui a data de acesso ao material. Ex: 18 fev. 2025. ark:/33523/0013000008jbz |
url |
https://repositorio.udesc.br/handle/UDESC/14601 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
Attribution-NonCommercial-ShareAlike 4.0 Brazil http://creativecommons.org/licenses/by-nc-sa/4.0/br/ info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Attribution-NonCommercial-ShareAlike 4.0 Brazil http://creativecommons.org/licenses/by-nc-sa/4.0/br/ |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
84 f. application/pdf |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da Udesc instname:Universidade do Estado de Santa Catarina (UDESC) instacron:UDESC |
instname_str |
Universidade do Estado de Santa Catarina (UDESC) |
instacron_str |
UDESC |
institution |
UDESC |
reponame_str |
Repositório Institucional da Udesc |
collection |
Repositório Institucional da Udesc |
repository.name.fl_str_mv |
Repositório Institucional da Udesc - Universidade do Estado de Santa Catarina (UDESC) |
repository.mail.fl_str_mv |
ri@udesc.br |
_version_ |
1842258103082418176 |