dc.creator.ID |
BARROSO, G. C. |
pt_BR |
dc.creator.Lattes |
http://lattes.cnpq.br/1218783106447217 |
pt_BR |
dc.contributor.advisor1 |
LIMA, Antonio Marcus Nogueira. |
|
dc.contributor.advisor1ID |
LIMA, A. M. N. |
pt_BR |
dc.contributor.advisor1Lattes |
http://lattes.cnpq.br/2237395961717699 |
pt_BR |
dc.contributor.advisor2 |
PERKUSICH, Angelo. |
|
dc.contributor.advisor2ID |
PERKUSICH, A. |
pt_BR |
dc.contributor.advisor2Lattes |
http://lattes.cnpq.br/9439858291700830 |
pt_BR |
dc.contributor.referee1 |
CURY, José Eduardo Ribeiro. |
|
dc.contributor.referee2 |
TAZZA, Maurizio. |
|
dc.contributor.referee3 |
SILVA, José Reinaldo. |
|
dc.contributor.referee4 |
FIGUEIREDO, Jorge César Abrantes de. |
|
dc.contributor.referee5 |
SHIEL, Ulrich. |
|
dc.description.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. |
pt_BR |
dc.publisher.country |
Brasil |
pt_BR |
dc.publisher.department |
Centro de Engenharia Elétrica e Informática - CEEI |
pt_BR |
dc.publisher.program |
PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA |
pt_BR |
dc.publisher.initials |
UFCG |
pt_BR |
dc.subject.cnpq |
Engenharia Elétrica |
|
dc.title |
Uma nova abordagem para a síntese de supervisores de sistemas a eventos discretos. |
pt_BR |
dc.date.issued |
1996-08-28 |
|
dc.description.abstract |
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. |
pt_BR |
dc.identifier.uri |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8691 |
|
dc.date.accessioned |
2019-10-30T17:47:16Z |
|
dc.date.available |
2019-10-30 |
|
dc.date.available |
2019-10-30T17:47:16Z |
|
dc.type |
Tese |
pt_BR |
dc.subject |
Redes de Petri |
|
dc.subject |
Supervisores de Sistemas |
|
dc.subject |
Eventos Discretos |
|
dc.subject |
Sistemas G-Nets |
|
dc.subject |
Funções de Habilitação de Transições |
|
dc.subject |
Petri Nets |
|
dc.subject |
Systems Supervisors |
|
dc.subject |
Discrete Events |
|
dc.subject |
G-Nets Systems |
|
dc.subject |
Transition Enable Functions |
|
dc.rights |
Acesso Aberto |
pt_BR |
dc.creator |
BARROSO, Giovanni Cordeiro. |
|
dc.publisher |
Universidade Federal de Campina Grande |
pt_BR |
dc.language |
por |
pt_BR |
dc.title.alternative |
A new approach for the synthesis of discrete event system supervisors. |
pt_BR |
dc.identifier.citation |
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. |
pt_BR |