Uma nova abordagem para a síntese de supervisores de sistemas a eventos discretos.
| Ano de defesa: | 1996 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Tese |
| Tipo de acesso: | Acesso aberto |
| Idioma: | por |
| Instituição de defesa: |
Universidade Federal de Campina Grande
Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA UFCG |
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: | |
| Link de acesso: | 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 |
UCB-2_64c439e8ee8e91e9357cb1c872b7c620 |
|---|---|
| oai_identifier_str |
oai:localhost:riufcg/8691 |
| network_acronym_str |
UCB-2 |
| network_name_str |
Repositório Institucional da UCB |
| repository_id_str |
|
| 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:Repositório Institucional da UCBinstname:Universidade Católica de Brasília (UCB)instacron:UCB2021-04-14T12:00:13Zoai:localhost:riufcg/8691Repositório InstitucionalPRIhttps://repositorio.ucb.br/oai/requestsara.ribeiro@ucb.bropendoar:2021-04-14T12:00:13Repositório Institucional da UCB - Universidade Católica de Brasília (UCB)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:Repositório Institucional da UCB instname:Universidade Católica de Brasília (UCB) instacron:UCB |
| instname_str |
Universidade Católica de Brasília (UCB) |
| instacron_str |
UCB |
| institution |
UCB |
| reponame_str |
Repositório Institucional da UCB |
| collection |
Repositório Institucional da UCB |
| repository.name.fl_str_mv |
Repositório Institucional da UCB - Universidade Católica de Brasília (UCB) |
| repository.mail.fl_str_mv |
sara.ribeiro@ucb.br |
| _version_ |
1834013169151901696 |