| dc.contributor | Holguín Londoño, Mauricio | |
| dc.creator | Martínez Valencia, Jorge Luis | |
| dc.date | 2019-01-28T20:39:46Z | |
| dc.date | 2021-11-02T20:33:51Z | |
| dc.date | 2019-01-28T20:39:46Z | |
| dc.date | 2021-11-02T20:33:51Z | |
| dc.date | 2018 | |
| dc.date.accessioned | 2022-09-23T21:15:43Z | |
| dc.date.available | 2022-09-23T21:15:43Z | |
| dc.identifier | T629.8 M386;6310000125101 F6622 | |
| dc.identifier | https://hdl.handle.net/11059/9775 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/3527561 | |
| dc.description | 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. | |
| dc.format | application/pdf | |
| dc.format | application/pdf | |
| dc.language | spa | |
| dc.publisher | Pereira : Universidad Tecnológica de Pereira | |
| dc.publisher | Facultad de Ingenierías Eléctrica, Electrónica y Ciencias de la Computación | |
| dc.publisher | Maestría en Ingeniería Eléctrica | |
| dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | |
| dc.rights | openAccess | |
| dc.rights | http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
| dc.subject | Control automático | |
| dc.subject | Lenguajes formales | |
| dc.subject | Sistemas de control de autómatas | |
| dc.subject | Redes de petri | |
| dc.title | 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 | |
| dc.type | masterThesis | |
| dc.type | acceptedVersion | |
