Programa

Sistemas de Eventos Discretos

Diploma de Estudos Avançados em Engenharia Electrotécnica e de Computadores

Programa

1. Revisão de fundamentos de Teoria de Sistemas (modelos E/S, modelos de estado, espaço de estados, trajectória do estado, retroacção) e sua particularização para Sistemas de Eventos Discretos. 2. Linguagens e Autómatos (operações com autómatos, autómatos com número finito de estados, análise de sistemas de eventos discretos). 3. Supervisão de sistemas de eventos discretos (especificações, lidar com não controlabilidade, bloqueio e não observabilidade). 4. Redes de Petri (definições, análise e controlo). 5. Modelos Temporizados: Autómatos Temporizados. Redes de Petri Temporizadas. 6. Noções de Autómatos Temporizados Estocásticos, Cadeias de Markov e Cadeia de Markov Controladas. Relação com Tomada de Decisão Sequencial sob Incerteza e Aprendizagem por Reforço.