Finite-Sample Probabilistic Safety Certification for AI-Based Grid-Edge Coordination
cs.AI, cs.LG, cs.SY, eess.SY
Submitted: 2026-09-23
Updated: 2026-09-23
License: http://creativecommons.org/licenses/by-nc-nd/4.0/
The gist: Coordinating large population of flexible grid-edge devices can alleviate the need for time-consuming and capital-intensive network upgrades, and AI-based control methods such as multi-agent
Terminology
Abstract
Coordinating large population of flexible grid-edge devices can alleviate the need for time-consuming and capital-intensive network upgrades, and AI-based control methods such as multi-agent reinforcement learning or imitation learning are promising in their real-time decision scalability. However, system operators still need an independent and rigorous way to decide whether a given AI system is safe enough for deployment. This paper develops a finite-sample probabilistic safety certification framework for black-box AI decision models in closed-loop grid operation. The central idea is to reduce the complete input--AI--grid evaluator workflow to a binary unsafe outcome under an operator-defined safety specification, and then use exact binomial inference to certify the corresponding unsafe operation probability. Given a set of held-out calibration scenarios, the framework returns the tightest one-sided upper certificate and an accept/reject deployment criterion that controls the probability of false safety certification. Because the certification is for the calibration distribution that may deviate from the future operation, we further combine the nominal certificate with physically interpretable sample-space adversarial attacks, a concept widely used in AI to investigate the fragility of AI models. Case studies on grid-edge flexibility coordination with 1, 000-agent AI models (independent parameters) verify the finite-sample safety guarantee and the value of integrating adversarial attacks into a rolling-window training-certification-deployment flow.
Sources
- GradMAP: Gradient-Based Multi-Agent Proximal Learning for Grid-Edge Flexibility
- TorchLean: Formalizing Neural Networks in Lean
- Scalable Exact Verification of Optimization Proxies for Large-Scale Optimal Power Flow
- The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
- Decision-calibrated prediction sets for robust power system operations
- Verification and Validation of Physics-Informed Surrogate Component Models for Dynamic Power-System Simulation
- Trustworthiness Layer for Foundation Models in Power Systems: Application to N-k Contingency Screening
- Explaining and Harnessing Adversarial Examples
Related papers
- MAVEN-T: Reinforced Heterogeneous Distillation for Real-Time Multi-Agent Trajectory Prediction
- Model Discovery Agent: LLM-assisted Bayesian experiment design for data-efficient discovery of mechanistic world models
- Agents' Last Exam
- The Clinician's Veto: Navigating Trust, Liability, and Uncertainty in Autonomous AI Prescribing
- MindHelper: Closed-Loop Embodied Mental-State Reasoning for Precision Intervention
- Incumbent Advantage: Brand Bias and Cognitive Manipulation Dynamics in LLM Recommendation Systems