Contribuição ao uso da lógica temporal na especificação de comportamento de sistemas a eventos discretos.

Detalhes bibliográficos
Autor(a) principal: COSTA, Eduard Montgomery Meira.
Data de Publicação: 1997
Tipo de documento: Dissertação
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/10552
Resumo: As redes de Petri têm se tornado uma ferramenta de grande utilidade para modelagem e analise de Sistemas a Eventos Discretos. 0 uso da lógica temporal para a especificação de comportamentos de modelos de SEDs e, aqui, introduzido, desde que esta e uma ferramenta de alta abrangência, substituindo a utilização das linguagens formais, na busca da solução da síntese do supervisor. A principal classe de redes de Petri utilizada para a modelagem neste trabalho, são as Redes de Petri com Função de Habilitação de Transições, que apresentam funções lógicas em suas transições, que geram uma sequência desejada, para servir como supervisor, o qual deve possuir a mesma estrutura do modelo do sistema a ser controlado.
id UFCG_361310e94ca45823eef09306e6b2d7c7
oai_identifier_str oai:localhost:riufcg/10552
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str 4851
spelling Contribuição ao uso da lógica temporal na especificação de comportamento de sistemas a eventos discretos.Contribution to the use of temporal logic in specifying discrete event systems behavior.As redes de Petri têm se tornado uma ferramenta de grande utilidade para modelagem e analise de Sistemas a Eventos Discretos. 0 uso da lógica temporal para a especificação de comportamentos de modelos de SEDs e, aqui, introduzido, desde que esta e uma ferramenta de alta abrangência, substituindo a utilização das linguagens formais, na busca da solução da síntese do supervisor. A principal classe de redes de Petri utilizada para a modelagem neste trabalho, são as Redes de Petri com Função de Habilitação de Transições, que apresentam funções lógicas em suas transições, que geram uma sequência desejada, para servir como supervisor, o qual deve possuir a mesma estrutura do modelo do sistema a ser controlado.P e t r i nets are a tool of great u t i l i t y for modeling and analysis of Discrete Event Systems (DES). The use of the temporal logic to the behavior's specification of DES's models is, here, introduced, since that is a high cover tool, s u b s t i t u t i n g the u t i l i z a t i o n of the formal languages, in the search of the supervisor's synthesis. The main class of P e t r i nets used used to the supervisor's modeling i n this work, are the P e t r i nets w i th Transitions Enabling Function, that presents logic functions i n its transitions, that generate a desired sequence, t o serve as supervisor, that must have the same s t r u c t u re of system's model to be controlled.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.MENDES, Rafael Santos.COSTA, Eduard Montgomery Meira.1997-10-242019-12-30T13:58:19Z2019-12-302019-12-30T13:58:19Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10552COSTA, Eduard Montgomery Meira. Contribuição ao uso lógica temporal na especificação de comportamento de sistemas à eventos discretos. 1997. 93f. (Dissertação de Mestrado em Engenharia Elétrica), Curso de Pós-Graduação em Engenharia Elétrica, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba – Campus II - Campina Grande - PB - Brasil, 1997.porinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2021-06-08T19:01:57Zoai:localhost:riufcg/10552Biblioteca 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-06-08T19:01:57Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.none.fl_str_mv Contribuição ao uso da lógica temporal na especificação de comportamento de sistemas a eventos discretos.
Contribution to the use of temporal logic in specifying discrete event systems behavior.
title Contribuição ao uso da lógica temporal na especificação de comportamento de sistemas a eventos discretos.
spellingShingle Contribuição ao uso da lógica temporal na especificação de comportamento de sistemas a eventos discretos.
COSTA, Eduard Montgomery Meira.
title_short Contribuição ao uso da lógica temporal na especificação de comportamento de sistemas a eventos discretos.
title_full Contribuição ao uso da lógica temporal na especificação de comportamento de sistemas a eventos discretos.
title_fullStr Contribuição ao uso da lógica temporal na especificação de comportamento de sistemas a eventos discretos.
title_full_unstemmed Contribuição ao uso da lógica temporal na especificação de comportamento de sistemas a eventos discretos.
title_sort Contribuição ao uso da lógica temporal na especificação de comportamento de sistemas a eventos discretos.
author COSTA, Eduard Montgomery Meira.
author_facet COSTA, Eduard Montgomery Meira.
author_role author
dc.contributor.none.fl_str_mv LIMA, Antonio Marcus Nogueira.
LIMA, A. M. N.
http://lattes.cnpq.br/2237395961717699
PERKUSICH, Angelo.
MENDES, Rafael Santos.
dc.contributor.author.fl_str_mv COSTA, Eduard Montgomery Meira.
description As redes de Petri têm se tornado uma ferramenta de grande utilidade para modelagem e analise de Sistemas a Eventos Discretos. 0 uso da lógica temporal para a especificação de comportamentos de modelos de SEDs e, aqui, introduzido, desde que esta e uma ferramenta de alta abrangência, substituindo a utilização das linguagens formais, na busca da solução da síntese do supervisor. A principal classe de redes de Petri utilizada para a modelagem neste trabalho, são as Redes de Petri com Função de Habilitação de Transições, que apresentam funções lógicas em suas transições, que geram uma sequência desejada, para servir como supervisor, o qual deve possuir a mesma estrutura do modelo do sistema a ser controlado.
publishDate 1997
dc.date.none.fl_str_mv 1997-10-24
2019-12-30T13:58:19Z
2019-12-30
2019-12-30T13:58:19Z
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 http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10552
COSTA, Eduard Montgomery Meira. Contribuição ao uso lógica temporal na especificação de comportamento de sistemas à eventos discretos. 1997. 93f. (Dissertação de Mestrado em Engenharia Elétrica), Curso de Pós-Graduação em Engenharia Elétrica, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba – Campus II - Campina Grande - PB - Brasil, 1997.
url http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10552
identifier_str_mv COSTA, Eduard Montgomery Meira. Contribuição ao uso lógica temporal na especificação de comportamento de sistemas à eventos discretos. 1997. 93f. (Dissertação de Mestrado em Engenharia Elétrica), Curso de Pós-Graduação em Engenharia Elétrica, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba – Campus II - Campina Grande - PB - Brasil, 1997.
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_ 1809744425289515008

Registros relacionados