Herramientas Personales
Usted está aquí: Inicio / Agenda / Defensa Tesis Licenciatura María Virginia Brassesco

Defensa Tesis Licenciatura María Virginia Brassesco

Título: Síntesis concurrente de controladores para juegos definidos con objetivos de Generalized Reactivity(1). Director: Dr. Nicolás D'Ippolito. Jurados: - Dr. Nicolás Rosner (Universidad de California, Santa Barbara). - Lic. Gervasio Perez (Universidad de Buenos Aires, Argentina).

Detalles del evento

Cuándo

26/09/2017
de 11:00 a 12:00

Dónde

Laboratorio 4

Agregar evento al calendario

  • Título: Síntesis concurrente de controladores para juegos definidos con objetivos de Generalized Reactivity(1).
  • Director: Dr. Nicolás D'Ippolito.
  • Jurados:
    - Dr. Nicolás Rosner (Universidad de California, Santa Barbara).
    - Lic. Gervasio Perez (Universidad de Buenos Aires, Argentina).
  • Resumen:

Se describe un algoritmo concurrente para resolver juegos de tipo: Generalized Reactivity(1), con aplicación a síntesis de controladores. El algoritmo esta basado en Jurdzinski's Small Progress Measures. Utiliza estructuras de acceso concurrente para optimizar las lecturas y cuenta con bloqueos de escritura. El siguiente trabajo muestra la implementación del algoritmo de estabilización de punto fijo de forma concurrente, para cálculo de ranking.

La implementación se realizó y verificó sobre la herramienta MTSA [1]. Se analizaron implementaciones conocidas basadas en Small Progress Measures [2] [3]. Se adaptó la implementación para poder calcular ranking utilizando los teoremas conocidos de equivalencias entre juegos de paridad y GR1 [4]. Se reportan comparaciones sobre los resultados obtenidos.

Palabras claves: Concurrencia, Diseño sintetizado, LTS, Controladores, Reactividad Generalizada, Pequeña medida de progreso.

[1]Distributed Software Engineering (DSE) group at Imperial College London and Laboratory on Foundations and Tools for Software Engineering (LaFHIS) at University of Buenos Aires. Modal transition analizer. http://sourceforge.net/projects/mtsa/, 2015.

[2]Michael Huth, Nir Piterman, and Jim Huan-Pu Kuo. Concurrent small progress measures. 7261:130–144, 2011.

[3]Jaco van de Pol and Michael Weber. A multi-core solver for parity games. Electr. Notes Theor. Comput. Sci., 220(2):19–34, 2008.

[4]Erich Grädel, Thomas Wilke, and Wolfgang Thomas. Automata, Logics, and Infinite Games: A Guide to Current Research. Springer, 2002.