La IA y los problemas difíciles del mundo · Informática teórica · arXiv · 2026-10-21
Monitorización en tiempo de ejecución válida en cualquier momento de certificados de barrera aprendidos
Título original: Anytime-Valid Runtime Monitoring of Learned Barrier Certificates
Los certificados de barrera aprendidos para sistemas estocásticos pueden perder validez durante el despliegue cuando la dinámica subyacente difiere de la del entrenamiento. Los autores proponen un monitor en tiempo de ejecución con validez en cualquier momento que audita el certificado a partir de trayectorias observadas en bucle cerrado, formulando la deriva de barrera como una prueba de hipótesis secuencial por episodio cuyos incrementos forman una supermartingala de prueba no negativa, lo que proporciona control de falsas alarmas con muestras finitas bajo tiempos de parada arbitrarios. El monitor detecta evidencia estadística de que el certificado ya no coincide con la dinámica observada—en lugar de predecir una entrada insegura—y su comportamiento de alarma se evaluó con certificados válidos e inválidos.