Objetivo: Presentar una metodología para la planificación de movimientos de sistemas autónomos con múltiples agentes.
Metodología: Se define y parametriza el comportamiento físico de un equipo de sistemas de navegación autónoma, luego se describe e implementa un algoritmo de síntesis de políticas de control que interpreta estas descripciones convertidas a fórmulas LTL y se genera un modelo que permite hacer abstracciones automáticas. A partir de configuraciones genéricas de solución, se deriva en el caso de múltiples robots con una única tarea en un entorno con obstáculos fijos. La metodología se valida en diferentes escenarios y se analizan los resultados.
Resultados: La metodología propuesta para planificación de movimientos en sistemas con múltiples agentes, combina dos técnicas del estado del arte, permitiendo mitigar la explosión combinacional de estados presente en los enfoques tradicionales.
Conclusiones: La metodología que se presenta resuelve el problema de síntesis de autómatas para el control de alto nivel, con cambio de tareas durante la ejecución. Bajo ciertos criterios, se mitiga el problema de explosión combinacional de estados asociado a estos sistemas. La solución es óptima respecto al número de transiciones seguidas por los miembros del equipo.
Financiamiento: Universidad Tecnológica de Pereira
En este trabajo se plantea una metodología para la síntesis de autómatas en aplicaciones de navegación autónoma terrestre con una tarea global. La metodología propuesta se basa en el diseño de autómatas por gramáticas regulares y permite generar una política de control para la conducción autónoma de un vehículo en un ambiente parcialmente controlado mientras se extrae información del entorno a través de sensores. Además, se plantean los inconvenientes que se presentan al tratar de abordar esta aplicación con enfoques tradicionales que implican la síntesis de autómatas finitos no deterministas. Por último, se presentan losautómatas obtenidos al validar la metodología propuesta a través de simulaciones utilizando el software MATLAB con el Toolbox integrado de realidad virtual (V-Realm Builder).
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.