| Componente Curricular |
|---|
| ENG656 - CONTROLE DE SISTEMAS A EVENTOS DISCRETOS |
| Carga Horária - Total: 60 horas | | |
|---|
| Teórica | Prática | Estágio | Departamento | Semestre Vigente |
|---|
| 60 | 0 | 0 | Engenharia Elétrica | 2024.2 |
| Ementa |
|---|
| Introdução aos Sistemas a Eventos Discretos; definição e caracterização; Modelos; Redes de Petri; Teoria das linguagens formais e autômatos; Técnicas de Modelagem; Teoria de Controle Supervisório; Observabilidade; Abordagem de controle de SEDs por redes de Petri via Invariantes de lugar; Abordagem de controle de SEDs por redes de Petri e lógica temporal. |
| Programa |
|---|
| Objetivo |
|---|
| Não há Objetivo cadastrado |
| Conteúdo |
|---|
| Não há Conteúdo cadastrado |
| Bibliografia |
|---|
| Não há Bibliografia cadastrada |