AEGIS
Un sistema de detección de drones que desarrollé en Ineco. Solo detecta, con una persona en el bucle y sin capacidad de contramedida, y se abstiene cuando las fuentes se contradicen.
Un dron, un pájaro, un eco y un cielo vacío no siempre se distinguen con lo que llega de los sensores, y a veces los sensores ni siquiera están de acuerdo entre ellos. Un sistema que responde siempre con aplomo acaba dando, con el mismo aplomo, respuestas equivocadas.
AEGIS es un sistema que desarrollé en Ineco para detectar drones y avisar a una persona. No hace nada más. No tiene contramedidas ni puede apuntar a nada, y cada decisión la toma esa persona. Está diseñado para saber cuándo no sabe y decirlo.
Guardar la duda
El sistema junta lo que dicen varias fuentes sin que importe el orden en que llegan, y cuando discrepan conserva la duda en lugar de esconderla. En la jerga es una fusión evidencial n aria invariante al orden, con la regla PCR6.
Con fuentes en conflicto e igual capacidad de distinguir, esa fusión conserva más ignorancia declarada que combinar las fuentes de dos en dos. Pocas veces se presume de ignorancia, y aquí es justo lo que se mide.
Un conjunto en vez de un punto
Cada objeto se sigue con un conjunto que garantiza contener su posición, en vez de con un punto (seguimiento por zonotopos). La garantía se validó con trayectorias de vuelo reales, incluidas maniobras bruscas de aviones de ala fija que se saltan las hipótesis de aceleración del propio seguidor en el 10 al 13 % de los instantes.
Mientras funciona, el sistema vigila unas propiedades de seguridad escritas en lógica temporal acotada y mide su calibración con una salida explícita para abstenerse. Cada ejecución es determinista con una semilla fija y queda en un registro de auditoría con huella, así que los resultados se reproducen bit a bit en cualquier plataforma.
Firmo el preprint, que está en Zenodo con la implementación de referencia, el banco de pruebas sintético, los experimentos con vuelos reales y la documentación.
El preprint declara también sus límites medidos. La anchura de los conjuntos no depende de los datos, el monitor de consistencia solo mira la posición y la velocidad se observa mal. Un sistema hecho para saber cuándo no sabe empieza por decirlo de sí mismo.
