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...

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....

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.