Logica temporal de tempo real generalizada aplicada ao controle e simulação de sistemas dinamicos e eventos discretos
Braz Izaias da Silva Junior
DISSERTAÇÃO
Português
(Broch.)
T/UNICAMP Si38L
Campinas, SP : [s.n.], 1992.
156f. : il.
(Publicação FEE)
Orientador: Rafael Santos Mendes
Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica
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...
Ver mais
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º
Ver menos
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....
Ver mais
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.
Ver menos
Logica temporal de tempo real generalizada aplicada ao controle e simulação de sistemas dinamicos e eventos discretos
Braz Izaias da Silva Junior
Logica temporal de tempo real generalizada aplicada ao controle e simulação de sistemas dinamicos e eventos discretos
Braz Izaias da Silva Junior
Exemplares
Nº de exemplares: 2
Não existem reservas para esta obra