Registro:
| Documento: | Tesis de Grado |
| Título: | Agregando información especifica de dominio para escalar la síntesis de controladores de tipo GR(1) |
| Título alternativo: | Adding domain specific information to scale the synthesis of GR(1) controllers |
| Autor: | Turco, Darío |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2025-08-04 |
| Fecha de defensa: | 2024-08-02 |
| Fecha en portada: | 2024 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Uchitel, Sebastián |
| Jurado: | Zanollo, Florencia; Braberman, Víctor Adrián |
| Idioma: | Español |
| Palabras clave: | SINTESIS DE CONTROLADORES; APRENDIZAJE POR REFUERZOS; REDES NEURONALES; APRENDIZAJE AUTOMATICO; OTF-DCS; REACTIVIDAD GENERALCONTROLLER SYNTHESIS; REINFORCEMENT LEARNING; NEURONAL NETWORKS; MACHINE LEARNING; OTF-DCS; GENERAL REACTIVITY |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000827_Turco |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000827_Turco.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000827_Turco |
| Ubicación: | Dep.COM 000827 |
| 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. Turco, Darío. (2024). Agregando información especifica de dominio para escalar la síntesis de controladores de tipo GR(1). (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000827_Turco |
Resumen:
El área de síntesis de controladores busca construir automáticamente estrategias para resolver problemas bajo ciertas garantías. El algoritmo On-The-Fly Directed Controller Synthesis (OTF-DCS), propuesto por Ciolek en su trabajo de tesis doctoral, resuelve este problema, pero depende de una heurística auxiliar. Además de proponer el algoritmo OTF-DCS, Ciolek también propuso una heurística llamada Ready Abstraction(RA), la cual es la que mejores resultados logra. Luego, Tomas Delgado propuso una heurística basada en aprendizaje por refuerzos, la cual, requiere una función de abstracción que captura las features mas importantes de un estado. En este trabajo de tesis, exploraremos el impacto de agregar features con información específica del dominio del problema a resolver a la función de abstracción que usa la heurística basada en aprendizaje por refuerzos. Para esto, ofrecemos una metodología para abstraer información referente a las entidades del problema de control. Esto tiene como objetivo mejorar el rendimiento de dicha heurística y por lo tanto, el rendimiento del algoritmo OTF-DCS en su versión para restricciones de tipo GR(1). Estas mejoras serán comparadas de manera empírica contra otras heurísticas comúnmente utilizadas tales como RA, entre otras.
Abstract:
The area of controller synthesis aims to automatically construct strategies to solve problems under certain guarantees. The On-The-Fly Directed Controller Synthesis (OTF-DCS) algorithm, proposed by Ciolek in his doctoral thesis, addresses this problem but relies on an auxiliary heuristic. In addition to proposing the OTF-DCS algorithm, Ciolek also proposed a heuristic called Ready Abstraction(RA), which achieves good results. Later, Tomas Delgado proposed a heuristic based on reinforcement learning, which requires an abstraction function that captures the most important features of a state. In this thesis, we will explore the impact of adding features with specific information of the problem to be solved to the abstraction function used by the reinforcement learning heuristic. To do this, we offer a methodology for abstracting information related to the entities in the control problem. This aims to improve the performance of the heuristic and consequently, the performance of the OTF-DCS algorithm in its version for GR(1) constraints. These improvements will be empirically compared against other commonly used heuristics such as RA, among others.
Citación:
---------- APA ----------
Turco, Darío. (2024). Agregando información especifica de dominio para escalar la síntesis de controladores de tipo GR(1). (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000827_Turco
---------- CHICAGO ----------
Turco, Darío. "Agregando información especifica de dominio para escalar la síntesis de controladores de tipo GR(1)". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2024.https://hdl.handle.net/20.500.12110/seminario_nCOM000827_Turco
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000827_Turco.pdf
Distrubución geográfica
