Método de implementação do controle de sistemas e eventos discretos com aplicação da teoria de controle supervisório

Detalhes bibliográficos
Autor(a) principal: Vieira, Agnelo Denis
Data de Publicação: 2007
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: http://repositorio.ufsc.br/xmlui/handle/123456789/90780
Resumo: Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.
id UFSC_d6714f9ce2f536451de6d1ac150e4d83
oai_identifier_str oai:repositorio.ufsc.br:123456789/90780
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Universidade Federal de Santa CatarinaVieira, Agnelo DenisCury, Jose Eduardo R2012-10-23T15:12:26Z2012-10-23T15:12:26Z20072007249843http://repositorio.ufsc.br/xmlui/handle/123456789/90780Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.A literatura indica que, de forma geral, a prática industrial corrente para desenvolvimento de sistemas de controle em sistemas de dinâmica dirigida a eventos discretos é empírica e não adota métodos formais de modelagem do sistema nem de síntese do controlador. Esta Tese de Doutorado apresenta um método de implementação do controle de sistemas a eventos discretos. Este método permite que a implementação seja realizada concentrada em um único controlador, possivelmente um controlador lógico programável (CLP), ou distribuída em um conjunto de controladores. A lei de controle, denominada supervisor, é obtida pela aplicação da Abordagem Modular Local da Teoria de Controle Supervisório. Para aplicar esta teoria o comportamento livre do sistema e as especificações de controle são representados através de autômatos. O método de implementação é um procedimento sistemático para conversão do modelo que descreve o comportamento livre do sistema e do supervisor no programa de aplicação do CLP. Este programa de aplicação resulta em conformidade com a norma internacional IEC 61131-3. A literatura discute os diversos problemas que podem ocorrer quando os resultados da Teoria de Controle Supervisório são implementados. O método de implementação apresentado nesta Tese permite considerar tais problemas. São apresentadas propriedades que, se satisfeitas, garantem que a ocorrência de tais problemas não se manifesta. Um aspecto fundamental para a distribuição do controle é a comunicação entre os controladores. Esta Tese apresenta um modelo de comunicação entre CLPs. Este modelo garante a satisfação de um conjunto de propriedades relevantes à distribuição do controle. Este modelo emprega um serviço de comunicação definido na norma internacional IEC 61131-5. The literature indicates that, generally, the current industrial practice of developing control systems of discrete event dynamic systems is empirical and does not apply either formal methods of system modeling or of control synthesis. This Thesis presents a discrete event systems control implementation method. This method allows the implementation to be carried out concentrated in a single controller, possibly a programmable logic controller (PLC), or distributed in a set of controllers. The control law, named supervisor, is obtained applying the Local Modular Approach of the Supervisory Control Theory. In order to apply this theory the system free behavior and the control specifications are both represented by automata. The implementation method is a systematic procedure to convert the free behavior system model and the supervisor into the PLC application program. This application program results in conformity with the international standard IEC 61131-3. The literature discusses the several problems that may arise when the results of the Supervisory Control Theory are to be implemented. The implementation method presented in this Thesis allows to consider such problems. It is presented a set of properties that, when satisfied, guarantee that such problems do not occur. An essential aspect to the control distribution is the communication between controllers. This Thesis presents a PLC communication model that fulfils a set of properties important to control distribution. This model adopts a communication service defined by the international standard IEC 61131-5.xiv, 158 f.| il.porFlorianópolis, SCEngenharia eletricaSistemas a eventos discretosControladores progamaveisMétodo de implementação do controle de sistemas e eventos discretos com aplicação da teoria de controle supervisórioinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINAL249843.pdfapplication/pdf1287597https://repositorio.ufsc.br/bitstream/123456789/90780/1/249843.pdf8575b44e55c4c749a437d0ceb5b2d02eMD51TEXT249843.pdf.txt249843.pdf.txtExtracted Texttext/plain333354https://repositorio.ufsc.br/bitstream/123456789/90780/2/249843.pdf.txt29c66443d69647300b05a76ab47734e8MD52THUMBNAIL249843.pdf.jpg249843.pdf.jpgGenerated Thumbnailimage/jpeg707https://repositorio.ufsc.br/bitstream/123456789/90780/3/249843.pdf.jpg673eb773a1c9a281ec2c260b6a341261MD53123456789/907802013-05-02 23:55:47.616oai:repositorio.ufsc.br:123456789/90780Repositório de PublicaçõesPUBhttp://150.162.242.35/oai/requestopendoar:23732013-05-03T02:55:47Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.pt_BR.fl_str_mv Método de implementação do controle de sistemas e eventos discretos com aplicação da teoria de controle supervisório
title Método de implementação do controle de sistemas e eventos discretos com aplicação da teoria de controle supervisório
spellingShingle Método de implementação do controle de sistemas e eventos discretos com aplicação da teoria de controle supervisório
Vieira, Agnelo Denis
Engenharia eletrica
Sistemas a eventos discretos
Controladores progamaveis
title_short Método de implementação do controle de sistemas e eventos discretos com aplicação da teoria de controle supervisório
title_full Método de implementação do controle de sistemas e eventos discretos com aplicação da teoria de controle supervisório
title_fullStr Método de implementação do controle de sistemas e eventos discretos com aplicação da teoria de controle supervisório
title_full_unstemmed Método de implementação do controle de sistemas e eventos discretos com aplicação da teoria de controle supervisório
title_sort Método de implementação do controle de sistemas e eventos discretos com aplicação da teoria de controle supervisório
author Vieira, Agnelo Denis
author_facet Vieira, Agnelo Denis
author_role author
dc.contributor.pt_BR.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Vieira, Agnelo Denis
dc.contributor.advisor1.fl_str_mv Cury, Jose Eduardo R
contributor_str_mv Cury, Jose Eduardo R
dc.subject.classification.pt_BR.fl_str_mv Engenharia eletrica
Sistemas a eventos discretos
Controladores progamaveis
topic Engenharia eletrica
Sistemas a eventos discretos
Controladores progamaveis
description Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.
publishDate 2007
dc.date.submitted.pt_BR.fl_str_mv 2007
dc.date.issued.fl_str_mv 2007
dc.date.accessioned.fl_str_mv 2012-10-23T15:12:26Z
dc.date.available.fl_str_mv 2012-10-23T15:12:26Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://repositorio.ufsc.br/xmlui/handle/123456789/90780
dc.identifier.other.pt_BR.fl_str_mv 249843
identifier_str_mv 249843
url http://repositorio.ufsc.br/xmlui/handle/123456789/90780
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 xiv, 158 f.| il.
dc.publisher.none.fl_str_mv Florianópolis, SC
publisher.none.fl_str_mv Florianópolis, SC
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/90780/1/249843.pdf
https://repositorio.ufsc.br/bitstream/123456789/90780/2/249843.pdf.txt
https://repositorio.ufsc.br/bitstream/123456789/90780/3/249843.pdf.jpg
bitstream.checksum.fl_str_mv 8575b44e55c4c749a437d0ceb5b2d02e
29c66443d69647300b05a76ab47734e8
673eb773a1c9a281ec2c260b6a341261
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1766805297922310144

Registros relacionados