A Deterministic Assurance Framework for Licensable Explainable AI Grid-Interactive Nuclear Control
Deploying deep reinforcement learning (DRL) in safety-critical nuclear control is limited less by raw performance than by the absence of licensable, audit-ready evidence. We introduce a Deterministic Assurance Framework (DTAF) that converts controller behavior into licensing-grade proof by combining the following: (i) deterministic licensing gates tied to formal safety and performance limits (e.g., Total Time Unsafe (TTU) = 0; bounded Transient Severity Score (TSS); and minimum Grid Load-Following Index (GLFI)); (ii) a portfolio of adversarial stress tests representative of off-nominal operation; and (iii) a traceability and explainability package that renders every evaluated action auditable. The DTAF is demonstrated on a high-fidelity pressurized-water-reactor (PWR) simulation model used as a software-in-the-loop testbed. Three governor architectures are evaluated under identical, fixed scenarios: a curriculum-trained Soft Actor–Critic (SAC) agent, and Differential-Evolution-optimized Proportional–Integral–Derivative (PID-DE) and Fuzzy-Logic (FLC-DE) Controllers. Performance is assessed deterministically via gate-aligned metrics—TTU, TSS, GLFI, cumulative control effort (CE_sum), valve-reversal count (V_rev), and speed overshoot (OS_ω). Across the adversarial portfolio, the SAC controller meets the predeclared licensing gates in single-run evaluations, whereas the strong conventional baselines violate gates in specific high-severity cases; where all methods remain within the safe envelope, the SAC delivers a higher GLFI and lower CE_sum, with fewer reversals and reduced overshoot. All licensing conclusions derive from deterministic single-run tests; a small, fixed-seed check (three seeds with descriptive intervals) is reported separately as non-licensing supplementary analysis. By producing transparent, reproducible artifacts, the DTAF offers a regulator-oriented pathway for qualifying DRL controllers in grid-interactive nuclear operations.
Authors
- Ahmed Ibrahim (ORCID: https://orcid.org/0000-0002-4760-3533)
- Hakkyu Lim
Institutions
- Korea Electric Power Corporation (South Korea) (KR)
Publication Details
- Journal
- Energies
- Published
- 2025-11-28
- DOI
- https://doi.org/10.3390/en18236268
- Citations
- 1
- Primary Topic
- Smart Grid Security and Resilience
- Type
- article
- Field-Weighted Citation Impact
- 1.21