Export Ready — 

Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos

Bibliographic Details
Main Author: Rosa, Marcelo
Publication Date: 2016
Format: Bachelor thesis
Language: por
Source: Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
Download full: http://repositorio.utfpr.edu.br/jspui/handle/1/14577
Summary: In the Supervisory Control Theory (SCT) of Discrete Event Systems, the refinement of events has been explored to simplify the modeling task. Approximations complement this approach as an alternative to reduce effort in synthesis. In spite of the advantages in the modeling and synthesis step, refinements do not directly cover the implementation phase. In general, controllers obtained with or without refinements are implemented with the same hardware cost. This paper proposes a decentralized architecture that extends the gains from the refinements of the synthesis to implementation. The proposed approach separates supervisor and distinguisher in two distinct structures, which communicate in such a way that the result of the control action on the plant is equivalent to the centralized version, but with reduced implementation cost. In addition, an alternative to implement the distinguisher behavior is presented using a generic two-state model, which is expected to extend to any distinguisher.
id UTFPR-12_1e65cd0c649ec0d38ba4b502114b1209
oai_identifier_str oai:repositorio.utfpr.edu.br:1/14577
network_acronym_str UTFPR-12
network_name_str Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
repository_id_str
spelling Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretosExploring the use of abstractions in the implementation of controllers for discrete event systemsSistemas de tempo discretoSistemas de controle supervisórioAutomaçãoDiscrete-time systemsSupervisory control systemsAutomationCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOIn the Supervisory Control Theory (SCT) of Discrete Event Systems, the refinement of events has been explored to simplify the modeling task. Approximations complement this approach as an alternative to reduce effort in synthesis. In spite of the advantages in the modeling and synthesis step, refinements do not directly cover the implementation phase. In general, controllers obtained with or without refinements are implemented with the same hardware cost. This paper proposes a decentralized architecture that extends the gains from the refinements of the synthesis to implementation. The proposed approach separates supervisor and distinguisher in two distinct structures, which communicate in such a way that the result of the control action on the plant is equivalent to the centralized version, but with reduced implementation cost. In addition, an alternative to implement the distinguisher behavior is presented using a generic two-state model, which is expected to extend to any distinguisher.Na Teoria de Controle Supervisório (TCS) de Sistemas a Eventos Discretos, o refinamento de eventos tem sido explorado para simplificar a tarefa de modelagem. As Aproximações complementam essa abordagem como uma alternativa para reduzir o esforço na síntese. Apesar das vantagens na etapa de modelagem e síntese, refinamentos n˜ao cobrem diretamente a fase de implementação. Em geral, controladores obtidos com ou sem refinamentos são implementados com o mesmo custo de hardware. Este trabalho propõe uma arquitetura descentralizada que estende os ganhos provenientes dos refinamentos da síntese para implementação. A abordagem proposta separa supervisor e distinguidor em duas estruturas distintas, as quais se comunicam de tal forma que o resultado da ação de controle sobre a planta é equivalente a versão centralizada, porém com custo de implementação reduzido. Além disso, é apresentada uma alternativa para implementar o comportamento do distinguidor utilizando um modelo genérico composto por dois estados, o qual espera-se estender para qualquer distinguidor.Universidade Tecnológica Federal do ParanáPato BrancoBrasilDepartamento Acadêmico de InformáticaEngenharia de ComputaçãoUTFPRTeixeira, MarceloDenardin, Gustavo WeberTeixeira, MarceloDenardin, Gustavo WeberTorrico, César Rafael ClaureBarbosa, Marco Antonio de CastroRosa, Marcelo2020-11-18T14:01:07Z2020-11-18T14:01:07Z2016-12-08info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisapplication/pdfROSA, Marcelo. Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos. 2016. 57 f. Trabalho de Conclusão de Curso (Graduação) - Universidade Tecnológica Federal do Paraná, Pato Branco, 2016.http://repositorio.utfpr.edu.br/jspui/handle/1/14577porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))instname:Universidade Tecnológica Federal do Paraná (UTFPR)instacron:UTFPR2020-11-18T14:01:07Zoai:repositorio.utfpr.edu.br:1/14577Repositório InstitucionalPUBhttp://repositorio.utfpr.edu.br:8080/oai/requestriut@utfpr.edu.bropendoar:2020-11-18T14:01:07Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) - Universidade Tecnológica Federal do Paraná (UTFPR)false
dc.title.none.fl_str_mv Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos
Exploring the use of abstractions in the implementation of controllers for discrete event systems
title Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos
spellingShingle Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos
Rosa, Marcelo
Sistemas de tempo discreto
Sistemas de controle supervisório
Automação
Discrete-time systems
Supervisory control systems
Automation
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
title_short Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos
title_full Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos
title_fullStr Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos
title_full_unstemmed Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos
title_sort Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos
author Rosa, Marcelo
author_facet Rosa, Marcelo
author_role author
dc.contributor.none.fl_str_mv Teixeira, Marcelo
Denardin, Gustavo Weber
Teixeira, Marcelo
Denardin, Gustavo Weber
Torrico, César Rafael Claure
Barbosa, Marco Antonio de Castro
dc.contributor.author.fl_str_mv Rosa, Marcelo
dc.subject.por.fl_str_mv Sistemas de tempo discreto
Sistemas de controle supervisório
Automação
Discrete-time systems
Supervisory control systems
Automation
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
topic Sistemas de tempo discreto
Sistemas de controle supervisório
Automação
Discrete-time systems
Supervisory control systems
Automation
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
description In the Supervisory Control Theory (SCT) of Discrete Event Systems, the refinement of events has been explored to simplify the modeling task. Approximations complement this approach as an alternative to reduce effort in synthesis. In spite of the advantages in the modeling and synthesis step, refinements do not directly cover the implementation phase. In general, controllers obtained with or without refinements are implemented with the same hardware cost. This paper proposes a decentralized architecture that extends the gains from the refinements of the synthesis to implementation. The proposed approach separates supervisor and distinguisher in two distinct structures, which communicate in such a way that the result of the control action on the plant is equivalent to the centralized version, but with reduced implementation cost. In addition, an alternative to implement the distinguisher behavior is presented using a generic two-state model, which is expected to extend to any distinguisher.
publishDate 2016
dc.date.none.fl_str_mv 2016-12-08
2020-11-18T14:01:07Z
2020-11-18T14:01:07Z
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 ROSA, Marcelo. Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos. 2016. 57 f. Trabalho de Conclusão de Curso (Graduação) - Universidade Tecnológica Federal do Paraná, Pato Branco, 2016.
http://repositorio.utfpr.edu.br/jspui/handle/1/14577
identifier_str_mv ROSA, Marcelo. Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos. 2016. 57 f. Trabalho de Conclusão de Curso (Graduação) - Universidade Tecnológica Federal do Paraná, Pato Branco, 2016.
url http://repositorio.utfpr.edu.br/jspui/handle/1/14577
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Tecnológica Federal do Paraná
Pato Branco
Brasil
Departamento Acadêmico de Informática
Engenharia de Computação
UTFPR
publisher.none.fl_str_mv Universidade Tecnológica Federal do Paraná
Pato Branco
Brasil
Departamento Acadêmico de Informática
Engenharia de Computação
UTFPR
dc.source.none.fl_str_mv reponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
instname:Universidade Tecnológica Federal do Paraná (UTFPR)
instacron:UTFPR
instname_str Universidade Tecnológica Federal do Paraná (UTFPR)
instacron_str UTFPR
institution UTFPR
reponame_str Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
collection Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
repository.name.fl_str_mv Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) - Universidade Tecnológica Federal do Paraná (UTFPR)
repository.mail.fl_str_mv riut@utfpr.edu.br
_version_ 1834836447088082944