XVIII Simposio Internacional de Ingeniería Eléctrica "SIE 2019" -Automatización, Robótica y Sistemas Computacionales

XVIII Simposio Internacional de Ingeniería Eléctrica

SIE 2019

Modelado de fallos de vehículo aéreo quadcopter utilizando Redes de Petri

Resumen [ES]

El desarrollo de modelos enfocados a la detección y diagnóstico de fallos en vehículos autónomos aéreos, constituye un tema novedoso, donde para este contexto de aplicación la complejidad de los algoritmos y sistemas sensoriales a bordo de estos vehículos constituye un desafío. En este campo las Redes de Petri se emplean como herramienta para la detección de fallos teniendo en cuenta las facilidades que estas brindan para el modelado de sistemas complejos en cuanto a su representación gráfica y que ofrecen una solución sencilla. En esta investigación se desarrolla un modelo de fallos basado en Redes de Petri aplicado a un vehículo aéreo tipo Quadcopter, dicho modelo permite determinar la posible existencia de fallos fuera de línea para este tipo de vehículo aéreo, mediante el análisis de los datos provenientes del controlador de vuelo y mediciones de los sensores a bordo. Se demuestra que el modelo satisface las propiedades establecidas para la verificación de modelos con Redes de Petri haciendo uso de dos de los métodos; árbol de alcanzabilidad y ecuación de estado.

Resumen [EN]

El desarrollo de modelos enfocados a la detección y diagnóstico de fallos en vehículos autónomos aéreos, constituye un tema novedoso, donde para este contexto de aplicación la complejidad de los algoritmos y sistemas sensoriales a bordo de estos vehículos constituye un desafío. En este campo las Redes de Petri se emplean como herramienta para la detección de fallos teniendo en cuenta las facilidades que estas brindan para el modelado de sistemas complejos en cuanto a su representación gráfica y que ofrecen una solución sencilla. En esta investigación se desarrolla un modelo de fallos basado en Redes de Petri aplicado a un vehículo aéreo tipo Quadcopter, dicho modelo permite determinar la posible existencia de fallos fuera de línea para este tipo de vehículo aéreo, mediante el análisis de los datos provenientes del controlador de vuelo y mediciones de los sensores a bordo. Se demuestra que el modelo satisface las propiedades establecidas para la verificación de modelos con Redes de Petri haciendo uso de dos de los métodos; árbol de alcanzabilidad y ecuación de estado.

Sobre el ponente

Ailet Abreu López

Ing. Ailet Abreu López

Universidad Central ¨Marta Abreu¨ de Las Villas Flag of Cuba
Información Práctica
Spanish / Español
No definido
30 minutos
No definido
Autores
Dr.c eduardo izaguirre castellanos
Dr.c josé rafael abreu garcía
Ing. julio cesar bravo cortes
Ing. Ailet Abreu López
Palabras clave
detección de fallos.
modelado
redes de petri
vehículos aéreos