Logica temporal de tempo real generalizada aplicada ao controle e simulação de sistemas dinamicos e eventos discretos
AUTOR(ES)
Braz Izaias da Silva Junior
DATA DE PUBLICAÇÃO
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º
ASSUNTO(S)
sistemas dinamicos diferenciais engenharia eletrica
ACESSO AO ARTIGO
http://libdigi.unicamp.br/document/?code=vtls000046644Documentos Relacionados
- Logica modal aplicada a verificação de sistemas a eventos discretos
- Analise e sintese de sistemas a eventos discretos via logica modal
- Controle multivariavel de sistemas a eventos discretos em dioides
- Identificação e controle de sistemas a eventos discretos na algebra (Max,+)
- Sistemas dinâmicos discretos lineares