Implementação de algoritmos para controlabilidade segura de seds pela diagnose e prognose de falhas

Bibliographic Details
Main Author: Freitas, Ludimilla Karen Mendes
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