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

Mostrar otras versiones (3)

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...

Descripción completa

Detalles Bibliográficos
Autor principal: Brassesco, María Virginia (Autor, autor)
Otros Autores: D’Ippolito, Nicolás Roque (Orientador)
Formato: Tesis Libro
Lenguaje:Español
Publicado: Septiembre de 2017
Materias:
CONCURRENCIA
DISEÑO SINTETIZADO
LTS
CONTROLADORES
REACTIVIDAD GENERALIZADA
PEQUEÑA MEDIDA DE PROGRESO
Acceso en línea:Registro en la Biblioteca Digital
PDF
Handle
Aporte de:Registro referencial: Solicitar el recurso aquí
Biblioteca Central Dr. Luis F. Leloir (FCEN) de Universidad de Buenos Aires
LEADER 03812nam a22005057a 4500
003 AR-BaUEN
005 20230831153001.0
008 230320s2017 ag ad||fo|||| 000 0 spa d
040 |a AR-BaUEN  |b spa  |c AR-BaUEN 
041 0 |b spa  |b eng 
044 |a ag 
084 |a COM 000441 
100 1 |4 aut  |a Brassesco, María Virginia   |e autor  |g vbrassesco@gmail.com 
245 1 0 |a Síntesis concurrente de controladores para juegos definidos con objetivos de Generalized Reactivity (1) 
246 3 1 |a Concurrent synthesis for controllers designed with generalized reactivity (1) 
260 |c Septiembre de 2017 
300 |a v, 65 h. :  |b il., gráfs. color, tablas 
502 |b Licenciado en Ciencias de la Computación  |c Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales  |d 2017-09-26 
506 |2 openaire  |e Autorización del autor  |f info:eu-repo/semantics/openAccess 
518 |d 2023-04-02  |o Fecha de publicación en la Biblioteca Digital FCEN-UBA 
520 3 |a 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.  |l spa 
520 3 |a 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.  |l eng 
540 |2 cc  |f https://creativecommons.org/licenses/by-nc-sa/2.5/ar 
653 1 0 |a CONCURRENCIA 
653 1 0 |a DISEÑO SINTETIZADO 
653 1 0 |a LTS 
653 1 0 |a CONTROLADORES 
653 1 0 |a REACTIVIDAD GENERALIZADA 
653 1 0 |a PEQUEÑA MEDIDA DE PROGRESO 
690 1 0 |a CONCURRENT 
690 1 0 |a DESIGN SYNTHESIS 
690 1 0 |a CONTROLLERS 
690 1 0 |a GENERALIZED REACTIVITY 
690 1 0 |a SMALL PROGRESS MEASURES 
700 1 |4 ths  |a D’Ippolito, Nicolás Roque  |e dir 
856 4 1 |q application/pdf  |u https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000441_Brassesco  |x registro  |y Registro en la Biblioteca Digital 
856 4 1 |q application/pdf  |u https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000441_Brassesco.pdf  |x derivado  |y PDF 
856 4 1 |q application/pdf  |u https://hdl.handle.net/20.500.12110/seminario_nCOM000441_Brassesco  |x hdl  |y Handle 
901 |l 56672  |m Julia Cabral  |n 56678  |q Lucía Bongiovanni 
931 |a DC 
942 |2 z  |c TFL  |n 0 
961 |a seminario_nCOM000441_Brassesco  |b seminario  |c PU  |e DZ-FCEN 
962 |a info:ar-repo/semantics/tesis de grado  |a info:eu-repo/semantics/bachelorThesis  |b info:eu-repo/semantics/publishedVersion 
976 |a AEX 
999 |c 98803  |d 98803 

Ejemplares similares