← Proyectos

AURA

Lo desarrollé en Ineco · premio de la NASA al equipo

Mi arquitectura para tomar decisiones operativas verificables en infraestructuras críticas cuando las predicciones meteorológicas se contradicen.

Un modelo meteorológico anuncia viento fuerte para la tarde y otro lo deja en brisa. Quien tiene que decidir si sigue adelante una operación en una infraestructura crítica suele quedarse con uno de los dos, o con la media, y la discrepancia, que era lo más útil que tenía delante, se pierde por el camino.

AURA es la arquitectura que desarrollé en Ineco para no tirar esa discrepancia. En lugar de quedarse con una sola predicción trabaja con todo lo que puede pasar, y cada decisión sale con un certificado que dice cómo de mal podría salir.

Una media no explica nada

Cuando una decisión afecta a la seguridad hace falta poder explicar después por qué se tomó y con qué margen. Una media da un número y calla todo lo demás.

Por eso AURA se organiza en tres capas. La primera reúne fuentes de datos distintas en conjuntos credales, que guardan todos los valores compatibles con lo que dicen las fuentes, con la teoría de la evidencia de Dempster y Shafer. La segunda propaga esa incertidumbre por un modelo causal estructural con una cota de error declarada en cada ecuación. La tercera certifica cada decisión frente a especificaciones de seguridad.

Un certificado con letra pequeña

La garantía tiene condiciones, y están escritas a propósito. Bajo cuatro hipótesis explícitas y falsables, que el preprint llama H0 a H3, los conjuntos calculados contienen el estado real de principio a fin. Fuera de esas hipótesis la garantía no vale. Cada decisión lleva un certificado de dos niveles, un estado de peor caso y unas cotas de probabilidad credal sobre el suceso inseguro.

Para que nadie tenga que creerme, el preprint trae un artefacto de verificación con el motor, 546 tests y 102 propiedades probadas con 20.000 casos cada una. Cada afirmación cuantitativa del artículo se puede regenerar con un comando con nombre.

Lo que la v3 retiró

Firmo el preprint, y su versión 3 es de agosto de 2026. En ella retiré los resultados de despliegue, las validaciones, las cifras económicas y las evaluaciones externas que describía la v1 y que no se habían llevado a cabo. Esas cifras no se sostienen. El artículo quedó más corto y más cierto.

En octubre de 2025 la NASA concedió al equipo de AURA el Public Service Group Achievement Award. El premio es del equipo.

Fig. 1Un muelle bajo el temporal

Arrecia la tormenta o lleva la tercera estación hacia la punta20 · 23 · 24 m/s · peor caso inseguro · probabilidad 0,01 a 0,16

AURA es una arquitectura que desarrollé en Ineco para tomar decisiones operativas cuando las predicciones meteorológicas se contradicen. Reúne fuentes heterogéneas en conjuntos credales de soporte acotado con la teoría de Dempster y Shafer, propaga esa incertidumbre por un modelo causal estructural con cotas de error declaradas en cada ecuación y certifica cada decisión frente a especificaciones de seguridad. Cada decisión sale con un certificado de dos niveles, un estado de peor caso y unas cotas de probabilidad credal sobre el suceso inseguro. En el dibujo el armario reúne tres anemómetros en una banda y la tarjeta marca la casilla del peor caso cuando dentro de la banda cabe un viento por encima del umbral. El puerto, las estaciones, el temporal, el umbral de 25 m/s, las cifras y la regla de la tarjeta son de este dibujo y no del preprint, y los molinetes giran a cámara lenta.

Enlaces

Licencia MIT (código dentro del artefacto de verificación del preprint)