L'IA face aux grands problèmes du monde · Informatique théorique · arXiv · 2026-10-21
Surveillance à l'exécution de certificats de barrière appris avec validité à tout instant
Titre original: Anytime-Valid Runtime Monitoring of Learned Barrier Certificates
Les certificats de barrière appris pour les systèmes stochastiques peuvent perdre leur validité lors du déploiement lorsque la dynamique sous-jacente diffère de celle de l'entraînement. Les auteurs proposent un moniteur d'exécution à validité permanente qui audite le certificat à partir des trajectoires en boucle fermée observées, en formulant la dérive de la barrière comme un test d'hypothèse séquentiel par épisode dont les accroissements forment une surmartingale de test non négative, offrant un contrôle des fausses alarmes à taille d'échantillon finie pour des temps d'arrêt arbitraires. Le moniteur détecte des preuves statistiques que le certificat ne correspond plus à la dynamique observée — plutôt que de prédire une entrée dangereuse — et son comportement d'alarme a été évalué en présence de certificats valides et invalides.