BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Departamento de Computación
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20200101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20210512T150000
DTEND;TZID=America/Sao_Paulo:20210512T160000
DTSTAMP:20260516T193326
CREATED:20210506T154049Z
LAST-MODIFIED:20210506T154049Z
UID:6670-1620831600-1620835200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Florencia Zanollo y Matias Duran
DESCRIPTION:Título: Sı́ntesis Dirigida de Controladores No Maximales para Requerimientos de tipo Non-Blocking\nDirector: Sebastian Uchitel\nJurados: Mariano Cerruti y Javier Marenco \nResumen:\nEsta tesis se da en el contexto de planning (uno de los temas de Ingeniería II) y presenta un algoritmo para encontrar estrategias ganadoras en una especificación de juego de dos jugadores\, modelado mediante autómatas finitos\, discretos y determinísticos.\nEn detalle\, presenta la primera implementación de síntesis de directores para resolver problemas de Control de Eventos Discretos con la propiedad central de tipo non-blocking. El método aprovecha la naturaleza composicional del problema y su input compacto\, minimizando la explosión exponencial al componer la planta total. Con el enfoque de exploración on-the-fly de forma best-first-search guiada por distintas heurísticas\, se busca reducir la parte de la planta a componer. La implementación fue incorporada al software MTSA\, junto con una batería de tests para conservar su correctitud ante futuros cambios.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-florencia-zanollo-y-matias-duran/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR