Desarrollo de misiones en vehículos aéreos no Tripulados (VANT) con planning reactivo para aplicaciones agrarias

En este trabajo presentamos una interfaz alternativa para la planificación de misiones en vehículos aéreos no tripulados (VANT), basada en la síntesis de controladores de eventos discretos. La síntesis de controladores ha tenido un uso creciente en el ´ultimo tiempo como mecanismo automático para pr...

Descripción completa

Detalles Bibliográficos
Autor principal: Zudaire, Sebastián A.
Formato: Tesis NonPeerReviewed
Lenguaje:Español
Publicado: 2023
Materias:
Robótica
Unmanned aerial vehicles
Vehículo aéreo no tripulado
[Controller synthesis
Síntesis de control
Temporal planning
Planificación temporal
Hybrid control
Control híbrido
Assured adaptation
Adaptación segura
Runtime verification
Verificación en tiempo de ejecución]
Acceso en línea:http://ricabib.cab.cnea.gov.ar/1215/1/1Zudaire.pdf
Aporte de:
Repositorio Institucional Centro Atómico Bariloche e Instituto Balseiro (RICABIB) de Instituto Balseiro
id I25-R131-1215
record_format dspace
spelling I25-R131-12152023-09-07T15:47:36Z Desarrollo de misiones en vehículos aéreos no Tripulados (VANT) con planning reactivo para aplicaciones agrarias Mission development in unmanned aerial vehicles (UAV) with reactive planning for rural applications Zudaire, Sebastián A. Robótica Unmanned aerial vehicles Vehículo aéreo no tripulado [Controller synthesis Síntesis de control Temporal planning Planificación temporal Hybrid control Control híbrido Assured adaptation Adaptación segura Runtime verification Verificación en tiempo de ejecución] En este trabajo presentamos una interfaz alternativa para la planificación de misiones en vehículos aéreos no tripulados (VANT), basada en la síntesis de controladores de eventos discretos. La síntesis de controladores ha tenido un uso creciente en el ´ultimo tiempo como mecanismo automático para producir planes de misión en sistemas robóticos a partir de especificaciones de alto nivel. Mostramos como diseñamos y construimos una arquitectura de control híbrido que permite modelar el comportamiento del VANT y su entorno, especificar requerimientos de misión en lenguajes lógicos formales, sintetizar controladores que satisfacen estos requerimientos, y luego implementar estos controladores en sistemas VANT reales y simulados. Este marco de planificación que proponemos cuenta con la posibilidad de escalar la cantidad de locaciones discretas muy por encima de otros enfoques, permite predecir y prevenir escenarios de violación de asunciones que podría llevar a fallos en la misión, y adaptar la misión del VANT en vuelo. In this work we present an alternative interface for mission planning of unmanned aerial vehicle (UAV) applications, based on discrete event controller synthesis. Recently, controller synthesis has had a great growth in popularity as a means for the automatic generation of mission plans for robot systems from high level specifications. We show how we designed and built a hybrid control architecture that allows modelling of the UAV and its environment, specifying mission requirements in formal logic languages, synthesising controllers that satisfy these requirements, and implementing these controllers in real and simulated UAV systems. The planning framework we propose supports scaling the number of discrete locations well above other approaches, prediction and prevention of assumption violation scenarios that could lead to mission failure, and in-flight mission adaptation. 2023-08-22 Tesis NonPeerReviewed application/pdf http://ricabib.cab.cnea.gov.ar/1215/1/1Zudaire.pdf es Zudaire, Sebastián A. (2023) Desarrollo de misiones en vehículos aéreos no Tripulados (VANT) con planning reactivo para aplicaciones agrarias / Mission development in unmanned aerial vehicles (UAV) with reactive planning for rural applications. Tesis Doctoral en Ciencias de la Ingeniería, Universidad Nacional de Cuyo, Instituto Balseiro. http://ricabib.cab.cnea.gov.ar/1215/
institution Instituto Balseiro
institution_str I-25
repository_str R-131
collection Repositorio Institucional Centro Atómico Bariloche e Instituto Balseiro (RICABIB)
language Español
orig_language_str_mv es
topic Robótica
Unmanned aerial vehicles
Vehículo aéreo no tripulado
[Controller synthesis
Síntesis de control
Temporal planning
Planificación temporal
Hybrid control
Control híbrido
Assured adaptation
Adaptación segura
Runtime verification
Verificación en tiempo de ejecución]
spellingShingle Robótica
Unmanned aerial vehicles
Vehículo aéreo no tripulado
[Controller synthesis
Síntesis de control
Temporal planning
Planificación temporal
Hybrid control
Control híbrido
Assured adaptation
Adaptación segura
Runtime verification
Verificación en tiempo de ejecución]
Zudaire, Sebastián A.
Desarrollo de misiones en vehículos aéreos no Tripulados (VANT) con planning reactivo para aplicaciones agrarias
topic_facet Robótica
Unmanned aerial vehicles
Vehículo aéreo no tripulado
[Controller synthesis
Síntesis de control
Temporal planning
Planificación temporal
Hybrid control
Control híbrido
Assured adaptation
Adaptación segura
Runtime verification
Verificación en tiempo de ejecución]
description En este trabajo presentamos una interfaz alternativa para la planificación de misiones en vehículos aéreos no tripulados (VANT), basada en la síntesis de controladores de eventos discretos. La síntesis de controladores ha tenido un uso creciente en el ´ultimo tiempo como mecanismo automático para producir planes de misión en sistemas robóticos a partir de especificaciones de alto nivel. Mostramos como diseñamos y construimos una arquitectura de control híbrido que permite modelar el comportamiento del VANT y su entorno, especificar requerimientos de misión en lenguajes lógicos formales, sintetizar controladores que satisfacen estos requerimientos, y luego implementar estos controladores en sistemas VANT reales y simulados. Este marco de planificación que proponemos cuenta con la posibilidad de escalar la cantidad de locaciones discretas muy por encima de otros enfoques, permite predecir y prevenir escenarios de violación de asunciones que podría llevar a fallos en la misión, y adaptar la misión del VANT en vuelo.
format Tesis
NonPeerReviewed
author Zudaire, Sebastián A.
author_facet Zudaire, Sebastián A.
author_sort Zudaire, Sebastián A.
title Desarrollo de misiones en vehículos aéreos no Tripulados (VANT) con planning reactivo para aplicaciones agrarias
title_short Desarrollo de misiones en vehículos aéreos no Tripulados (VANT) con planning reactivo para aplicaciones agrarias
title_full Desarrollo de misiones en vehículos aéreos no Tripulados (VANT) con planning reactivo para aplicaciones agrarias
title_fullStr Desarrollo de misiones en vehículos aéreos no Tripulados (VANT) con planning reactivo para aplicaciones agrarias
title_full_unstemmed Desarrollo de misiones en vehículos aéreos no Tripulados (VANT) con planning reactivo para aplicaciones agrarias
title_sort desarrollo de misiones en vehículos aéreos no tripulados (vant) con planning reactivo para aplicaciones agrarias
publishDate 2023
url http://ricabib.cab.cnea.gov.ar/1215/1/1Zudaire.pdf
work_keys_str_mv AT zudairesebastiana desarrollodemisionesenvehiculosaereosnotripuladosvantconplanningreactivoparaaplicacionesagrarias
_version_ 1812569774461288448

Ejemplares similares