Uma abordagem local para o controle supervisório modular de sistemas a eventos discretos temporizados

Detalhes bibliográficos
Autor(a) principal: Schafaschek, Germano
Data de Publicação: 2015
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/xmlui/handle/123456789/130939
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2014.
id UFSC_caff71811304a93e7b6200c080a9af9c
oai_identifier_str oai:repositorio.ufsc.br:123456789/130939
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Uma abordagem local para o controle supervisório modular de sistemas a eventos discretos temporizadosEngenharia de sistemasAutomaçãoControle automáticoSistemas a eventos discretosDissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2014.Nesta dissertação, propomos uma abordagem para a síntese local de supervisores modulares no contexto de sistemas a eventos discretos temporizados. O objetivo é reduzir o custo computacional na aplicação da teoria de controle supervisório a essa classe de sistemas, haja vista a dificuldade imposta pela explosão no número de estados dos modelos em sistemas de grande porte. Em grande parte dos problemas complexos envolvendo sistemas temporizados, a planta a ser controlada é composta de subsistemas que operam de maneira assíncrona a menos do compartilhamento de um relógio global. Ademais, o comportamento desejado é normalmente colocado na forma de especificações de controle elementares, cada uma das quais visa sincronizar e restringir o comportamento de apenas alguns dos subsistemas da planta. A ideia da metodologia de controle aqui apresentada é explorar tanto a modularidade das especificações quanto a do próprio sistema. Nossos supervisores são calculados com base em modelos locais, construídos pela agregação dos subsistemas que são afetados por cada especificação. Isso leva a módulos de controle nos quais a ação dos supervisores é relativamente simples, baseada apenas em informações locais, o que facilita sua compreensão, implementação e modificação. Apresentamos condições necessárias e suficientes sob as quais a ação conjunta dos supervisores locais leva o sistema a um comportamento global não bloqueante e que cumpre as especificações de forma ótima (minimamente restritiva). Mostramos, ainda, que a abordagem proposta reduz o custo computacional quando comparada a outras existentes. Por fim, um exemplo de interesse prático e com rígidas restrições temporais é resolvido, ilustrando a aplicabilidade da metodologia proposta.<br>Abstract : In this thesis, an approach is proposed for the local synthesis of modular supervisors in the context of timed discrete-event systems. The objective is to reduce computational costs for the application of timed supervisory control, in face of the hindrances imposed by state explosion in the models of large scale systems. In a wide variety of complex problems involving timing issues, the plant to be controlled is composed of subsystems that work asynchronously except for the sharing of a global clock. Moreover, the desired behavior for the plant is usually represented by a number of elementary control specifications, each of which attempts to restrict and synchronize the behavior of only some of the system's components. The idea of our control methodology is to explore the modularity of both the specifications and the system itself. Our supervisors are designed over local models, which are obtained by aggregating the subsystems affected by each specification. This results in control modules with relatively simple supervisory actions, based only on local information, which makes the supervisors easier to comprehend, implement, and modify. We present necessary and suficient conditions under which the concurrent action of the local supervisors leads the system to a nonblocking global behavior that complies with the specifications in an optimal (minimally restrictive) way. We also show that the proposed strategy reduces computational efforts in comparison with existing ones. Finally, a practical problem with critical time restrictions is solved to exemplify an application of the proposed control methodology.Queiroz, Max Hering deCury, José Eduardo RibeiroUniversidade Federal de Santa CatarinaSchafaschek, Germano2015-03-18T20:59:07Z2015-03-18T20:59:07Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis94 p.| il., tabs.application/pdf332304https://repositorio.ufsc.br/xmlui/handle/123456789/130939porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2015-03-18T20:59:07Zoai:repositorio.ufsc.br:123456789/130939Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732015-03-18T20:59:07Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Uma abordagem local para o controle supervisório modular de sistemas a eventos discretos temporizados
title Uma abordagem local para o controle supervisório modular de sistemas a eventos discretos temporizados
spellingShingle Uma abordagem local para o controle supervisório modular de sistemas a eventos discretos temporizados
Schafaschek, Germano
Engenharia de sistemas
Automação
Controle automático
Sistemas a eventos discretos
title_short Uma abordagem local para o controle supervisório modular de sistemas a eventos discretos temporizados
title_full Uma abordagem local para o controle supervisório modular de sistemas a eventos discretos temporizados
title_fullStr Uma abordagem local para o controle supervisório modular de sistemas a eventos discretos temporizados
title_full_unstemmed Uma abordagem local para o controle supervisório modular de sistemas a eventos discretos temporizados
title_sort Uma abordagem local para o controle supervisório modular de sistemas a eventos discretos temporizados
author Schafaschek, Germano
author_facet Schafaschek, Germano
author_role author
dc.contributor.none.fl_str_mv Queiroz, Max Hering de
Cury, José Eduardo Ribeiro
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Schafaschek, Germano
dc.subject.por.fl_str_mv Engenharia de sistemas
Automação
Controle automático
Sistemas a eventos discretos
topic Engenharia de sistemas
Automação
Controle automático
Sistemas a eventos discretos
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2014.
publishDate 2015
dc.date.none.fl_str_mv 2015-03-18T20:59:07Z
2015-03-18T20:59:07Z
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 332304
https://repositorio.ufsc.br/xmlui/handle/123456789/130939
identifier_str_mv 332304
url https://repositorio.ufsc.br/xmlui/handle/123456789/130939
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 94 p.| il., tabs.
application/pdf
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
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652270098710528

Registros relacionados