Modelagem orientada a objetos de sistemas e eventos discretos: estudo de caso na síntese de controle de sistemas prediais.

Detalhes bibliográficos
Autor(a) principal: Restrepo, Pedro Luis Angel
Data de Publicação: 2004
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: https://www.teses.usp.br/teses/disponiveis/3/3132/tde-19032024-095102/
Resumo: Neste trabalho se apresenta a definição da rede GHENeSys (General Hierarchical Enhanced Net System), sua equação de estado, os algoritmos computacionais para um jogador de marcas baseado na sua equação de estado, a ferramenta computacional que os implementa e uma aplicação na síntese de controle. A GHENeSys é uma rede estendida orientada a Objetos que permite o tratamento hierárquico do processo de projeto, o tema base é uma proposta na direção da fusão do Petri Net Inside Objects e do Object Inside Petri Nets, mantendo a representação algébrica e a análise de propriedades clássica. Apresenta-se um estudo de caso no campo da automação predial, consistindo de um prédio com uma política de utilização definida mediante regras heurísticas. Estas regras são utilizadas para a síntese de um sistema supervisório para o prédio, mediante o conceito de objetos de controle.
id USP_408dc31007df5715d275ac80e733ea38
oai_identifier_str oai:teses.usp.br:tde-19032024-095102
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Modelagem orientada a objetos de sistemas e eventos discretos: estudo de caso na síntese de controle de sistemas prediais.Untitled in englishBuilding SystemsPetri Nets (Control; Modeling)Redes de Petri (Controle; Modelagem)Sistemas prediaisNeste trabalho se apresenta a definição da rede GHENeSys (General Hierarchical Enhanced Net System), sua equação de estado, os algoritmos computacionais para um jogador de marcas baseado na sua equação de estado, a ferramenta computacional que os implementa e uma aplicação na síntese de controle. A GHENeSys é uma rede estendida orientada a Objetos que permite o tratamento hierárquico do processo de projeto, o tema base é uma proposta na direção da fusão do Petri Net Inside Objects e do Object Inside Petri Nets, mantendo a representação algébrica e a análise de propriedades clássica. Apresenta-se um estudo de caso no campo da automação predial, consistindo de um prédio com uma política de utilização definida mediante regras heurísticas. Estas regras são utilizadas para a síntese de um sistema supervisório para o prédio, mediante o conceito de objetos de controle.This work presents a formal definition of a Petri Net named GHENeSys General Hierarchical Enhanced Net System), we show its state equation, algorithms for a computational tool based on classic state equation, the software that make it useful and an application on control synthesis. GHENeSys an Extended Object Oriented Net than allow hierarchical design of systems, the principal interest of this work is an intent of melting Petri Net Inside Objects and Object Inside Petri Nets, but keeping the classics algebraic representation and properties analysis. Is presented a case study on Building Automation, where the use politics represented by heuristic rules, are used to make the synthesis of a supervisory system using the concept of Control Object.Biblioteca Digitais de Teses e Dissertações da USPSilva, José ReinaldoRestrepo, Pedro Luis Angel2004-06-09info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/3/3132/tde-19032024-095102/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2024-03-19T12:58:02Zoai:teses.usp.br:tde-19032024-095102Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212024-03-19T12:58:02Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Modelagem orientada a objetos de sistemas e eventos discretos: estudo de caso na síntese de controle de sistemas prediais.
Untitled in english
title Modelagem orientada a objetos de sistemas e eventos discretos: estudo de caso na síntese de controle de sistemas prediais.
spellingShingle Modelagem orientada a objetos de sistemas e eventos discretos: estudo de caso na síntese de controle de sistemas prediais.
Restrepo, Pedro Luis Angel
Building Systems
Petri Nets (Control; Modeling)
Redes de Petri (Controle; Modelagem)
Sistemas prediais
title_short Modelagem orientada a objetos de sistemas e eventos discretos: estudo de caso na síntese de controle de sistemas prediais.
title_full Modelagem orientada a objetos de sistemas e eventos discretos: estudo de caso na síntese de controle de sistemas prediais.
title_fullStr Modelagem orientada a objetos de sistemas e eventos discretos: estudo de caso na síntese de controle de sistemas prediais.
title_full_unstemmed Modelagem orientada a objetos de sistemas e eventos discretos: estudo de caso na síntese de controle de sistemas prediais.
title_sort Modelagem orientada a objetos de sistemas e eventos discretos: estudo de caso na síntese de controle de sistemas prediais.
author Restrepo, Pedro Luis Angel
author_facet Restrepo, Pedro Luis Angel
author_role author
dc.contributor.none.fl_str_mv Silva, José Reinaldo
dc.contributor.author.fl_str_mv Restrepo, Pedro Luis Angel
dc.subject.por.fl_str_mv Building Systems
Petri Nets (Control; Modeling)
Redes de Petri (Controle; Modelagem)
Sistemas prediais
topic Building Systems
Petri Nets (Control; Modeling)
Redes de Petri (Controle; Modelagem)
Sistemas prediais
description Neste trabalho se apresenta a definição da rede GHENeSys (General Hierarchical Enhanced Net System), sua equação de estado, os algoritmos computacionais para um jogador de marcas baseado na sua equação de estado, a ferramenta computacional que os implementa e uma aplicação na síntese de controle. A GHENeSys é uma rede estendida orientada a Objetos que permite o tratamento hierárquico do processo de projeto, o tema base é uma proposta na direção da fusão do Petri Net Inside Objects e do Object Inside Petri Nets, mantendo a representação algébrica e a análise de propriedades clássica. Apresenta-se um estudo de caso no campo da automação predial, consistindo de um prédio com uma política de utilização definida mediante regras heurísticas. Estas regras são utilizadas para a síntese de um sistema supervisório para o prédio, mediante o conceito de objetos de controle.
publishDate 2004
dc.date.none.fl_str_mv 2004-06-09
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 https://www.teses.usp.br/teses/disponiveis/3/3132/tde-19032024-095102/
url https://www.teses.usp.br/teses/disponiveis/3/3132/tde-19032024-095102/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1815257164843843584

Registros relacionados