Analise e sintese de sistemas a eventos discretos via logica modal

Detalhes bibliográficos
Autor(a) principal: Magossi, José Carlos, 1963-
Data de Publicação: 1998
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1586463
Resumo: Orientador: Rafael Santos Mendes
id UNICAMP-30_9d52b01d4b3b484a2a74bfd5ce5b3c92
oai_identifier_str oai::133904
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Analise e sintese de sistemas a eventos discretos via logica modalLógica matemática não-clássicaRedes de PetriAlgoritmosOrientador: Rafael Santos MendesTese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de ComputaçãoResumo: Aborda-se o problema de verificação de especificações e síntese de controladores em uma classe de sistemas dinâmicos a eventos discretos. Propõe-se uma nova lógica modal denominada lógica modal NK, e mostra-se que um conjunto de fórmulas nesta lógica é equivalente a um conjunto de fórmulas escritas no contexto da teoria de dióides. Desse modo, um sistema descritível por um grafo a eventos, que é modelado por um conjunto de equações num dióide apropriado, também é modelado por um conjunto de fórmulas da lógica modal NK. Então utiliza-se as técnicas de tableaux analíticos para desenvolver um algoritmo para decidir se uma especificação é satisfeita ou não. Quanto ao problema de síntese, a solução obtida pelo tableau analítico é utilizada para determinar as NK-fórmulas, e portanto o controlador, que tomará a especificação satisfeita. A principal vantagem deste inter-relacionamento de abordagens é permitir a utilização de técnicas da lógica modal, particularmente os tableaux analíticos, no tratamento de problemas de análise e síntese de controlad9res para sistemas a eventos discretosAbstract: The problem of verification of a specification and controller synthesis in a class of discrete event dynamic systems is addressed. We propose a new propositional modallogic, named NK logic, and we show that a set of formulas of this logic is completely equivalent to a set of equations written in the context of the theory of dioids. Therefore, a system described by an event graph can be modeled by a set of formulas in NK logic. Then we use the technique of the analytic tableaux to develop an algorithm to decide if a specification, also expressed in NK logic, is satisfied. If a specification is not satisfied then there exists a solution for the equations written in dioid context that violates the specification. The method of analytic tableaux gives this solution. Conceming the synthesis problem, the solution obtained by the analytic tableau is used to determine the NK-formulas, and therefore the controller, that makes the specification be verified. The main advantage of this approach is allow us to use the technique of analytic tableaux to investigate problems of analysis and synthesis of controllers for discrete event systemsDoutoradoDoutor em Engenharia Elétrica[s.n.]Mendes, Rafael Santos, 1957-Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica e de ComputaçãoPrograma de Pós-Graduação em Engenharia ElétricaUNIVERSIDADE ESTADUAL DE CAMPINASMagossi, José Carlos, 1963-19981998-08-20T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf131f. : il.https://hdl.handle.net/20.500.12733/1586463MAGOSSI, José Carlos. Analise e sintese de sistemas a eventos discretos via logica modal. 1998. 131f. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1586463. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/133904porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2014-04-18T11:51:59Zoai::133904Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2014-04-18T11:51:59Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Analise e sintese de sistemas a eventos discretos via logica modal
title Analise e sintese de sistemas a eventos discretos via logica modal
spellingShingle Analise e sintese de sistemas a eventos discretos via logica modal
Magossi, José Carlos, 1963-
Lógica matemática não-clássica
Redes de Petri
Algoritmos
title_short Analise e sintese de sistemas a eventos discretos via logica modal
title_full Analise e sintese de sistemas a eventos discretos via logica modal
title_fullStr Analise e sintese de sistemas a eventos discretos via logica modal
title_full_unstemmed Analise e sintese de sistemas a eventos discretos via logica modal
title_sort Analise e sintese de sistemas a eventos discretos via logica modal
author Magossi, José Carlos, 1963-
author_facet Magossi, José Carlos, 1963-
author_role author
dc.contributor.none.fl_str_mv Mendes, Rafael Santos, 1957-
Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica e de Computação
Programa de Pós-Graduação em Engenharia Elétrica
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Magossi, José Carlos, 1963-
dc.subject.por.fl_str_mv Lógica matemática não-clássica
Redes de Petri
Algoritmos
topic Lógica matemática não-clássica
Redes de Petri
Algoritmos
description Orientador: Rafael Santos Mendes
publishDate 1998
dc.date.none.fl_str_mv 1998
1998-08-20T00:00:00Z
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 https://hdl.handle.net/20.500.12733/1586463
MAGOSSI, José Carlos. Analise e sintese de sistemas a eventos discretos via logica modal. 1998. 131f. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1586463. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1586463
identifier_str_mv MAGOSSI, José Carlos. Analise e sintese de sistemas a eventos discretos via logica modal. 1998. 131f. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1586463. Acesso em: 2 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/133904
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
131f. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809188814609973248

Registros relacionados