untitled

Síntesis concurrente de controladores para juegos definidos con objetivos de Generalized Reactivity(1)

Concurrent synthesis for controllers designed with generalized reactivity (1)

Brassesco, María Virginia

Director(a):

D’Ippolito, Nicolás Roque

Institución otorgante:

Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales

Fecha:

2017-09-26

Tipo de documento:

info:eu-repo/semantics/bachelorThesis

Formato:

application/pdf

Temas:

CONCURRENCIA - DISEÑO SINTETIZADO - LTS - CONTROLADORES - REACTIVIDAD GENERALIZADA - PEQUEÑA MEDIDA DE PROGRESO - CONCURRENT - DESIGN SYNTHESIS - CONTROLLERS - GENERALIZED REACTIVITY - SMALL PROGRESS MEASURES

Descripción:

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 [DL15]. Se analizaron implementaciones conocidas basadas en Small Progress Measures [HPK11] [vdPW08a]. Se adaptó la implementación para poder calcular ranking utilizando los teoremas conocidos de equivalencias entre juegos de paridad y GR1 [GWT02]. Se reportan comparaciones sobre los resultados obtenidos.

Identificador:

https://hdl.handle.net/20.500.12110/seminario_nCOM000441_Brassesco

Derechos:

info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-nd/2.5/ar/

Licencia de uso:

Descargar texto:

seminario_nCOM000441_Brassesco.oai

Cita bibliográfica:

Brassesco, María Virginia (2017-09-26). Síntesis concurrente de controladores para juegos definidos con objetivos de Generalized Reactivity(1). (info:eu-repo/semantics/bachelorThesis). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. [consultado: ] Disponible en el Repositorio Digital Institucional de la Universidad de Buenos Aires: <https://hdl.handle.net/20.500.12110/seminario_nCOM000441_Brassesco>