Registro:
| Documento: | Tesis de Grado |
| Título: | Síntesis concurrente de controladores para juegos definidos con objetivos de Generalized Reactivity (1) |
| Título alternativo: | Concurrent synthesis for controllers designed with generalized reactivity (1) |
| Autor: | Brassesco, María Virginia |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2023-04-02 |
| Fecha de defensa: | 2017-09-26 |
| Fecha en portada: | Septiembre de 2017 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Director: | D’Ippolito, Nicolás Roque |
| Idioma: | Español |
| Palabras clave: | CONCURRENCIA; DISEÑO SINTETIZADO; LTS; CONTROLADORES; REACTIVIDAD GENERALIZADA; PEQUEÑA MEDIDA DE PROGRESOCONCURRENT; DESIGN SYNTHESIS; CONTROLLERS; GENERALIZED REACTIVITY; SMALL PROGRESS MEASURES |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000441_Brassesco |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000441_Brassesco.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000441_Brassesco |
| Ubicación: | Dep.COM 000441 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Brassesco, María Virginia. (2017). Síntesis concurrente de controladores para juegos definidos con objetivos de Generalized Reactivity (1). (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000441_Brassesco |
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 [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.
Abstract:
This work describes a concurrent algorithm to solve Generalized Reactivity (1) games with its application to controller synthesis. The algorithm is based on Jurdzinski’s Small Progress Measures (SPM). It uses concurrent structures to optimize reads and some write locks. The following work shows the implementation of the fixed point recucurrent algorithm to compute the ranking in a concurrent way. The implementation was done and verified on MTSA tool [DFCU08b]. Different known implementations based on SPM where analized [vdPW08a]. The implementation was adapted to calculate the ranking using known theorems based on GR1 and parity games equivalencies [GWT02]. A result comparisson was also reported.
Citación:
---------- APA ----------
Brassesco, María Virginia. (2017). Síntesis concurrente de controladores para juegos definidos con objetivos de Generalized Reactivity (1). (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000441_Brassesco
---------- CHICAGO ----------
Brassesco, María Virginia. "Síntesis concurrente de controladores para juegos definidos con objetivos de Generalized Reactivity (1)". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2017.https://hdl.handle.net/20.500.12110/seminario_nCOM000441_Brassesco
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000441_Brassesco.pdf
Distrubución geográfica
