masterThesis
Síntesis automática de estrategias de control a través de lógicas temporales y redes de Petri para la planificación de movimientos en sistemas autónomos
Registro en:
T629.8 M386;6310000125101 F6622
Autor
Martínez Valencia, Jorge Luis
Institución
Resumen
En este trabajo se presenta una metodología para la síntesis automática de estrategias de control a través de lógicas temporales y redes de Petri para la planificación de movimientos en sistemas autónomos. Se inicia recolectando los trabajos más representativos en el estado del arte, posteriormente se hace un análisis para seleccionar la Lógica Temporal Lineal (LTL) como lenguaje para especificación de tareas robóticas. En la tercera fase se plantea un procedimiento que permite, a partir de una fórmula LTL, calcular rutas óptimas en términos de transiciones para un equipo de múltiples agentes modelados como una red de Petri. Finalmente se presenta la metodología que recoge 4 algoritmos evaluados en tres casos propuestos (caso1: un robot con obstáculos fijos, caso 2: un robot con obstáculos móviles, caso 3: múltiples robots y obstáculos fijos). La metodología propuesta se valida con una serie de 20 simulaciones sobre las cuales se analizan los datos obtenidos en cada ejecución.