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

Institutions

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
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

A Deterministic Assurance Framework for Licensable Explainable AI Grid-Interactive Nuclear Control

Ahmed Ibrahim, Hakkyu Lim
1 citations
Energies
Smart Grid Security and Resilience
1.21
article

A Deterministic Assurance Framework for Licensable Explainable AI Grid-Interactive Nuclear Control

Ahmed Ibrahim, Hakkyu Lim
article en
1 citations

Abstract

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.

EnergiesVol. 18(23)
Korea Electric Power Corporation (South Korea) (KR)
Openalex Percentile: Top 15%
Smart Grid Security and Resilience
1.21
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.