Calendário Acadêmico 2016Intranet da UFRJ (SIGA)Instruções para a inscrição em disciplinas (utilizando o SIGA)A seguir são fornecidas as ementas de todas as disciplinas ministradas por Marcos Vicente de Brito Moreira.
Disciplina Isolada
Disciplina Isolada
Qualquer estudante de pós-graduação, de curso de graduação da Universidade Federal do Rio de Janeiro, de outras Instituições de Ensino Superior, bem como portador de diploma de graduação registrado na forma da lei, poderá solicitar a matrícula isolada, sem direito a diploma, em disciplinas oferecidas pelo Programa de Engenharia Elétrica da COPPE/UFRJ.
Resolução COPPE-CPGP 03/2015 - Dispõe sobre regulamentação para matrícula e aproveitamento de disciplinas isoladas
Formulário de Matrícula em Disciplina Isolada
COE500
Estágio de Docência
O estágio de docência visa a dar ao aluno experiência em atividade didática. Isto será feito através de aulas ou seminários dados nos cursos de graduação, com conteúdo dependendo da área de estudo do aluno e de seu orientador, ou de determinação da coordenação do programa.
COE501
Estágio de Docência
O estágio de docência visa a dar ao aluno experiência em atividade didática. Isto será feito através de aulas ou seminários dados nos cursos de graduação, com conteúdo dependendo da área de estudo do aluno e de seu orientador, ou de determinação da coordenação do programa.
COE741
Introdução aos Sistemas Dinâmicos
Ementa: Sistemas: definições, classificação, exemplos; equações diferenciais e sistemas contínuos; solução das EDOLFs; transformada de Laplace; funções de transferência e sua obtenção; pólos e zeros; tipos de sistemas; estabilidade; critérios de estabilidade para o caso LIT; método do Lugar da Raízes; controle em malha aberta e fechada; especificações de desempenho; filosofia básica do Controle Clássico; projeto pelo método de tentativa e erros; variáveis de estado; equações dinâmicas e sua resolução; autovalores e autovetores; modos naturais; transformações de equivalência; formas canônicas; controlabilidade e observabilidade; decomposição de Kalman; realimentação de estados e alocação de pólos. Bibliografia: Dorf, R.C. (1986). Modern Control Systems; Franklin, G.F., Powell, J.D. and Naeini, A.E. (1994). Feedback Control of Dynamic Systems.
CPE739
Sistemas a Eventos Discretos
Ementa: Propriedades dos sistemas a eventos discreto, Diferenças entre sistemas com evolução baseada em eventos e no tempo, Exemplos de sistemas a eventos discretos. Linguagens e autômatos: Conceitos de linguagens e autômatos, Operações com autômatos, Autômatos com estados finitos, Análise de sistemas a eventos discretos. Redes de Petri: Fundamentos de redes de Petri, Comparação entre redes de Petri e autômatos, Análise de redes de Petri, Modelos com temporização: Autômatos temporizados, Redes de Petri temporizadas. Bibliografia: C. G. Cassandras e S. Lafortune. Introduction to discrete event systems, 2nd Edition. Springer 2008; J. E. Hopcroft, R. Motwani e J. D. Ullman. Introduction to automata theory, languages and computation, 3nd Edition. Pearson 2007; R. David e H. Alla. Discrete, continuous and hybrid Petri nets, Springer 2005; T. Murata. Petri nets: properties, analysis and applications, Procedding of the IEEE, vol.77 (4), pp. 541-579, 1989.
CPE747
Diagnose de Falhas em Sistemas a Eventos
Ementa: Diagnosticadores de falhas; Diagnosticabilidade centralizada de Sistemas a Eventos Discretos; Diagnosticabilidade descentralizada de Sistemas a Eventos Discretos; Codiagnosticabilidade disjuntiva; Codiagnosticabilidade conjuntiva; Verificadores; Implementação de diagnosticadores; Seleção de sensores para diagnóstico; Bases mínimas para a diagnosticabilidade; Diagnóstico robusto de falhas. Bibliografia: 1) Cassandras, Christos G., Lafortune, Stéphane. Introduction to Discrete Event Systems. Springer. 2008; 2) W. Qiu and R. Kumar, "Decentralized failure diagnosis of discrete event systems," IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans, vol. 36, no. 2, pp.384-395, 2006; 3) M. V. Moreira, T. C. Jesus, and J. C. Basilio, "Polynomial time verification of decentralized diagnosability of discrete event systems," IEEE Transactions on Automatic Control, pp. 1679-1684, 2011; 4) L. K. Carvalho, J. C. Basilio, and M. V. Moreira, "Robust diagnosis of discrete-event systems against intermittent loss of observations," Automatica, vol. 48, no. 9, pp. 2068-2078, 2012; 5) L. K. Carvalho, M. V. Moreira, J. C. Basilio, and S. Lafortune, "Robust diagnosis of discrete-event systems against permanent loss of observations," Automatica, vol. 49, no. 1, pp. 223-231, 2013.
CPE749
Tópicos Especiais em Sistemas à Eventos Discretos Diagnósticos de Falhas com Observações Dinâmicas
Ementa: Diagnóstico de falhas em Sistemas a Eventos Discretos; Observações dinâmicas baseadas em linguagens; Observações dinâmicas baseadas em transições; Diagnosticabilidade de SED com observações dinâmicas; Codiagnosticabilidade de SED com observações dinâmicas; Diagnóstico online de falhas com observações dinâmicas.
