Um método para projeto de sistemas embarcados baseado no controle supervisório modular local
| Main Author: | |
|---|---|
| Publication Date: | 2012 |
| Format: | Master thesis |
| Language: | por |
| Source: | Repositório Institucional da Udesc |
| Download full: | https://repositorio.udesc.br/handle/UDESC/12710 |
Summary: | Neste trabalho é proposto um método de projeto para sistemas embarcados concebido com base na Teoria de Controle Supervisório de Sistemas a Eventos Discretos. O método é composto por etapas que vão desde a especificação até a aprovação do sistema de controle. A etapa de concepção do método utiliza da abordagem modular local para síntese de supervisores minimamente restritivos que limitam o comportamento da planta através da desabilitação de eventos controláveis e são não bloqueantes em relação ao conjunto de estados marcados. O método ainda inclui uma arquitetura de implementação do controle supervisório direcionada para microcontroladores, visando solucionar os problemas da causalidade, escolha e sincronização inexata. Uma interface é concebida para concentrar a geração de eventos controláveis e não controláveis. Apresenta-se uma solução para o problema da escolha quando são implementados supervisores reduzidos sendo tal escolha realizada de modo online definindo um evento controlável, entre os possíveis, de forma aleatória. Apresenta-se uma ferramenta desenvolvida para a geração de código baseada na estrutura de implementação proposta. O código do módulo principal é gerado de forma a ser independente do número de supervisores e modelos de planta envolvidos, sendo o mesmo para qualquer aplicação de controle. Utiliza-se a ferramenta para obtenção do código da lógica de controle em um estudo de caso e para a regulação de temperatura em um refrigerador comercial. A validação do controle é realizada utilizando-se de ferramentas aplicadas à validação de eletrodomésticos da linha branca na Whirlpool Eletrodomésticos. |
| id |
UDESC-2_cf0639c71c57273834ac6d18bae48bb5 |
|---|---|
| oai_identifier_str |
oai:repositorio.udesc.br:UDESC/12710 |
| network_acronym_str |
UDESC-2 |
| network_name_str |
Repositório Institucional da Udesc |
| repository_id_str |
6391 |
| spelling |
Um método para projeto de sistemas embarcados baseado no controle supervisório modular localAutomaçãoMicrocontroladoresControladores programáveisSistemas de tempo discretoTeoria do controleNeste trabalho é proposto um método de projeto para sistemas embarcados concebido com base na Teoria de Controle Supervisório de Sistemas a Eventos Discretos. O método é composto por etapas que vão desde a especificação até a aprovação do sistema de controle. A etapa de concepção do método utiliza da abordagem modular local para síntese de supervisores minimamente restritivos que limitam o comportamento da planta através da desabilitação de eventos controláveis e são não bloqueantes em relação ao conjunto de estados marcados. O método ainda inclui uma arquitetura de implementação do controle supervisório direcionada para microcontroladores, visando solucionar os problemas da causalidade, escolha e sincronização inexata. Uma interface é concebida para concentrar a geração de eventos controláveis e não controláveis. Apresenta-se uma solução para o problema da escolha quando são implementados supervisores reduzidos sendo tal escolha realizada de modo online definindo um evento controlável, entre os possíveis, de forma aleatória. Apresenta-se uma ferramenta desenvolvida para a geração de código baseada na estrutura de implementação proposta. O código do módulo principal é gerado de forma a ser independente do número de supervisores e modelos de planta envolvidos, sendo o mesmo para qualquer aplicação de controle. Utiliza-se a ferramenta para obtenção do código da lógica de controle em um estudo de caso e para a regulação de temperatura em um refrigerador comercial. A validação do controle é realizada utilizando-se de ferramentas aplicadas à validação de eletrodomésticos da linha branca na Whirlpool Eletrodomésticos.Leal, Andre BittencourtPinotti, Alexandre Junkes2025-01-24T18:32:12Z2012info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis119 f.application/pdfPINOTTI, Alexandre Junkes. <b>Um método para projeto de sistemas embarcados baseado no controle supervisório modular local</b>. 2025. Dissertação (Curso de Engenharia Elétrica) - Udesc, 2012. Disponível em: https://repositorio.udesc.br/handle/UDESC/12710. Acesso em: insira aqui a data de acesso ao material. Ex: 18 fev. 2025.https://repositorio.udesc.br/handle/UDESC/12710Attribution-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:21:51Zoai:repositorio.udesc.br:UDESC/12710Biblioteca Digital de Teses e Dissertaçõeshttps://pergamumweb.udesc.br/biblioteca/index.phpPRIhttps://repositorio-api.udesc.br/server/oai/requestri@udesc.bropendoar:63912025-01-25T06:21:51Repositório Institucional da Udesc - Universidade do Estado de Santa Catarina (UDESC)false |
| dc.title.none.fl_str_mv |
Um método para projeto de sistemas embarcados baseado no controle supervisório modular local |
| title |
Um método para projeto de sistemas embarcados baseado no controle supervisório modular local |
| spellingShingle |
Um método para projeto de sistemas embarcados baseado no controle supervisório modular local Pinotti, Alexandre Junkes Automação Microcontroladores Controladores programáveis Sistemas de tempo discreto Teoria do controle |
| title_short |
Um método para projeto de sistemas embarcados baseado no controle supervisório modular local |
| title_full |
Um método para projeto de sistemas embarcados baseado no controle supervisório modular local |
| title_fullStr |
Um método para projeto de sistemas embarcados baseado no controle supervisório modular local |
| title_full_unstemmed |
Um método para projeto de sistemas embarcados baseado no controle supervisório modular local |
| title_sort |
Um método para projeto de sistemas embarcados baseado no controle supervisório modular local |
| author |
Pinotti, Alexandre Junkes |
| author_facet |
Pinotti, Alexandre Junkes |
| author_role |
author |
| dc.contributor.none.fl_str_mv |
Leal, Andre Bittencourt |
| dc.contributor.author.fl_str_mv |
Pinotti, Alexandre Junkes |
| dc.subject.por.fl_str_mv |
Automação Microcontroladores Controladores programáveis Sistemas de tempo discreto Teoria do controle |
| topic |
Automação Microcontroladores Controladores programáveis Sistemas de tempo discreto Teoria do controle |
| description |
Neste trabalho é proposto um método de projeto para sistemas embarcados concebido com base na Teoria de Controle Supervisório de Sistemas a Eventos Discretos. O método é composto por etapas que vão desde a especificação até a aprovação do sistema de controle. A etapa de concepção do método utiliza da abordagem modular local para síntese de supervisores minimamente restritivos que limitam o comportamento da planta através da desabilitação de eventos controláveis e são não bloqueantes em relação ao conjunto de estados marcados. O método ainda inclui uma arquitetura de implementação do controle supervisório direcionada para microcontroladores, visando solucionar os problemas da causalidade, escolha e sincronização inexata. Uma interface é concebida para concentrar a geração de eventos controláveis e não controláveis. Apresenta-se uma solução para o problema da escolha quando são implementados supervisores reduzidos sendo tal escolha realizada de modo online definindo um evento controlável, entre os possíveis, de forma aleatória. Apresenta-se uma ferramenta desenvolvida para a geração de código baseada na estrutura de implementação proposta. O código do módulo principal é gerado de forma a ser independente do número de supervisores e modelos de planta envolvidos, sendo o mesmo para qualquer aplicação de controle. Utiliza-se a ferramenta para obtenção do código da lógica de controle em um estudo de caso e para a regulação de temperatura em um refrigerador comercial. A validação do controle é realizada utilizando-se de ferramentas aplicadas à validação de eletrodomésticos da linha branca na Whirlpool Eletrodomésticos. |
| publishDate |
2012 |
| dc.date.none.fl_str_mv |
2012 2025-01-24T18:32:12Z |
| dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
| format |
masterThesis |
| status_str |
publishedVersion |
| dc.identifier.uri.fl_str_mv |
PINOTTI, Alexandre Junkes. <b>Um método para projeto de sistemas embarcados baseado no controle supervisório modular local</b>. 2025. Dissertação (Curso de Engenharia Elétrica) - Udesc, 2012. Disponível em: https://repositorio.udesc.br/handle/UDESC/12710. Acesso em: insira aqui a data de acesso ao material. Ex: 18 fev. 2025. https://repositorio.udesc.br/handle/UDESC/12710 |
| identifier_str_mv |
PINOTTI, Alexandre Junkes. <b>Um método para projeto de sistemas embarcados baseado no controle supervisório modular local</b>. 2025. Dissertação (Curso de Engenharia Elétrica) - Udesc, 2012. Disponível em: https://repositorio.udesc.br/handle/UDESC/12710. Acesso em: insira aqui a data de acesso ao material. Ex: 18 fev. 2025. |
| url |
https://repositorio.udesc.br/handle/UDESC/12710 |
| 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 |
119 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_ |
1848168379181957120 |