Orientador: Rafael Santos Mendes / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T05:05:55Z (GMT). No. of bitstreams: 1
SilvaJunior_BrazIzaiasda_M.pdf: 8543426 bytes, checksum: 48f62fdf8ca9231d303775ae7caacc91 (MD5)
Previous issue date: 1992 / Resumo: O presente trabalha propõe uma metodologia para estuda. Análise, controle e simulação de Sistemas Dinâmicos a Eventos Discretas (DEDS) baseada em resultados da lógica temporal. Os DEDS são sistemas onde a mudança de estadas só se dá com a ocorrência de eventos, que ocorrem em momentos discretos de tempo, e estes sistemas não são satisfatoriamente descritos por equações diferenciais. A Lógica temporal de Tempo Real Generalizada (GRTTL), nome do formalismo desenvolvido deriva de sistemas lógicos já propostos e é uma generalização das mesmas para aplicações em DEDS que apresentem comportamento não-determinísticos e com limitantes de tempo real. Uma abordagem dirigida para controle de sistemas é adotada, onde ao sistema a ser controlado (planta) é adicionado um controlador que garante o cumprimento das especificações desejadas (equações de malha-fechada). A Simulação de sistemas é conseguida associando a GRTTL a um simulador. o Sistema de Simulação Baseada em Conhecimento (SSBC), obtendo uma metodologia de conversão da 1º para a 2º / Abstract: This work presents a temporal framework for control and simulation of Discrete Event Dynamic Systems (DEDS). DEDS are systems which the state changes occur only when an event occurs. and events occur in discrete times. This kind of systems are not well descrlbed by differential equations. The Generalized Real-Time Temporal Logic (GRTTL). the name of our formalism. is a generalization of existing models for DEDS in a Real-Time non-deterministic approach. A control point of view is adopted. where to the system to be controlled (plant) is associated a controller which may enforce the satisfaction of the desired specifications (closed-loop assertions). The system simulation is obtained with the association between the GRTTL and a simulator. the Knowledge-Based System Simulator (KBSS). where a methodology to convert from GRTTL to KBSS is outlined. / Mestrado / Mestre em Engenharia Elétrica
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/259749 |
| Date | 13 July 1992 |
| Creators | Silva Junior, Braz Izaias da |
| Contributors | UNIVERSIDADE ESTADUAL DE CAMPINAS, Mendes, Rafael Santos, 1957- |
| Publisher | [s.n.], Universidade Estadual de Campinas. Faculdade de Engenharia Elétrica e de Computação, Programa de Pós-Graduação em Engenharia Elétrica |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | 156f. : il., application/pdf |
| Source | reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP |
| Rights | info:eu-repo/semantics/openAccess |
| Relation | (Publicação FEE) |
Page generated in 0.0049 seconds