ИИ и сложнейшие проблемы мира · Теоретическая информатика · arXiv · 2026-10-21
Anytime-valid мониторинг во время выполнения выученных барьерных сертификатов
Оригинальное название: Anytime-Valid Runtime Monitoring of Learned Barrier Certificates
Выученные барьерные сертификаты для стохастических систем могут терять валидность при развёртывании, когда фактическая динамика отличается от той, на которой происходило обучение. Авторы предлагают монитор времени выполнения, валидный в любой момент, который проверяет сертификат по наблюдаемым траекториям замкнутого контура, формулируя дрейф барьера как последовательный тест гипотез на уровне эпизодов, приращения которого образуют неотрицательный тестовый супермартингал, что даёт контроль вероятности ложной тревоги при конечном объёме выборки для произвольных моментов остановки. Монитор обнаруживает статистические свидетельства того, что сертификат больше не соответствует наблюдаемой динамике—вместо того чтобы предсказывать небезопасный вход—а его тревожное поведение оценивалось в условиях валидных и невалидных сертификатов.