Plano Departamental
Disciplina: ENE123 - SISTEMAS A EVENTOS DISCRETOS
Horas Aula: 4
Departamento: DEPTO DE ENERGIA ELETRICA /ENG
Plano de Ensino
Voltar
Ementa
Fornecer a compreensão dos sistemas a eventos discretos. Possibilitar a modelagem de sistemas a eventos discretos utilizando Redes de Petri. Utilizar a modelagem através de redes de Petri para o controle de sistemas a eventos discretos. Estudo e compreensão dos modelos autônomos de estado. Desenvolver sistemas de controle supervisório utilizando o conceito de autômatos de estado. Projetar sistemas de supervisão em sistemas de automação.
Conteúdo
1. Sistemas a Eventos Discretos: conceituação, classificação, propriedades, exemplos.
2. Redes de Petri: definições, propriedades, análise, implementação.
3. Redes de Petri no controle de SEDs.
4. Modelos autômatos de estado.
5. Controle Supervisório: Teoria de controle para SEDs, baseada em autômatos.
6. Sistemas de Supervisão: conceituação e aplicações em sistemas de automação.
Bibliografia
BOGDAN, S.; LEWIS, F. L.; KOVACIC, Z. and. MIRELES, J. Manufacturing systems control design: a matrix-based approach. Springer, 2006.
CASSANDRAS, C. G. and LAFORTUNE, S. Introduction to discrete event systems. Springer, 2008.
HRUZ, B. and ZHOU, M. Modeling and control of discrete-event dynamic systems: With petri nets and other tools. Springer, 2007.
JENSEN, K. and KRISTENSEN, L. M. Coloured Petri nets: modelling and validation of concurrent systems. Springer, 2009.
MOARES, C. C. e CATRUCCI, P. de L.: Engenharia de automação industrial. 2ª ed. Editora LTC, 2007.
Bibliografia(continuação)
Não informado
Bibliografia complementar
CARDOSO, J. e VALETTE, Robert. Redes de Petri. Editora da UFSC, 1997.
IORDACHE, Marian; ANTSAKLIS, Panos J. Supervisory Control of Concurrent Systems: A Petri Net Structural Approach . Birkhauser Boston, 2006.