<secondary-title/> </titles> <doi/> <pages/> <volume/> <number/> <dates> <year>2010</year> <pub-dates> <date>2010-2011</date> </pub-dates> </dates> <abstract>La asignatura consta de 4 créditos ECTS o 100 horas de trabajo del alumno. El Máster en Ingeniería de Sistemas e Informática tiene un bloque de asignaturas que forma al alumno en análisis formal de sistemas de eventos discretos impartido por profesores del grupo de Ingeniería de Sistemas de Eventos Discretos (GISED). Dentro de este bloque, la presente asignatura proporciona herramientas matemáticas formales básicas para el modelado, verificación y resolución de problemas de ingeniería de sistemas discretos en los que la optimización, tanto paramétrica como dinámica, desempeña un papel fundamental. Se hace énfasis en la formulación de modelos matemáticos y en las principales técnicas para su resolución, así como en dos importantes y complementarios dominios de aplicación: los sistemas de manufactura y los de tráfico rodado. </abstract> </record> </records> </xml>

Silva Suárez, Manuel Mahulea , Cristian Florentín <secondary-title/> </titles> <doi/> <pages/> <volume/> <number/> <dates> <year>2010</year> <pub-dates> <date>2010-2011</date> </pub-dates> </dates> <abstract>La asignatura consta de 4 créditos ECTS o 100 horas de trabajo del alumno. El Máster en Ingeniería de Sistemas e Informática tiene un bloque de asignaturas que forma al alumno en análisis formal de sistemas de eventos discretos impartido por profesores del grupo de Ingeniería de Sistemas de Eventos Discretos (GISED). Dentro de este bloque, la presente asignatura proporciona herramientas matemáticas formales básicas para el modelado, verificación y resolución de problemas de ingeniería de sistemas discretos en los que la optimización, tanto paramétrica como dinámica, desempeña un papel fundamental. Se hace énfasis en la formulación de modelos matemáticos y en las principales técnicas para su resolución, así como en dos importantes y complementarios dominios de aplicación: los sistemas de manufactura y los de tráfico rodado. </abstract> </record> </records> </xml>