Líneas de investigación

• Modelado, la simulación y emulación de canales inalámbricos de una o varias antenas y en ambiente de dispersión en múltiples variables.
• Algoritmos para estimación de canal, y modulación, ecualización y detección de señales recibidas en canales aleatorios y selectivos en tiempo, frecuencia, y/o espacio.

Líneas de investigación

Líneas de investigación

• Sistemas Distribuidos de Tiempo Real
• Pruebas y Verificacion de Software
• Sistemas IOT

Líneas de investigación

• Sistemas de eventos discretos.
• Especificación formal
• Simulación y coordinación de sistemas de manufactura discretos.
• Diagnóstico y recuperación de faltas.
• Desarrollo de software distribuido basado en agentes.

Líneas de investigación

• Sistemas Distribuidos
• Sistemas Multiagente
• Inteligencia Artificial General
• Ciencias Cognitivas

Líneas de investigación

• Control inteligente por modos deslizantes de orden alto con redes neuronales y lógica difusa.
• Optimización multiobjetivo basado en redes neuronales para la Eficiencia Energética en Cooperativa Multi-Microrred.

Líneas de investigación

• Modelado lineal y no lineal de transistores de microondas.
• Diseño de amplificadores de potencia de alta eficiencia para sistemas de comunicaciones inalámbricas.
• Técnicas de linealización de amplificadores de potencia.
• Instrumentación para electrónica de alta frecuencias.

Líneas de investigación

• Análisis y síntesis de estructuras de control para Sistemas no Lineales, Lógica Difusa.
• Sistemas Híbridos, y la aplicación de estos esquemas a la automatización de procesos, robots y navegación de vehículos de vuelo autónomo (drones) para monitoreo de incendios, análisis de datos en cultivos (maíz, agave, etc).

Líneas de investigación

• Verificación formal de Software.
• Prueba Automática de Teorema.
• Teoría de la demostración para lógicas no clásicas.