IA e os Problemas Difíceis do Mundo · Ciência da computação teórica · arXiv · 2026-10-21
Monitoramento em tempo de execução com validade a qualquer momento de certificados de barreira aprendidos
Título original: Anytime-Valid Runtime Monitoring of Learned Barrier Certificates
Os certificados de barreira aprendidos para sistemas estocásticos podem perder a validade durante a implantação quando a dinâmica subjacente difere da do treinamento. Os autores propõem um monitor em tempo de execução com validade a qualquer momento que audita o certificado a partir de trajetórias em malha fechada observadas, formulando a deriva da barreira como um teste de hipótese sequencial por episódio cujos incrementos formam uma supermartingale de teste não negativa, fornecendo controle de falso alarme em amostras finitas sob tempos de parada arbitrários. O monitor detecta evidência estatística de que o certificado não corresponde mais à dinâmica observada — em vez de prever a entrada em regiões inseguras — e seu comportamento de alarme foi avaliado sob certificados válidos e inválidos.