Sistemas Dinâmicos a Eventos Discretos: Fundamentos para a Moderna Aut
(Eduard Montgomery Meira Costa; Antonio M N Lima)
Este livro dá uma visão básica sobre a moderna automação industrial, cuja base se dá na metodologia de modelagem dos sistemas a eventos discretos por meio dos autômatos e linguagens formais e pelas redes de Petri. Neste contexto, as especificações de comportamento são descritas através de linguagens formais ou de lógica temporal (CTL - computation tree logic) e a construção do supervisor, que é o agente de controle para estes sistemas, é realizada por meio de algoritmos computacionais. Para o primeiro caso, ou seja, via sistemas a eventos discretos modelados por autômatos, a abordagem de construção do supervisor é a denominada malha RW (dos criadores Ramadge e Wonham), enquanto que para a segunda (via redes de Petri) é utilizada a abordagem de Barroso (tese de doutorado). Além do mais, na abordagem de especificação do comportamento dos sistemas, a abordagem utilizando a lógica temporal é baseada na dissertação de mestrado de Eduard Costa, a qual se mostra uma importante ferramenta para análise de caminhos em autômatos e redes de Petri. Neste livro são apresentados os algoritmos definidos para a construção do supervisor nestas abordagens, dando uma forte base para o conhecimento de quem adentra na área de automação industrial.
Resumos Relacionados
- Utilizando LÓgica Temporal Na EspecificaÇÃo De Comportamentos De Seds
- Álgebra De Dióides E Aplicações Aos Sistemas Dinâmicos A Eventos Discretos
- Utilizando Redes De Petri Multiplexadas Na Síntese De Supervisores De Sistemas A Eventos Discretos
- Utilizando Redes De Petri Multiplexadas Na Síntese De Supervisores ...
- Introdução As Redes De Petri E A Modelagem De Sistemas
|
|
