Observatorio de información y Publicaciones

Resumen: La síntesis de controladores es un método formal para generar automáticamente controladores de Sistema de transición etiquetado (LTS) que satisfacen propiedades específicas. Sin embargo, la eficiencia del proceso de síntesis depende críticamente de las políticas de exploración.

Resumen: El procesamiento automatizado e inteligente de conjuntos de datos masivos de teledetección (RS) es fundamental en la observación de la Tierra (EO).

Resumen: Los algoritmos exactos eficientes para la optimización discreta (DO) dependen en gran medida de fuertes límites primarios y duales. Los diagramas de decisión relajados (DD) proporcionan un mecanismo versátil para derivar dichos límites duales sobreaproximando de forma compacta el espacio de la solución mediante la fusión de nodos.