Automatos finitos
Centro Universitário de Maringá CESUMAR
Curso de Engenharia de Controle e Automação - Mecatrônica
Prof. Filipe Roseiro Côgo Fevereiro de 2012
Informações
•
Este material foi preparada com base na apostila do Prof. Eduardo Ribeiro Cury sobre Sistemas a Eventos Discretos, publicada no V Simpósio Brasileiro de Automação Inteligente e no livro Introducion to Discrete Event System de Christos Cassandra e Stéphane Lafortune, publicado pela editora Elsevier É indispensável a leitura do texto da bibliografia básica
•
Disciplina
•
Objetivos Bibliografia básica:
•
•
MORAES, Cícero Couto de; CASTRUCCI, Plínio de Lauro. Engenharia de automação industrial. Rio de Janeiro. LTC. 2001 CASSANDRA, Christos; Lafortune, Stéphane. Introducion to Discrete Event System, Nova Iorque, Springer. 2008
•
Disciplina
•
Campos de conhecimento e objetos de estudo (ementa)
• • • • •
Sistemas a eventos discretos Modelos autômatos de estado Redes de petri Controle supervisório Sistemas de supervisão
Introdução
•
A otimização e a automação nessas áreas vale a pena ?
• • • • • • •
Manufatura/Produção Supervisão de tráfego Logísticas Processos Redes de comunicações Gerenciamento de base de dados Etc.
Introdução
•
Tais sistemas têm em comum a maneira pela qual percebem o ambiente à sua volta Recepção de estímulos, denominados eventos Exemplos de eventos
• •
•
•
Início e término de uma tarefa Percepção de mudança no estado do sensor
Introdução
•
Estes eventos são instantâneos, o que lhes conferem um caráter discreto em relação ao tempo Sistemas com tais características são denominados Sistemas a Eventos Discretos (SED) Discretos em oposição aos sistemas de variáveis contínuas A natureza discreta dos SEDs faz com que os modelos matemáticos tradicionais não sejam adequados para tratá-los
•
•
•
Introdução
•
É altamente recomendável