Comparación de MILP, SAT Y ASP para la spintesis de autómatas mínimos a partir de trazas

Simple item page
dc.catalogadorpva
dc.contributor.advisorBaier Aranda, Jorge Andrés
dc.contributor.advisorToro Icarte, Rodrigo Andrés
dc.contributor.authorMedina Jorquera, Alex Pavel
dc.contributor.otherPontificia Universidad Católica de Chile. Escuela de Ingeniería
dc.date.accessioned2025-04-08T14:11:44Z
dc.date.available2025-04-08T14:11:44Z
dc.date.issued2025
dc.descriptionTesis (Magíster en Ciencias de la Ingeniería)--Pontificia Universidad Católica de Chile, 2025
dc.description.abstractEn este trabajo, comparamos tres enfoques principales para la síntesis de autómatas finitos deterministas minimales (DFA) a partir de trazas etiquetadas positiva y negativamente: Programación Lineal Entera Mixta (MILP), resolución de problemas SAT y Programación de Conjuntos de Respuestas (ASP). Adaptamos modelos SAT existentes, desarrollamos nuevas codificaciones basadas en MILP y ASP, y creamos un conjunto de datos inspirado en la competencia StaMinA para evaluar el rendimiento de los modelos. Los resultados muestran que los enfoques basados en SAT son consistentemente superiores, resolviendo problemas tanto simples como complejos con mayor eficiencia. Los modelos basados en ASP presentan un rendimiento competitivo bajo configuraciones específicas, mientras que MILP mostró limitaciones en comparación. Este estudio destaca la importancia de las optimizaciones en modelos basados en ASP y su potencial para aplicaciones futuras, como la extensión a autómatas no deterministas y otros problemas de optimización discreta.
dc.description.funderCENIA
dc.description.funderANID
dc.description.funderFondecyt
dc.fechaingreso.objetodigital2025-04-08
dc.format.extentxii, 48 páginas
dc.fuente.origenAutoarchivo
dc.identifier.urihttps://repositorio.uc.cl/handle/11534/103152
dc.information.autorucEscuela de Ingeniería; Baier Aranda, Jorge Andrés; 0000-0002-6280-5619; 9477
dc.information.autorucEscuela de Ingeniería; Toro Icarte, Rodrigo Andrés; 0000-0002-7734-099X; 170373
dc.information.autorucEscuela de Ingeniería; Medina Jorquera, Alex Pavel; S/I; 246624
dc.language.isoes
dc.nota.accesocontenido completo
dc.rightsacceso abierto
dc.subject.ddc620
dc.subject.deweyIngenieríaes_ES
dc.titleComparación de MILP, SAT Y ASP para la spintesis de autómatas mínimos a partir de trazas
dc.typetesis de maestría
sipa.codpersvinculados9477
sipa.codpersvinculados170373
sipa.codpersvinculados246624
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
TESIS_AMedina.pdf
Size:
1.05 MB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.98 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
3.01 Tesis magíster