Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/259749
Type: TESE
Title: Logica temporal de tempo real generalizada aplicada ao controle e simulação de sistemas dinamicos e eventos discretos
Author: Silva Junior, Braz Izaias da
Advisor: Mendes, Rafael Santos, 1957-
Abstract: 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.
Subject: Sistemas dinâmicos diferenciais
Engenharia elétrica
Language: Português
Editor: [s.n.]
Date Issue: 1992
Appears in Collections:FEEC - Tese e Dissertação

Files in This Item:
File SizeFormat 
SilvaJunior_BrazIzaiasda_M.pdf8.34 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.