Uma nova abordagem para a síntese de supervisores de sistemas a eventos discretos.

Detalhes bibliográficos
Autor(a) principal: BARROSO, Giovanni Cordeiro.
Data de Publicação: 1996
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFCG
Texto Completo: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8691
Resumo: As redes de Petri tem sido amplamente utilizadas para a especificação, projeto, analise e controle de sistemas a eventos discretos. A teoria de controle supervisório, em conjunto com as redes de Petri, tem sido utilizadas para a solução do problema de síntese de supervisores para sistemas a eventos discretos. Este trabalho introduz uma nova abordagem para a síntese de supervisores, utilizando controle supervisório e redes de Petri. Para tanto, são introduzidos uma nova classe de redes de Petri, denominada Redes de Petri com Funções de Habilitação de Transições, e dois algoritmos para a síntese do supervisor. 0 objetivo e construir um supervisor que possua a mesma estrutura do modelo do sistema a ser controlado. Apesar dos poderosos mecanismos de estruturação disponíveis na teoria de redes de Petri para a modelagem de sistema complexos, existe ainda o problema da explosão de estados quando se analisam tais sistemas. Sendo assim, apresentamos também uma metodologia modular para a síntese do supervisor, usando dois tipos de redes de alto nível, Redes de Petri Coloridas e G-Nets. Mais ainda, pensando na aplicação desta abordagem para sistemas reais, introduzimos de forma sistemática, no supervisor, propriedades de tolerância a falhas. Aplicações e exemplos desta abordagem são direcionadas para sistemas de manufatura automatizados.
id UFCG_64c439e8ee8e91e9357cb1c872b7c620
oai_identifier_str oai:localhost:riufcg/8691
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str 4851
spelling Uma nova abordagem para a síntese de supervisores de sistemas a eventos discretos.A new approach for the synthesis of discrete event system supervisors.Redes de PetriSupervisores de SistemasEventos DiscretosSistemas G-NetsFunções de Habilitação de TransiçõesPetri NetsSystems SupervisorsDiscrete EventsG-Nets SystemsTransition Enable FunctionsEngenharia ElétricaAs redes de Petri tem sido amplamente utilizadas para a especificação, projeto, analise e controle de sistemas a eventos discretos. A teoria de controle supervisório, em conjunto com as redes de Petri, tem sido utilizadas para a solução do problema de síntese de supervisores para sistemas a eventos discretos. Este trabalho introduz uma nova abordagem para a síntese de supervisores, utilizando controle supervisório e redes de Petri. Para tanto, são introduzidos uma nova classe de redes de Petri, denominada Redes de Petri com Funções de Habilitação de Transições, e dois algoritmos para a síntese do supervisor. 0 objetivo e construir um supervisor que possua a mesma estrutura do modelo do sistema a ser controlado. Apesar dos poderosos mecanismos de estruturação disponíveis na teoria de redes de Petri para a modelagem de sistema complexos, existe ainda o problema da explosão de estados quando se analisam tais sistemas. Sendo assim, apresentamos também uma metodologia modular para a síntese do supervisor, usando dois tipos de redes de alto nível, Redes de Petri Coloridas e G-Nets. Mais ainda, pensando na aplicação desta abordagem para sistemas reais, introduzimos de forma sistemática, no supervisor, propriedades de tolerância a falhas. Aplicações e exemplos desta abordagem são direcionadas para sistemas de manufatura automatizados.Petri nets have been widely used to specifying, designing, analyzing and controlling discrete event systems. In the same way, the supervisory control theory, together with Petri nets, has been used to solve the supervisors synthesis problem of discrete event systems. This work introduces a new approach, using Petri nets and the supervisory control theory, to solve the supervisor synthesis problem. To do so, two algorithms are presented, as well as a new kind of Petri nets called Petri nets with transition enabling function. The objective is to synthesize a supervisor that has the same structure of the model of the system to be controlled. Despite of powerful structuring mechanisms available in the Petri net theory for the construction of the model of complex systems, we are still likely to face the problem of state explosion when analyzing large systems. Thus, we also present a modular approach to supervisors synthesis, using two kinds of high level nets called colored Petri nets and G-Nets, respectively. Moreover, having in mind the objective of applying this approach to actual systems, we use this approach to the synthesis of faulttolerant supervisors. The application and exemplification of this presented approach is on the synthesis of supervisors for automated manufacturing systems.Universidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICAUFCGLIMA, Antonio Marcus Nogueira.LIMA, A. M. N.http://lattes.cnpq.br/2237395961717699PERKUSICH, Angelo.PERKUSICH, A.http://lattes.cnpq.br/9439858291700830CURY, José Eduardo Ribeiro.TAZZA, Maurizio.SILVA, José Reinaldo.FIGUEIREDO, Jorge César Abrantes de.SHIEL, Ulrich.BARROSO, Giovanni Cordeiro.1996-08-282019-10-30T17:47:16Z2019-10-302019-10-30T17:47:16Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8691BARROSO, Giovanni Cordeiro. Uma nova abordagem para a síntese de supervisores de sistemas a eventos discretos. 1996. 187 f. Tese (Doutorado em Engenharia Elétrica) - Programa de Pós-Graduação em Engenharia Elétrica, Centro de Engenharia Elétrica e Informática, Universidade Federal da Paraíba – Campus II - Campina Grande, Paraíba, Brasil, 1996.porinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2021-04-14T12:00:13Zoai:localhost:riufcg/8691Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512021-04-14T12:00:13Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.none.fl_str_mv Uma nova abordagem para a síntese de supervisores de sistemas a eventos discretos.
A new approach for the synthesis of discrete event system supervisors.
title Uma nova abordagem para a síntese de supervisores de sistemas a eventos discretos.
spellingShingle Uma nova abordagem para a síntese de supervisores de sistemas a eventos discretos.
BARROSO, Giovanni Cordeiro.
Redes de Petri
Supervisores de Sistemas
Eventos Discretos
Sistemas G-Nets
Funções de Habilitação de Transições
Petri Nets
Systems Supervisors
Discrete Events
G-Nets Systems
Transition Enable Functions
Engenharia Elétrica
title_short Uma nova abordagem para a síntese de supervisores de sistemas a eventos discretos.
title_full Uma nova abordagem para a síntese de supervisores de sistemas a eventos discretos.
title_fullStr Uma nova abordagem para a síntese de supervisores de sistemas a eventos discretos.
title_full_unstemmed Uma nova abordagem para a síntese de supervisores de sistemas a eventos discretos.
title_sort Uma nova abordagem para a síntese de supervisores de sistemas a eventos discretos.
author BARROSO, Giovanni Cordeiro.
author_facet BARROSO, Giovanni Cordeiro.
author_role author
dc.contributor.none.fl_str_mv LIMA, Antonio Marcus Nogueira.
LIMA, A. M. N.
http://lattes.cnpq.br/2237395961717699
PERKUSICH, Angelo.
PERKUSICH, A.
http://lattes.cnpq.br/9439858291700830
CURY, José Eduardo Ribeiro.
TAZZA, Maurizio.
SILVA, José Reinaldo.
FIGUEIREDO, Jorge César Abrantes de.
SHIEL, Ulrich.
dc.contributor.author.fl_str_mv BARROSO, Giovanni Cordeiro.
dc.subject.por.fl_str_mv Redes de Petri
Supervisores de Sistemas
Eventos Discretos
Sistemas G-Nets
Funções de Habilitação de Transições
Petri Nets
Systems Supervisors
Discrete Events
G-Nets Systems
Transition Enable Functions
Engenharia Elétrica
topic Redes de Petri
Supervisores de Sistemas
Eventos Discretos
Sistemas G-Nets
Funções de Habilitação de Transições
Petri Nets
Systems Supervisors
Discrete Events
G-Nets Systems
Transition Enable Functions
Engenharia Elétrica
description As redes de Petri tem sido amplamente utilizadas para a especificação, projeto, analise e controle de sistemas a eventos discretos. A teoria de controle supervisório, em conjunto com as redes de Petri, tem sido utilizadas para a solução do problema de síntese de supervisores para sistemas a eventos discretos. Este trabalho introduz uma nova abordagem para a síntese de supervisores, utilizando controle supervisório e redes de Petri. Para tanto, são introduzidos uma nova classe de redes de Petri, denominada Redes de Petri com Funções de Habilitação de Transições, e dois algoritmos para a síntese do supervisor. 0 objetivo e construir um supervisor que possua a mesma estrutura do modelo do sistema a ser controlado. Apesar dos poderosos mecanismos de estruturação disponíveis na teoria de redes de Petri para a modelagem de sistema complexos, existe ainda o problema da explosão de estados quando se analisam tais sistemas. Sendo assim, apresentamos também uma metodologia modular para a síntese do supervisor, usando dois tipos de redes de alto nível, Redes de Petri Coloridas e G-Nets. Mais ainda, pensando na aplicação desta abordagem para sistemas reais, introduzimos de forma sistemática, no supervisor, propriedades de tolerância a falhas. Aplicações e exemplos desta abordagem são direcionadas para sistemas de manufatura automatizados.
publishDate 1996
dc.date.none.fl_str_mv 1996-08-28
2019-10-30T17:47:16Z
2019-10-30
2019-10-30T17:47:16Z
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://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8691
BARROSO, Giovanni Cordeiro. Uma nova abordagem para a síntese de supervisores de sistemas a eventos discretos. 1996. 187 f. Tese (Doutorado em Engenharia Elétrica) - Programa de Pós-Graduação em Engenharia Elétrica, Centro de Engenharia Elétrica e Informática, Universidade Federal da Paraíba – Campus II - Campina Grande, Paraíba, Brasil, 1996.
url http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8691
identifier_str_mv BARROSO, Giovanni Cordeiro. Uma nova abordagem para a síntese de supervisores de sistemas a eventos discretos. 1996. 187 f. Tese (Doutorado em Engenharia Elétrica) - Programa de Pós-Graduação em Engenharia Elétrica, Centro de Engenharia Elétrica e Informática, Universidade Federal da Paraíba – Campus II - Campina Grande, Paraíba, Brasil, 1996.
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.publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
UFCG
publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
UFCG
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFCG
instname:Universidade Federal de Campina Grande (UFCG)
instacron:UFCG
instname_str Universidade Federal de Campina Grande (UFCG)
instacron_str UFCG
institution UFCG
reponame_str Biblioteca Digital de Teses e Dissertações da UFCG
collection Biblioteca Digital de Teses e Dissertações da UFCG
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)
repository.mail.fl_str_mv bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br
_version_ 1809744408809046016

Registros relacionados