Researchers have developed a new runtime monitor designed to audit learned barrier certificates for stochastic systems. This monitor aims to detect when the validity of a deployed safety certificate deteriorates due to differences between training and actual system dynamics. It formulates the conditional barrier-drift as a sequential hypothesis test, transforming observed barrier increments into a supermartingale to control false alarms at any stopping time. The system also incorporates a temporal shaping of the monitoring boundary to be more conservative early in a deployment horizon while maintaining anytime-validity. AI
IMPACT Enhances the reliability of AI-driven safety systems in real-world deployments by providing a mechanism to detect performance degradation.
RANK_REASON Academic paper detailing a new method for runtime monitoring of learned barrier certificates. [lever_c_demoted from research: ic=1 ai=1.0]
- alphaXiv
- arXiv
- arXivLabs
- CatalyzeX Code Finder for Papers
- CORE Recommender
- DagsHub
- Electrical Engineering and Systems Science
- Gotit.pub
- Hugging Face
- Influence Flower
- ScienceCast
- Systems and Control
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →