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 Lilian Kawakami Carvalho.
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
COE737
Introdução aos sistemas híbridos
Ementa: 1. Exemplos de sistema híbridos; 2. Autômatos híbridos; 3. Sistemas de transição; 4. Logica linear temporal; 5. Propriedades linear no tempo (invariância, segurança, vivacidade); 6. Propriedades regulares; 7. Automato de Büchi; 8. Verificação da alcançabilidade; 9. Síntese de logica linear temporal; 10. Verificação de modelos por sistemas de transição. Bibliografia: [1]C.Baier and J.P. Katoen Principles of Model Checking; [2]J. Lygeros, S. Sastry, and C. Tomlin, Hybrid Systems: Foundations, advanced topics and applications, 2012. Pré-Requisitos: CPE739 e COE732
CPE743
Controle Supervisório
Ementas: Controle Supervisório; Especificação; Controle Supervisório com controlabilidade parcial; Controle Supervisório não bloqueante; Controle Supervisório com observação parcial; Controle Supervisório descentralizado. Bibliografia: C. G. Cassandras e S. Lafortune. Introduction to discrete event systems, 2nd Edition. Springer 2008; W.M. Wonham, Supervisory Control of Discrete-Event Systems (http://www.control.utoronto.ca/~wonham/wonham.html), 2014; R. Kumar e V. K. Garg, Modeling and control of logical discrete event systems, Springer US,1995.
